Administracin y Negocios Internacionales - Lgica

Gua 10.1
Proposiciones categricas
III unidad de aprendizaje: Lgica cuantificacional

Documento 01. Cuantificadores

Considrese ahora la siguiente expresin matemtica:

x>3

Esta expresin no es ni verdadera ni falsa, y parece que no lo ser hasta que no reemplacemos a la x por algn nmero
cualquiera. Sin embargo, tambin es posible dar un valor de verdad a la expresin si se le antepone un cuantificador.
Un cuantificador es una expresin que afirma que una condicin se cumple para un cierto nmero de individuos. En la
lgica clsica, los dos cuantificadores ms estudiados son el cuantificador universal y el cuantificador existencial. El
primero afirma que una condicin se cumple para todos los individuos de los que se est hablando, y el segundo que se
cumple para al menos uno de los individuos. Por ejemplo, la expresin "para todo x" es un cuantificador universal, que
antepuesto a "x < 3", produce:
Para todo x, x < 3
Esta es una expresin con valor de verdad, en particular, una expresin falsa, pues existen muchos nmeros (muchos
x) que son mayores que tres. Anteponiendo en cambio la expresin "para al menos un x", un cuantificador existencial,
se obtiene:
Para al menos un x, x < 3
La cual resulta ser una expresin verdadera.
Advirtase ahora, sin embargo, que el valor de verdad de las dos expresiones anteriores depende de qu nmeros se
est hablando. Si cuando se afirma "para todo x, x < 3", se est hablando slo de los nmeros negativos, por ejemplo,
entonces la afirmacin es verdadera. Y si al afirmar "para al menos un x, x < 3" se est hablando solamente de los
nmeros 3, 4 y 5, entonces la afirmacin es falsa. En lgica, a aquello de lo que se est hablando cuando se usa algn
cuantificador, se lo llama el dominio de discurso.
Esta maquinaria puede adaptarse fcilmente para formalizar oraciones con cuantificadores del lenguaje natural.
Tmese por caso la afirmacin "todos son amigables". Esta oracin puede traducirse as:
Para todo x, x es amigable.
Y una oracin como "alguien est mintiendo" puede traducirse:
Para al menos un x, x esta mintiendo.
Tambin es frecuente traducir esta ltima oracin as:
Existe al menos un x, tal que x est mintiendo.
A continuacin se formalizan ambas oraciones, introduciendo a la vez la notacin especial para los cuantificadores:
Para todo x, x es amigable. x A(x)
Existe al menos un x, tal que x est mintiendo. x M(x)

En lgica, teora de conjuntos y matemticas en general, los cuantificadores son smbolos utilizados para indicar
cuntos o qu tipo de elementos de un conjunto dado cumplen con cierta propiedad. Existen muchos tipos de
cuantificadores, entre los ms utilizados estn:
Cuantificador universal

Para todo x, y...

Cuantificador existencial

Existe al menos un x, y...

Cuantificador existencial nico

Existe exactamente un x, y...

Negacin del cuantificador existencial

No existe ningn x, y...

Documento 02: Proposiciones categricas

Una proposicin categrica es un enunciado que relaciona dos clases, o categoras. Las dos clases, en cualquier
proposicin categrica, se colocan en una relacin de sujeto-predicado. Algo es predicado, o dicho acerca de un sujeto.
Lo que se dice es que una clase (el sujeto) est incluida o excluida de la clase del predicado. As, para referirnos a uno
de los ejemplos de arriba: Ningn soltero est casado, dice que la clase de los solteros (el sujeto) est completamente
excluida de la clase de los casados (el predicado). De manera semejante, decir que todos los chimpancs son primates
es afirmar que cualquier sujeto que sea un chimpanc estar incluido en la clase de los primates (el predicado).
Existen cuatro clases de proposiciones categricas. Usando S y P como smbolos, estas son:

Universal afirmativa: Todo S es P

Universal negativa: Ningn S es P
Particular afirmativa: Algn S es P
Particular negativa: Algn S no es P

Las palabras todo y algn se llaman "cuantificadores" porque indican la cantidad del sujeto. Esto es, especifican
cunto elementos de la clase del sujeto estn incluidos en la clase del predicado. (Ningn indica cero miembros.) El
verbo en una proposicin categrica correctamente expresada, es siempre alguna forma del verbo ser, y se conoce
como cpula. Tenemos, entonces, el siguiente esquema:

Cuantificador: todo, ningn, algn.

Sujeto: la clase que se incluye en o que se excluye de, el predicado.
Cpula: es, son, era, eran.
Predicado: la clase de la cual el sujeto es o no es parte.

Este anlisis, sin embargo, no indica claramente si una proposicin es afirmativa o negativa en calidad. Una
proposicin afirmativa es aquella que sostiene que el sujeto est incluido en la clase del predicado; una negativa,
aquella que afirma que el sujeto est excluido del predicado. De manera que un esquema ms completo agregara:

Cualificador negativo: no

Ya que las cuatro proposiciones categricas bsicas tienen un sujeto, un predicado y una cpula, una forma de
distinguirlas es por su cantidad y cualidad. Cada proposicin ser universal o particular (y se distinguir por la
cantidad), y afirmativa o negativa (y se distinguir por la calidad). De manera que podemos distinguir las
proposiciones como sigue:

Universal afirmativa: Todo S es P

Universal negativa: Ningn S es P
Particular afirmativa: Algn S es P
Particular negativa: Algn S no es P

Documento 03: Funcin proposicional

Una funcin proposicional es una afirmacin a la que no puede considerarse una proposicin, pues en ella no se ha
especificado el o los individuos que la hacen cierta o falsa. Ejm.: x viol una ley de trnsito.
Actividades 01. Simbolizar las siguientes proposiciones categricas

Todos son inmortales

Todos son religiosos o polticos
Nadie es marciano
Nadie es musulmn y catlico
Algunos son socialistas
Algunos son demcratas y no comunistas
Algunos no son nacionalistas
Algunos no son nacionalistas y patriotas
No todos son profesionales
Ninguno no es no-mortal.
Algunos no son ni mdicos, ni administradores ni poetas

Actividades 02.

Todos los leones son melenudos

Ningn filsofo es mortal
Algunos solteros tienen muchos hijos no reconocidos
Algunos gatos no comen ratones
Todas las mujeres son infieles
Ningn hombre tiene alas
Todos los nios son inocentes
Ciertos polticos son autoritarios
Ninguna esposa quiere pasarse la vida sirviendo al esposo
Ningn pecado es perdonado por Dios.