LOGICA

CUANTIFICACIONAL

Importancia
y
presentacin
de
Cuantificacional.
Las proposiciones categricas tpicas.
Principales
propiedades
lgicas
cuantificadores.
Mtodo decisorio.

la

Lgica

de

los

Si

bien la lgica proposicional es un instrumento

relativamente potente para el anlisis de las inferencias
tiene tambin, no obstante sus virtudes, sus
limitaciones.

La

siguiente inferencia es intuitivamente vlida:

Todos los hombres son mortales. Scrates es un
hombre. Por lo tanto Scrates es mortal.

Sin

embargo si la analizamos a travs del lenguaje y los

mtodos de la lgica proposicional nos daremos cuenta,
con sorpresa, que ella no sera lgicamente vlida
(dejamos la tarea al lector).

Importancia de la Lgica

(Copy Cohen, Introduccin a la Lgica, Mxico, Limusa, 1995)

La

LC es llamada tambin "lgica de las proposiciones

analizadas" ya que, a diferencia de la lgica proposicional,
no slo analiza la conexin y/o relacin lgico estructural
entre las distintas proposiciones sino que tambin analiza
la estructura interna de stas, esto es, cmo los distintos
elementos internos de cada proposicin estn
estructurados y/o conectados entre s a la vez que
interproposicionalmente.
Si analizamos el ejemplo dado anteriormente con los
mtodos de LC nos daremos cuenta que dicha inferencia es
lgicamente vlida, sin embargo, por no haber an
desarrollado este tema, dejaremos dicho anlisis para ms
adelante.

Importancia de la Lgica

(Copy Cohen, Introduccin a la Lgica, Mxico, Limusa, 1995)

Variables

preposicionales: p, q, r, s, ...
Conectivas u operadores: ~, , v, ,
Smbolos auxiliares: (),[],{}
Variables individuales: a, b, c, d, ...
Constantes individuales: x, y, z, ...
Smbolos predicativos: F, G, H, ...
Cuantificadores: (), ()
Algunos

pjaros = Algunos x que son pjaros.

Algunos solteros o casados = Algunos x que son solteros o
algunos y que son casados.
Los smbolos predicativos representan, por otro lado, no a los
objetos (individuos) que poseen tales o cuales propiedades sino
a dichas propiedades.

El lenguaje de LC
Smbolos primitivos

Todo

smbolo proposicional es una FBF.

Todo predicado seguido de una variable individual
o una constante individual es una FBF
Si A es una FBF, entonces ~ A tambin lo es.
Si

A y B son FBF, entonces:

AB
AvB
A B
A B

Tambin

son FBF

El lenguaje de LC
Reglas de Formacion

En

estos casos los primero es asignar una variable individual

a cada individuo, y segundo un trmino predicativo a cada
predicado. Luego al formalizar, el trmino predicativo se
escribir junto y a la izquierda de variable individual.
Ejemplos:

Pepe

es mortal
Pepe es mortal
p
Pepe es mortal
p
M
Formalizacin:
Mp

Formalizacin de enunciados con variables

individuales y trminos predicativos

Primer

caso
Mario es gordo y Jesualdo es delgado.
Asignado variables individuales:
Mario es gordo y Jesualdo es delgado.
m
j
Asignando trminos predicativos:
Mario es gordo y Jesualdo es delgado,

m
G
j
D
Reemplazando la conectiva por el operador lgico respectivo:
Mario es gordo y Jesualdo es delgado,

m
G

j
D
Formalizacin:
Gm Dj

Formalizacin de enunciados con variables

individuales y trminos predicativos

Segundo

caso
Miriam y Javier son primos
Asignando variables individuales:
Miriam y Javier son primos

m
j
Asignando trmino predicativo:
Miriam y Javier son primos

m
j
P
Reemplazando la conectiva por el operador lgico respectivo:
Miriam (y) Javier son primos

j
P
Formalizando:
Pmj Pjm

Formalizacin de enunciados con variables

individuales y trminos predicativos

Todos

los enunciados formalizados en LC, para el anlisis de

validez debern incluir cuantificadores, estos, como sabemos,
pueden el ser universal () que se lee "para todo(s)" y el
particular () que se lee "existe algn(os)". Dado que
profundizaremos este tema ms adelante por ahora slo nos
detendremos en enunciados que poseen trminos cuantificables.
Veamos algunos ejemplos:
Todos los x son sapos.
Formalizando el trmino cuantificacional tendramos:
(x) x es sapo
A su vez, si asumimos que 'sapo' es un trmino predicativo,
tendramos el siguiente esquema:
(x) Sx
Que se lee 'Para todo x, x es sapo'

Formalizacin de cuantificadores

En

LC para que un enunciado sea considerado una proposicin

todas las constantes que acompaan a los trminos predicativos
debern estar bajo el alcance de un cuantificador. Cuatro son las
proposiciones categricas bsicas y por lo tanto cuatro son los
esquemas proposicionales bsicos.

Universal

Afirmativo
Su forma es: 'Todos los x son '
Donde:
representa cualquier predicado posible,
'x' cualquier objeto del cual se predica.
tenemos: (x) x
Que se lee: Para todo x, x es
Formalizando

Los 4 esquemas proposicionales

bsicos : Universal afirmativo

forma es: 'Ningn x es

Donde:
'' representa cualquier predicado posible.
x cualquier objeto del cual se predica.
Su

Formalizando

tenemos:

(x)

~x
Que se lee: Para todo x, x no es '

Los 4 esquemas proposicionales

bsicos : El Universal Negativo

forma es: 'Algunos x que son '

Donde:
'' representa cualquier predicado posible,
'x' cualquier objeto del cual se predica.
Su

Formalizando

tenemos:

x
Que se lee: 'Existe(n) algn(os) x que son
(x)

Los 4 esquemas proposicionales

bsicos : El Particular Afirmativo

forma es: 'Algunos x no son '

Donde:
'' representa cualquier predicado posible,
'x' cualquier objeto del cual se predica.
Su

Formalizando

tenemos:

(x)

~x
Que se lee: 'Existe(n) algn(os) x que no son

Los 4 esquemas proposicionales

bsicos : El Particular Negativo

El

cuadro de oposicin es un instrumento que nos

permite establecer de manera automtica una serie de
relaciones lgicas inter preposicionales para
proposiciones categricas.
Subalternante

(x) x

Contrarios

(x) ~x

Subalternante

(x) ~x

Subalterna

Contradictorios

Subalterna

(x)x

Sub contrarios

El cuadro bsico de oposicin

EJERCICIOS

Las proposiciones categricas son enunciados que se refieren a una clase o

conjunto de individuos en su totalidad o parcialmente.
Universal

afirmativa (UA)
Tiene la forma: 'Todos los S son P'.
Donde: 'S' representa cualquier grupo de sujetos y 'P' un predicado
cualquiera que se refiere a ellos.
Ejemplos:
Todos los hombres son mortales.
Todas las sandas son vegetales.
Todos los profesores son practicantes de ftbol.
Ahora bien, si bien la forma bsica acepta el verbo 'son', no necesariamente
enunciados de la forma 'Todos los S' supone el verbo son. As, por ejemplo,
enunciados como 'Todos los animales tienen vrtebras' y (Todos los jueces
sentencian' se consideran como enunciados universales afirmativos ya que pueden
expresarse en la forma Universal Afirmativa.

Las cuatro proposiciones

categricas tpicas (UA)

Universal

Negativa (UN)
Forma: 'Todos los S son no P' o bien 'Ningn S es P'
Ejemplos:
'Todos los mamferos son no peces'.
'Ningn mamfero es ave'.
'Todos los alumnos son no ingenieros'.
'Ningn presente es dentista'.
Al igual que en el caso de la Universal Afirmativa, si bien la forma
bsica acepta el verbo ser en sus correspondientes conjugaciones,
no necesariamente enunciados de la forma 'Todos los S son no' o
'Ningn S' sur el verbo ser. As, por ejemplo, enunciados como
'Ningn batracio vuela y 'Todos los jueces sentencian' se
consideran como enunciados universales negativos ya que pueden
expresarse en la forma Universal Negativa.

Las cuatro proposiciones

categricas tpicas (UN)

Particular

Afirmativa (PA)
Forma: 'Algunos S son P' o 'Existen S que son P'
Ejemplos:
Algunos abogados son incumplidos.
Algunos profesores son tardones.
Existen personas que son ciegas.
Al igual que en los casos de la Universal Afirmativa y la Universal
Negativa, si bien la forma bsica acepta el verbo ser en sus
correspondientes conjugaciones, no necesariamente enunciados de
la forma 'Todos los S no son' o Ningn S' supona el verbo ser. Lo
mismo ocurre en este caso. As ejemplo, enunciados como 'Algunos
hombres comen carne humana' y 'E hombres que tienen tres
esposas' se consideran como enunciados particulares afirmativos ya
que pueden expresarse en la forma Particular Afirmativa.

Las cuatro proposiciones

categricas tpicas (PA)

Particular

Negativa (PN)
Forma: 'Algunos S no son P' o 'Existen S que no son P'.
Ejemplos:
'Algunos pinginos no son buenos nadadores'.
'Algunos alumnos no estn aprobados'.
'Existen profesores que no son solteros'.
Al igual que en los casos anteriores, si bien la forma bsica
acepta el o ser en sus correspondientes conjugaciones, no
necesariamente ciados de la forma PN suponen ello. As, por
ejemplo, enunciados o 'Algunos hombres no comen carne
humana' y 'Existen hombres que tienen manos' se
consideran como enunciados particulares negativos ya
pueden expresarse en la forma Particular Negativa.

Las cuatro proposiciones

categricas tpicas (PN)

(Vx)

(Sx Px)

Donde:
'S'

= cualquier clase
'P' = cualquier predicado posible sobre 'S'
'x' = cualquier individuo perteneciente a la clase o conjunto 'S' pues no se especifica en
concreto.
Cuya lectura es:
'Para todo x, si x es 'S' entonces x es 'P''
Por

ejemplo:
Sea el enunciado 'Todas las mujeres son mortales'.
Si lo analizamos nos percataremos que nos dice que la propiedad de Mortalidad es una
caracterstica de todas las mujeres, esto es; que si algo es mujer entonces tiene la propiedad de
la mortalidad. De ah que se simbolice como (Vx) (Mx Ox), donde; 'M' = mujer , y '0' =
mortal.
Por

ejemplo:
enunciado 'Todos los empleados trabajan', al ser formalizado tendr la siguiente estructura:
(Vx) (Ex Tx)
Donde: 'E' = empleados y 'T' = trabajan
'Para todo x, si x es 'Empleado entonces x 'Trabaja'.
El

Ejemplos:
Formalizando

el siguiente enunciado: 'Todos los hombres son mortales (Vx) (Hx Mx)
Donde: 'H' = hombre, y 'M' = mortal.

Formalizacin de proposiciones
categricas tpicas (UA)

Recordemos

que la Universal Negativa tiene la forma 'Ningn S es T en ese sentido

podemos simbolizarla de la siguiente manera:
(Vx) (Sx ~Px)
Donde:
'S' = cualquier clase
T' = cualquier predicado posible sobre 'S'
V = cualquier individuo perteneciente a la clase o conjunto 'S' pues no se especifica
en concreto.
'Para todo x, si x es 'S' entonces x no es 'P''
Se

utiliza un condicional seguido de una negacin puesto que a diferencia de la

Universal Afirmativa, en la Universal negativa se sostiene que los individuos que
pertenecen a una determinada clase no poseen tal o cual caracterstica. As, si un
individuo cualquiera pertenece a la clase 'S' entonces no tendr la propiedad 'P'.
Ejemplos:
Formalizando el siguiente enunciado: 'Ningn hombre es mortal'
(Vx) (Hx ~Mx)
Donde: 'H' = hombre, y 'M' = mortal.
Formalizando: 'Ninguno de nuestros empleados gana de acuerdo a su desempeo'
(Vx) (Ex ~Dx)
Donde: 'E' = nuestro empleado, y 'D' = gana de acuerdo a su desempeo.

Formalizacin de proposiciones
categricas tpicas (UN)

Recordemos

que la Particular Afirmativa tiene la forma 'Algunos S son F en ese

sentido podemos simbolizarla de la siguiente manera:
(x) (Sx Px)
Donde:
'S' = cualquier clase
V = cualquier predicado posible sobre 'S'
'x' = cualquier individuo perteneciente a la clase o conjunto 'S' pues no se especifica
en concreto.
'Existe algn x, tal que x es 'S' y 'P''
Se

utiliza una conjuncin puesto que a diferencia de las proposiciones universales

afirmativas, en la particular afirmativa no se sostiene que todos los individuos que
pertenecen a una determinada clase poseen tal o cual caracterstica sino que por lo
menos uno la posee. As, si un individuo cualquiera pertenece a la clase 'S' no
necesariamente tendr la propiedad 'P' pero, hay algn(os) individuos que pertenece
a la clase 'S' y a la vez poseen la propiedad 'P'.
Ejemplos:
Formalizando el siguiente enunciado: 'Algunos hombres son mortales' (x) (Hx A Mx)
Donde: 'H' = hombre, y 'M' = mortal. Formalizando: 'Algunos enanos hacen
acrobacias'
(x) (Ex Ax)
Donde: 'E' = enanos, y 'A' = hace acrobacias.

Formalizacin de proposiciones
categricas tpicas (PA)

Recordemos que la Particular Negativa tiene la forma 'Algunos S no P' en ese

sentido podemos simbolizarla de la siguiente manera:
(x) (Sx ~Px)
Donde:
'S' = cualquier clase
'P' = cualquier predicado posible sobre 'S'
'x' = cualquier individuo perteneciente a la clase o conjunto 'S' pues no se especifica
en concreto.
'Existe algn x, tal que x es 'S' y no es 'P'.
Ejemplos:
Formalizando el siguiente enunciado: 'Algunos hombres no son mortales'
(x) (Hx ~ Mx)
Donde: 'H' = hombre, y 'M' = mortal.
Formalizando: 'Algunos enanos no hacen acrobacias'
(x)(Ex ~Ax)
Donde: 'E' = enanos, y 'A' = hace acrobacias.

Formalizacin de proposiciones
categricas tpicas (PN)

Veamos primero un caso de enunciado de grado 2: 'Todos los hombres son

superiores a los chimpancs'
Esto se expresara en LC, primero como; 'Para todo 'x' y para todo 'y', si 'x' es
humano y 'y' es chimpanc, entonces 'x' es superior a 'y'.
(Vx) (Vy) [(Hx Cy) ( Sxy)]

Veamos ahora dos casos de enunciados de tercer grado:

El siguiente enunciado: 'Dos objetos iguales a un tercero son entre s iguales'. No
puede simbolizarse dentro del esquema de las proposiciones categricas pues
stas corresponden slo a proposiciones de grado uno. En este caso necesitamos
tres variables: 'x', 'y', y 'z'.
(Vx)(Vy)(Vz) [( Ix z Iy z) Ixy ]
Para todo 'x', para todo 'y' y para todo 'z', si V es igual a z' y 'y' es igual a 'z',
entonces 'x' es igual a 'y

Formalizacin de proposiciones
con predicados de 2 y 3 grado

Versin tradicional
La Universal Afirmativa recibe tambin la denominacin de 'A' mientras que
la particular afirmativa el nombre de 'I'. Esto se debe a las dos primeras
vocales del trmino latn 'AFFIRMO'.
La Universal Negativa se denomina tambin 'E' mientras que la particular
negativa se denomina 'O'. Esto se debe a los dos slabas que componen el
trmino latino 'NEG'.
Por lo dems, las relaciones lgica son similares a las de Cuadro Bsico slo
que aqu estn aplicadas a enunciados categricos formulados en lenguaje
natural.

Subalternante

Todo S es P

Contrarios

Ningun S es P

Subalternante

Contradictorios

Subalterna

Ningun S es P

Subcontrarios

Algunos S no son P

Subalterna

Cuadro de oposicin para

proposiciones categricas tpicas

Versin

contempornea

En

este cuadro se aplica lo mismo que en el cuadro anterior slo

que su presentacin se hace a travs de las proposiciones
categricas formalizadas. En LC se suele trabajar con este
cuadro y no tanto con los otros dos.

Subalternante

(x) (Sx Px)

Contrarios

(x) (Sx ~Px)

Subalternante

Contradictorios

Subalterna

(x) (Sx Px)

Sub contrarios

(x) (Sx ~Px)

Subalterna

Cuadro de oposicin para

proposiciones categricas tpicas

Ejercicios