FORMALIZACION DE PROPOSICIONES CATEGÓRICAS

Para la formalización (simbolización) de proposiciones categóricas tomaremos en

cuenta las siguientes equivalencias verbales, para cada cuantificador:

1.- Cuantificador universal.- Llamado también generalizador.

Símbolo: x
Traducción verbal:
- Todos los x.
- Para cada x.
- Para cualquier x.
- Cualquiera que sea x.
- Sean todos los x.
- Cualquier cosa que sea x.
- Cualquier cosa individual x se verifica que.
- Quien quiera que sea x.
- Para todo x.
- Todo lo que sea x.
- 100 % de los x.
- Los x
- Las x.

2.- Cuantificador particular (existencial).- Llamado también existencializador.

Símbolo: x
Traducción verbal:
- Algunos x.
- Hay al menos una x que.
- Existe al menos un x.
- Alguien, algo, alguno que sea x.
- Existe cuando menos un x.
- Existe a lo sumo x.
- Tantos, ciertos, muchos, la mayoría de x.
- Hay exactamente un x.
- Al menos un x existe.
- Existe a lo más un x.
- Existe siquiera un x.
- Existe por lo menos un x.
- (Algún porcentaje menor a 100)% de x.
- Pocas x.
- Hay x.

Ejemplos
1.- Cualquier cosa que sea mi novio es mi amigo
Nx: Novios
Ax: Amigos
x( Nx  Ax)
2.- 100 % de los huaracinos no son huarinos.
Hx: Huaracinos
HUx: Huarinos
x( Hx  HUx)
Nota.- Si para simbolizar un enunciado se utiliza una letra para un sujeto o un atributo
en el predicado que luego se tiene que volver a utilizar para un segundo sujeto o un
segundo atributo en el predicado, debemos usar también la segunda letra de la palabra
para diferenciar las formalizaciones, tal como en el ejemplo anterior o sino o si fuera
necesario podemos utilizar alguna otra letra representativa de la palabra; en el ejemplo
anterior podemos formalizar también de la siguiente manera
Hx: Huaracinos, Ux: Huaracinos

3.- La mayoría de estudiantes son de Huaraz.

Ex: Estudiantes.
Hx: Huaracinos.
x( Ex  Hx)
4.- Pocas personas son no honestas.
Px: Personas.
Hx: Honestos.
x( Px Hx)

LÓGICA DE CLASES
Definición.- Llamamos clase a una colección de objetos que tienen una característica o
propiedad común, basado en esto, esta definición es equivalente a la definición de
conjunto aunque algunos autores consideran el concepto de clase como algo más
abstracto y que posee otras características más.

Observación.- Para hacer notoria la diferencia mencionada consideremos por ejemplo

el conjunto A  1,  , , a el cual es un conjunto pero no es una clase, porque los
elementos no poseen una característica o propiedad común, entonces cualquier conjunto
no es una clase, pero toda clase sí es un conjunto.

Pertenencia.- Si “x” es un elemento de la clase A se dice que “x” pertenece a la clase A,

lo cual se denota de la misma manera que en conjuntos, es decir x  A ; si no lo es
decimos que “x” no pertenece a la clase A y lo denotamos por x  A .

Determinación de una clase

Por extensión.- El concepto es análogo al concepto de conjuntos.
Por comprensión.- El concepto es análogo al concepto de conjuntos.

Observaciones
1.- Dada la definición de clase, una clase siempre debe ser escrita como se escribe un
conjunto por comprensión, con lo cual primero siempre estará determinada por
comprensión.
2.- De acuerdo a la observación 1, todo conjunto determinado por comprensión genera
una clase.
3.- Para indicar si un conjunto determinado por extensión es una clase debemos de
tomar en cuenta que la característica o propiedad común de todos sus elementos debe
estar completamente clara.
4.- Al igual que en conjuntos para determinar por extensión una clase, se partirá de su
forma determinada por comprensión, es decir sólo escribiremos de manera explícita
los elementos que conforman la clase.
Relaciones entre clases
Igualdad de clases.- Se dice que las clases A y B son iguales y se denota por A  B , si
ambas clases tienen los mismos elementos.
Inclusión de clases.- Se dice que la clase A está incluida en la clase B, si todo elemento
de la clase A es elemento de la clase B, lo cual es denotado por A  B y se lee de la
misma manera que se hace en teoría de conjuntos “A está incluido en B”.

Definiciones
Clase vacía.- Es la clase que no tiene elementos, es denotada por  .
Clase universal.- Es la clase que contiene a todos los elementos de las clases que
participan en un estudio en particular, es denotado por U.
Subclase.- Llamaremos subclase a una clase que está incluida en otra clase, es decir A
es una subclase de la clase B, si A  B .

Ejemplo
Sean las clases:
B   x  / x  5 escrita por extensión B  1, 2,3, 4,5
A   x  / 0  x  4 escrita por extensión A  1, 2,3
A es una subclase de B puesto que A  B es decir A está incluido en B.

Nota.- Hasta aquí pareciera que la lógica de clases no nos es útil o que sólo es un
concepto restringido de conjuntos, pero una de las utilidades más importantes radica en
que la lógica de clases nos permite también representar de manera gráfica proposiciones
categóricas y verificar la validez de silogismos categóricos (conceptos que se estudiarán
luego).

Representación gráfica.- Se seguirá representando una clase mediante una figura

geométrica cerrada escribiendo su nombre fuera de la clase, lo mismo que un diagrama
de Venn, pero para representar clases adicionalmente debemos de tomar en cuenta que:

1.- La zona sombreada indicará que no existen elementos en esa clase.

A 

2.- Se escribirá una x dentro de la clase para indicar que existe al menos un elemento en
la clase.

x A
Estas representaciones gráficas son llamadas diagramas de Venn para lógica de clases.

Observación.- Esta representación gráfica en esencia es lo opuesto a lo que hacíamos

en la representación gráfica de conjuntos, si tomamos en cuenta que en conjuntos si un
conjunto o región no tenía elementos lo dejábamos en blanco.

OPERACIONES ENTRE CLASES

En lógica de clases tenemos operaciones equivalentes a las operaciones que existen en
teoría de conjuntos, en las siguientes operaciones pondremos énfasis en la
representación gráfica de estas operaciones.

1.- Producto de clases.- Es equivalente a la intersección de conjuntos, se define en base

a la conjunción de elementos de 2 clases, es denotado por: A B o A.B
U
A B

x A B  A.B

Simbólicamente.- A.B  x U / x  A  x  B

2.- Suma de clases.- Es equivalente a la unión de conjuntos, se define en base a la

disyunción de elementos de 2 clases, es denotado por: A B
U
A B

x x x A B

Simbólicamente.- A B   x U / x  A  x  B

3.- Complemento de clases.- Es equivalente al complemento de un conjunto, se define

en base a la negación de la pertenencia de un elemento a una clase, es denotado como
en álgebra de Boole, por: A
U
A

A
x

Simbólicamente.- A  x U / x  A  x U / ( x  A)
Nota.- En esta figura y cuando sea necesario se escribirá dentro de la clase su nombre.

4.- Diferencia de clases.- Es equivalente a la diferencia de conjuntos, se define en base

a la conjunción de los elementos de la clase A con los elementos del complemento de
la clase B, es denotado por: A  B
U
A B

x A B

Simbólicamente.- A  B  x U / x  A  x  B

Observaciones
1.- Utilizando el producto y el complemento de clases o de manera similar a como se
hace usando definiciones de conjuntos tenemos que: A  B  A B  A.B .
2.- De las definiciones de las 4 operaciones entre clases definidas, notamos que son
equivalentes a las operaciones mencionadas en sus definiciones, es decir se definen
de manera similar a como se hace en teoría de conjuntos.
3.- La lógica de clases también es llamada por algunos autores como algebra Booleana,
en referencia a que también se pueden realizar operaciones muy semejantes a las que
se hacen en el álgebra de Boole, teniendo en cuenta la forma booleana de las formas
típicas que será estudiada luego.

REPRESENTACIÓN GRÁFICA DE LAS FORMAS TÍPICAS

Las formas típicas de las proposiciones categóricas pueden ser representadas mediante
los diagramas de Venn para lógica de clases, considerando que tanto el sujeto como el
atributo en el predicado de la proposición categórica son clases; las representaciones
gráficas de cada forma típica son:

A: Universal afirmativa: En su forma normal: S  P

S P

Todo S es P  Si x es S entonces es P.

Ejemplo
Todo alumno es estudioso  Si x es alumno entonces es estudioso.
Ax: Alumnos, Ex: Estudiosos
x( Ax  Ex)
Notación.- Utilizaremos para lógica de clases y lógica de predicados la notación:
S  S

E: Universal negativa: En su forma normal: S  P

S P

Ningún S es P  Todo S es no P  Si x es S entonces no es P

Ejemplo
Ningún peruano es francés  Todo peruano no es francés
 Si x es peruano entonces x no es francés
Px: Peruanos, Fx: Franceses
x( Px  Fx)

I: Particular afirmativa: En su forma normal: S  P

S P

Algún S es P  x es S y es P.

Ejemplo
Algún deportista es peruano  x es deportista y es peruano
Dx: Deportistas, Px: Peruanos
x( Dx  Px)

O: Particular negativa: En su forma normal: S  P

S P

Algún S no es P  x es S y no es P
 Ejemplo
Algún casado es no feliz  x es casado y no es feliz
Cx: Casados, Fx: Felices
x(Cx  Fx)

FORMAS ADICIONALES Y SU REPRESENTACIÓN GRÁFICA

Existen 2 formas adicionales a las formas típicas que también son proposiciones
categóricas, las que pueden ser representadas mediante los diagramas de Venn para
lógica de clases, estos provienen de las 2 formas no consideradas en las formas típicas:
Forma 1 (F1): La conjunción de las negaciones del sujeto y del atributo en el predicado:
S  P .
Forma 2 ( F2): El sujeto negado implicando al atributo en el predicado
S  P  (S )  P  S  P .

F1: Producto de complementos.- En su forma normal: S  P

S P

Algún no S es no P  x no es S y no es P

Ejemplo
Existe a lo sumo un no empresario que no es responsable 
x no es empresario y no es responsable
Ex: Empresarios, Rx: Responsables
x(Ex  Rx)

F2: Reunión de clases.- En su forma normal: S  P

S P

Todos son S salvo que sean P  Si x no es S entonces es P  x es S o es P.

Ejemplo
Todos son estudiantes salvo que sean profesores 
Si x no es estudiante entonces es profesor
Ex: Estudiantes, Px: Profesores
x(Ex  Px)
Nota.- Para simbolizar las formas típicas y las formas adicionales de proposiciones
categóricas, debemos de tomar en cuenta que siempre el conector lógico que relaciona
sujeto con el atributo en el predicado, cuando aparece:
Un cuantificador existencial, es la conjunción.
Un cuantificador universal, es la implicación o disyunción débil.

Observación.- Podemos definir la clase

S P  (S  P) ( P  S )
que sería la diferencia simétrica de clases, cuya gráfica es:

S P

(S  P) ( P  S )  S P

Observamos en esta gráfica el parecido con la gráfica de la forma adicional F2, sólo que
en esta clase tampoco debe haber elementos en la intersección S P , con lo cual su
forma verbal será “o x es S o es P” que utiliza la forma verbal de la disyunción fuerte en
proposiciones S P .
De esta manera establecemos la relación entre la diferencia simétrica en clases (o
conjuntos) con la disyunción fuerte en proposiciones y el porqué de su misma notación.
Además simbólicamente tenemos que
AB  x U / x   ( A  B) ( B  A) 
de manera similar a como se hace en teoría de conjuntos obtenemos que
AB  x U / x   ( A B)  ( A B) 
luego escrito en forma de operaciones de clases obtenemos que:
AB  ( A  B) ( B  A)  ( A B)  ( A B) .

Ejercicios
Graficar las siguientes proposiciones categóricas:
1.- Es falso que algunos futbolistas no son educados
Es falso que, algunos futbolistas no son educados
Fx: Futbolistas
Ex: Educados
(x( Fx  Ex))  O
x(( Fx  Ex))  O
x(Fx  (Ex)))  O
x(Fx  Ex)  O
x( Fx  Ex)  O  A (Forma moderna)
Todo futbolista es educado
( FoE )  FaE (Forma clásica)
 F E

Todo futbolista es educado.

Nota.- Las expresiones verbales diferentes de un no explícito que aparecen al inicio

de un bloque del enunciado de una proposición o una proposición categórica niegan
a todo lo que está contenido en ese bloque, por lo general se omite entonces la coma
de separación de todo el bloque que va a negar.

2.- “Es mentira que todos los maestros no son choferes”

“Es mentira que, todos los maestros no son choferes”
Mx: Maestros
Cx: Choferes
E : (x(Mx  Cx))  (x(Mx  Cx))
 x((Mx  Cx))  x((Mx)  (Cx))
x(Mx  Cx) : I (Forma moderna)
(MeC )  MiC (Forma clásica)

M C

Algún maestro es chofer.

Existen maestros que son choferes.
20% de los maestros son choferes.

Observación.- Para hallar la negación de la función proposicional que está afectada por
el cuantificador en los ejemplos 1 y 2 se procedió tal como se indicó en las
observaciones de negación de cuantificadores.

3.- “El 2% de los no maestros son agricultores”

Mx: Maestros
Ax: Agricultores
x(Mx  Ax)
 x( Ax  Mx) : O
Forma clásica: AoM
Forma normal: A  M
 M A

El 2% de los no maestros son agricultores.

CUADRO DE BOECIO
También llamado cuadro de oposición tradicional, en éste aparecen las proposiciones
categóricas típicas: A, E, I, O, que tiene el mismo sujeto y el mismo atributo en el
predicado, las cuales mantienen entre sí las llamadas relaciones de oposición.

Oposición.- Son las variaciones de cantidad de universal a particular o viceversa, o de

calidad de afirmativa a negativa o viceversa, al compararse dos proposiciones
categóricas.
Subalternante de I Subalternante de O
Contrarias
A E

I O
Subcontrarias
Subalterno de A Subalterno de E

ESQUEMA DE LAS RELACIONES DE OPOSICIÓN

Leyes lógicas
Oposición Proposiciones Cantidad Calidad
(Valores de verdad)
A E Nunca pueden ser ambas
Contrarias , Igual Diferente
E A verdaderas
I O Tienen valores inversos o
Subcontrarias , Igual Diferente
O I combinados
A O E I Nunca pueden ser ambas
Contradictorias , ; , Diferente Diferente
O A I E falsas
I E Ambas pueden ser falsas
Subalternas , Diferente Igual
A O pero no verdaderas
A O Ambas pueden ser
Subalternantes , Diferente Igual
I E verdaderas pero no falsas

Ejemplos
Dadas las proposiciones categóricas, simbolizarlas y hallar sus relaciones de oposición:
1.- No es cierto que cada alumno sea bien educado
Ax: Alumnos
Bx: Bien educados
x( Ax  Bx)  x((Ax  Bx))
x( Ax  Bx)) :O
Algunos alumnos no son bien educados.
Las tres relaciones de oposición son:
Contradictoria: A : x( Ax  Bx))
Todo alumno es bien educado
Subcontraria: I : x( Ax  Bx))
Existen alumnos bien educados
Subalternante: E : x( Ax  Bx))
Todo alumno no es bien educado
Ningún alumno es bien educado

2.- Ningún juez es honesto

Jx: Jueces
Hx: Honestos
x( Jx  Hx) : E
Forma clásica: FeH
Las tres relaciones de oposición son:
Contraria: A : x( Jx  Hx)
Todos los jueces son honestos.
Contradictoria I: I : x( Jx  Hx)
Algunos jueces son honestos
Subalternante: O : x( Jx  Hx)
Algunos jueces no son honestos

3.- Uno que otro varón es mentiroso

Vx: Varones
Mx: Mentirosos
x(Vx  Mx) :I
Forma Normal: V  M
Las tres relaciones de oposición son:
Subcontraria: O : x(Vx  Mx)
Algún varón no es mentiroso
Contradictoria: E : x(Vx  Mx)
Ningún varón es mentiroso
Subalternante: A : x(Vx  Mx)
Todo aquel que es varón es mentiroso

4.- Todos los humanos son corruptos

Hx: Humanos
Cx: Corruptos
x( Hx  Cx) : A
Contraria: E : x( Hx  Cx)
Ningún humano es corrupto
 Contradictoria: O : x( Hx  Cx)
Algún humano no es corrupto
Subalterno: I : x( Hx  Cx)
Existen humanos que son corruptos
Analizamos en este ejemplo los valores de verdad de la proposición categórica y de
sus oposiciones.
Con su contrario.- Asumiendo que A  V entonces E necesariamente debe ser F,
ambos no pueden ser verdaderos; si es verdadero que todos los humanos son
corruptos no puede ocurrir que ningún humano sea corrupto con lo cual será falso
que ningún humano sea corrupto; de manera similar si E  V entonces A
necesariamente debe ser F.
Con su contradictorio.- Asumiendo que A  F entonces O necesariamente debe ser
V, ambos no pueden ser falsos; si es falso que todos los humanos son corruptos,
entonces ocurre que existen algunos que no son corruptos, es decir será verdadero
que existan humanos que no son corruptos; de manera similar si E  F , A
necesariamente debe ser V.
Con su subalterna.- Asumiendo que A  V entonces I también será verdadero,
pero si A  F entonces I no puede ser F; si es verdadero que todos los humanos son
corruptos entonces también ocurre que sólo algunos sean corruptos es decir también
será verdadero que existan humanos que son corruptos; si es falso que todos los
humanos son corruptos entonces ocurre que existen humanos que no son corruptos y
que son corruptos, además como decir que es falso que existan humanos que son
corruptos significaría que ninguno es corrupto, entonces no puede ocurrir que existan
humanos que son corruptos y que ninguno sea corrupto; es decir no puede ser falso
que existan humanos que son corruptos.
Con su subalternante.- Asumiendo que I  F entonces A también será falso, pero
si I  V entonces A no puede ser V; si es falso que algunos humanos son corruptos
entonces significa que ningún humano es corrupto con lo cual es falso que todos los
humanos son corruptos; si es verdadero que algunos humanos son corruptos entonces
también existen humanos que no son corruptos, entonces no puede ocurrir que todos
los humanos sean corruptos.

EQUIVALENCIAS DE PROPOSICIONES CATEGÓRICAS

Dada una proposición categórica, ésta tiene 5 formas equivalentes diferentes de poder
expresarse, consideramos para estas equivalencias su forma moderna, estas son:

A: Universal afirmativa.- x(Sx  Px)

a) x(Px  Sx)
b) x( Px  Sx)
c) x(Sx  Px)
x((Sx  Px))  x(Sx  Px)
d) x(Sx  Px)
e) x(Px  Sx)

E: Universal negativa.- x(Sx  Px)

a) x( Px  Sx)
b) x(Px  Sx)
 c) x(Sx  Px)
x  (Px  Sx)   x( Px  Sx)
d) x( Px  Sx)
e) x(Sx  Px)

I: Particular afirmativa.- x(Sx  Px)

a) x( Px  Sx)
x(  Px  Sx )  x  Px  Sx 
b) x  Px  Sx 
c) x  Sx  Px
d) x  Sx  Px 
e) x  Px  Sx 

O: Particular negativa.- x(Sx  Px)

a) x(Px  Sx)
x(  Px  Sx )  x  Px  Sx 
b) x  Px  Sx 
c) x  Sx  Px
d) x  Sx  Px 
e) x  Px  Sx 

F1: Intersección de complementos.- x(Sx  Px)

a) x(Px  Sx)
x(  Px  Sx )  x  Px  Sx 
b) x  Px  Sx 
c) x  Sx  Px 
d) x  Sx  Px 
e) x  Px  Sx 

F2: Reunión de clases.- x(Sx  Px)

a) x( Px  Sx)
b) x(Px  Sx)
c) x(Sx  Px)
x    Sx  Px    x    Sx  Px    x  Sx  Px 
d) x  Px  Sx 
e) x  Sx  Px 

Ejemplos
Expresar en sus formas equivalentes las siguientes proposiciones categóricas:
1.- Todos los ambientales son estudiosos
Ax: Ambientales
Ex: Estudiosos
x( Ax  Ex)
a) x(Ex  Ax) : Todos los no estudiosos son no ambientales.
b) x( Ex  Ax) : Todos, son estudiosos o no son ambientales.
c) x(Ax  Ex) : Todos, son no ambientales o estudiosos.
d) x( Ax  Ex) : No es cierto que algunos, son ambientales y no estudiosos.
e) x(Ex  Ax) : Es mentira que algunos que no son estudiosos son ambientales.

2.- Todo científico no es físico

Cx: Científicos
Fx: Físicos
x(Cx  Fx)
a) x( Fx  Cx) : Todo físico no es científico.
b) x(Fx  Cx) : Todos, no son científicos o no son físicos.
c) x(Cx  Fx) : Todos, no son físicos o no son científicos.
d) x(Cx  Fx) : Es absurdo que existan científicos que son físicos.
e) x( Fx  Cx) : Es falso que alguien, sea físico y sea científico.

NEGACIONES DE PROPOSICIONES CATEGÓRICAS

Tomando en cuenta las relaciones de oposición, al negar una forma típica nos resulta su
contradictoria, lo mismo que la negación del contradictorio nos resultará la proposición
categórica; así también la negación de la forma adicional F1 nos resultará la forma
adicional F2 o viceversa, es decir la negación de la intersección de complementos es la
reunión de clases y la negación de la reunión de clases es la intersección de
complementos; todas estas negaciones son:

( A) (x( Sx  Px))
1.- :
O x( Sx  Px)
( E ) (x( Sx  Px))
2.- :
I x( Sx  Px)
( I ) (x( Sx  Px))
3.- :
E x( Sx  Px)
(O) (x( Sx  Px))
4.- :
A x( Sx  Px)
( F1 ) (x(Sx  Px)) (x(Sx  Px))
5.- : 
F2 x(Sx  Px) x(Sx  Px)
( F2 ) (x(Sx  Px)) (x(Sx  Px))
6- : 
F1 x(Sx  Px) x(Sx  Px)

Ejemplos
Negar las siguientes proposiciones categóricas:
1.- Ningún político es honesto.
 Px: Políticos
Hx: Honestos
E : x( Px  Hx)
Como su contradictorio es I : x( Px  Hx)
Su negación es: Algunos políticos son honestos.

2.- Todos los que no son abogados son corruptos

Ax: Abogados
Cx: Corruptos
F2 : x(Ax  Cx)  x( Ax  Cx)
Como su negación resulta F1 : x(Ax  Cx)
Su negación es: Existe alguien que no es abogado y no es corrupto.

3.- Algunas mujeres son malas

Mx: Mujeres
MAx: Malas
I : x(Mx  MAx)
Como su contradictorio es E : x(Mx  MAx)
Su negación es: Todas las mujeres no son malas  Ninguna mujer es mala

4.- Cada uno de los humanos es cruel

Hx: Humanos
Cx: Crueles
A : x( Hx  Cx)
Como su contradictorio es O : x( Hx  Cx)
Su negación es: Pocos humanos no son crueles.

5.- Cualquiera que sea docente no es inculto

Dx: Docentes
Ix: Incultos
E : x( Dx  Ix)
Como su contradictorio es I : x( Dx  Ix)
Su negación es: 1% de los docentes son incultos.

DIAGRAMAS DE VENN-EULER Y EL LENGUAJE BOOLEANO

Teniendo en cuenta que el sujeto y el atributo en el predicado de una proposición
categórica, ambas son clases, estas proposiciones pueden ser representadas mediante la
suma, multiplicación y complemento de clases, mediante las llamadas fórmulas
booleanas.
Una formula booleana indica 3 partes:

S P = 

Operación Zona de Zona que indica

entre clases intersección si está
en la gráfica sombreado o con
de Venn una x en la
gráfica.
Consideramos 2 clases S y P cualesquiera, cuyas representaciones gráficas y de las
subclases en la que se subdividen, se muestra en la siguiente figura:

S P
SP PS
S P S P S P
S .P
S .P S .P

PROPOSICIONES CATEGÓRICAS Y SU REPRESENTACIÓN

MEDIANTE EL LENGUAJE BOOLEANO O
ÁLGEBRA BOOLEANA
Cuando una proposición categórica se trabaja con su forma o fórmula booleana (en el
álgebra booleana) se debe tener en cuenta lo siguiente:
1.- El negador externo afecta sólo a la igualdad o diferencia.
2.- Si escribimos una proposición categórica con producto de clases “ ”, este símbolo
puede ser reemplazado por un punto tal como se indicó en su notación, pero en el
caso de la suma de clases “ ” se deberá seguir utilizando este símbolo.
3.- Para hallar la expresión booleana equivalente sin que esta cambie su significado o su
esencia, internamente si negamos la operación de clases también debemos negar la
igualdad o diferencia.
4.- De manera análoga a teoría de conjuntos, en lógica de clases tenemos las siguientes
propiedades o leyes:
a) S  S
b) S P  S P
c) S P  S P
5.- Al estar relacionadas las clases con las proposiciones categóricas, la forma de hallar
las equivalencias son análogas a la forma como se hallan las equivalencias de las
proposiciones categóricas dadas en su forma moderna, teniendo en cuenta que:
Para un cuantificador universal se considerará:
(Operación)  
Para un cuantificador existencial se considerará:
(Operación)  
La negación externa del cuantificador en la forma moderna, en esta equivalencia
afecta sólo a la igualdad o diferencia.
La negación interna de operación e igualdad o desigualdad afecta al cuantificador y
la función proposicional en la forma moderna.

Teniendo en cuenta las consideraciones anteriores tenemos:

A: Universal afirmativa.- Todo S es P

En su forma clásica: SaP
Estructura booleana: S P   o S .P  
 S P

Equivalencias:
a) S P    S P  
Como S P 

S P

entonces la negación S 
P   viene a ser el diagrama inicial.

Luego como S P   S P   S P   S P 
b) S P   S P 

S P

x x

el cual es equivalente al diagrama inicial.

c) S P   S P  
Como S P 

S P

entonces la negación S 
P   viene a ser el diagrama inicial.

E: Universal negativa.- Ningún S es P

En su forma clásica: SeP
Estructura booleana: S P   o S.P  
 S P

Equivalencias:
a) S P    S P 
S P   S P   S P 
b) S P   S P 
c) S P   S P  
I: Particular afirmativa.- Algún S es P
En su forma clásica: SiP
Estructura booleana: S P   o S.P  

S P

Equivalencias:
a) S P    S P 
S P   S P   S P 
b) S P   S P 
c) S P   S P  
O: Particular Negativa.- Algún S no es P
En su forma clásica: SoP
Estructura booleana: S P   o S .P  

S P

x
 Equivalencias:
a) S P    S P  
S P   S P   S P   S P 
b) S P   S P 
c) S P   S P 
F1: Intersección de complementos.- Algún no S es no P
Estructura booleana: S P   o S .P  

S P

Equivalencias:
a) S P    S P  
S P   S P   S P   S P 
b) S P   S P 
c) S P   S P  

F2: Reunión de clases.- Todos son S o P

Estructura booleana: S P   o S .P  

S P

Equivalencias:
a) S P    S P  
S P  S P S P S P
b) S P  S P
c) S P  S P  

El siguiente cuadro resume las 4 formas típicas así como las 2 formas adicionales y sus
principales características incluyendo sus formas boolenas:
Forma Estructura Fórmula Equivalencia
Lectura
típica (Forma normal) booleana booleana

A Todo S es P S P
S P  
S P  
S .P   S P 
Todo S no es P S P  S P 
E S  P
Ningún S es P S.P   S P 
S P  S P 
I Algún S es P SP
S.P   S P 

O Algún S no es P S  P
S P  S P  
S .P   S P 

F1 Algún no S es no P S  P
S P  S P  
S .P   S P 

F2
Todos son S o P
Todos son S salvo SP
S P  S P  
que sean P S .P   S P 

LÓGICA DE PREDICADOS
En lógica, cuando un predicado lingüístico se conecta con una expresión, se dice que
expresa una propiedad (como la propiedad de ser un planeta), y cuando se conecta con
dos o más expresiones, se dice que expresa una relación (como la relación de ser más
grande que). La lógica de predicados o también llamada lógica de primer orden, se
ocupa de estudiar el modo en que hablamos y razonamos con expresiones lingüísticas.

Definición.- En lógica de predicados de primer orden, se trata a los predicados como

funciones que no sólo toman números como argumentos, sino expresiones como
“Marte”, “Mercurio” y otras, de este modo, la oración “Marte es un planeta” puede
transcribirse, siguiendo la notación propia de las funciones, de la siguiente manera:
Planeta(Marte)
O más abreviadamente, será denotado por:
P(m)
O como ya se ha ido denotando como Pm, donde m indicará el valor específico Marte, y
el predicado será denotado por Px.

De esta manera notamos que el concepto de predicados tiene una estrecha relación con
las funciones proposicionales, las cuales nos indica además que una función
proposicional es un concepto más general que el concepto de predicado, puesto que una
función proposicional se puede definir incluso en otros contextos que no sólo son en el
razonamiento con expresiones lingüísticas.

Observación.- En la lógica clásica o también llamada lógica aristotélica, una

proposición categórica se distingue porque su estructura es similar a la de una oración
común, su esquema es:
 Cuantificadores Sujeto Verbo Atributo - Predicado
x
S Ser P
x

Mientras que en la lógica de predicados de acuerdo a lo definido tenemos que los

sujetos y los atributos en los predicados lingüísticos son tratados como funciones y
aunque resulte redundante o confuso ambos serán llamados predicados en lógica de
predicados.

Ejemplos
1.- Planeta(x): x es un planeta
Planeta(Marte): Marte es un planeta

2.- F ( x, y) : Todo x es un y
Todo planeta es una estrella
Planeta(x): x es un planeta  P( x)  Px : Planetas.
Estrella(x): x es una estrella  E ( x)  Ex : Estrellas.

3.- F ( x, y) : Ningún x es y
Ningún animal es planta
Animal(x): x es animal  A( x)  Ax : Animales.
Planta(x): x es planta  P( x)  Px : Animales.
Ninguna persona es santa
Persona(x): x es persona  P( x)  Px : Personas.
Santo(x): x es santo  S ( x)  Sx : Santos.

4.- F ( x, y) : Mañana x juegan con y

Mañana humanos juegan con pelotas
Humano(x): x es humano  H ( x)  Hx : Pelotas
Pelota(x): x es pelota  P( x)  Px : Pelotas
Mañana Juan juegan con la pelota de futbol

Definiciones en lógica de predicados

Variable de individuo.- Es la variable que acompaña a un predicado será denotado por:
x, y, z.

Constante de individuo.- Es una expresión que se refiere a una entidad específica.

Tierra es una constante de individuo en el predicado Planeta(x).
Planeta(Tierra)
Planeta(Mercurio)

Cuantificadores o Cuantores.- Son los mismos cuantificadores ya estudiados.

Cuantificador existencial: x / P( x)  xPx .
Cuantificador universal: x : P( x)  xPx .

Conectivos.- Son los mismos conectivos estudiados en lógica proposicional, sirven para
combinar los predicados, constantes, variables y cuantificadores.
Ejemplos
1.- Todos son inteligentes.
I ( x)  Inteligentes(x) = Ix
xIx
Nota.- Podemos evaluar el valor de verdad de un predicado, de igual manera que una
función proposicional.
En el ejemplo anterior tenemos:
I(Alan): Alan es inteligente.
I(Gabriel)  Gabriel es inteligente (V)
I (Andrea)  Andrea es inteligente (F)
I (Albert Einstein)  Albert Einstein (V)

2.- Todos los varones son inteligentes.

Vx: Varones
Ix: Inteligentes
x(Vx  Ix)

3.-Todo científico no es físico.

Ningún científico es Físico
Cx: Científicos
Fx: Físicos
x(Cx  Fx)

4.- Algunos profesores no son honestos.

Px: Profesores
Hx: Honestos
x( Px  Hx)

5.- Algunas chicas no son sanas.

Cx: Chicas
Sx: Sanas
x(Cx Sx) : O  CoS

6.- Algunos peces son mamíferos

Px: Peces
Mx: Mamiferos
x( Px  Mx) : I  PiM

7.- Algunos estudiantes no son estudiosos

Ex: Estudiantes
ESx: Estudiosos
x( Ex  ESx) : O  EoES

8.- Muchas personas son padres y todos son solteros.

Px: Personas
PAx: Padres
Sx: Solteros
x( Px  PAx)  xSx
9.- Todo sacerdote es fiel y todo adolescente es un escolar
Sx: Sacerdotes
Fx: Fieles
Ax: Adolescentes
Ex: Escolares
x(Sx  Fx)  x( Ax  Ex)

10.- x es presidente, pero todo x no es honesto o es corrupto; por lo tanto existen x que
son líderes
Px: Presidentes
Hx: Honestos
Cx: Corruptos
Lx: Líderes
 Px  x(Hx  Cx)  xLx   Px  x( Hx  Cx)  xLx
11.- Ningún estudiante preuniversitario es universitario
Px: Estudiantes preuniversitarios
Ux: Universitarios
Tomando en cuenta la negación de cuantificadores y el hecho que:
Ningún  No algún:  , pero que la negación afecta a toda la proposición
categórica entonces tenemos:
  x( Px  Ux)   x(( Px  Ux))
 x(Px  Ux)
 x( Px  Ux) : E  PeU
Con lo cual demostramos el por qué de la equivalencia verbal:
Todo S es no P  Ningún S es P.

Observación.- Aunque en forma general existen proposiciones con predicados mucho

más complejos, tal como los mostrados en los ejemplos anteriores 8, 9 y 10, sólo nos
centraremos en estudiar las proposiciones categóricas, las cuales son las proposiciones
con predicados más importantes y más estudiadas en un nivel básico.

SILOGISMO CATEGÓRICO
Consideremos que quisiéramos verificar la validez del siguiente enunciado:
Todos los varones son fieles, todos los fieles son perros, por lo tanto todos los varones
son perros.
En lógica proposicional utilizaremos inferencia lógica.
Simbolizando tenemos:
p: Todos los varones son fieles
q: Todos los fieles son perros
 r: Todos los varones son perros
En su forma lineal tenemos ( p  q)  r , proposición en la cual no podemos utilizar
alguna inferencia válida notable y a su vez depende de los valores de verdad de cada
proposición con lo cual no es posible verificar la validez de su conclusión.
Pero si simbolizamos en proposiciones categóricas o de lógica de predicados tenemos:
Vx: Varones
Fx: Fieles
Px: Perros
 p : x(Vx  Fx)
q : x( Fx  Px)
 r : x(Vx  Px)
Lo cual se demostrará que sí es una conclusión válida utilizando el concepto de
silogismos categóricos.

Definición.- Un silogismo categórico es un razonamiento que consta de tres

proposiciones categóricas, donde las dos primeras son llamadas premisas y la tercera
conclusión, es análogo al silogismo hipotético puro en lógica proposicional;
dependiendo de la forma como aparecen el predicado en el sujeto y el predicado en el
predicado en cada proposición, así como a que forma típica corresponde cada
proposición categórica, se clasifican en figuras y modos.

Nota.- Por simplicidad indicaremos como predicado-sujeto al predicado matemático en

el sujeto y como predicado-predicado al predicado que se encuentra en el atributo del
predicado.
Todo razonamiento silogístico tiene exactamente tres términos referidos a los
predicados en el sujeto y a los predicados en el predicado, de las 2 proposiciones
categóricas que son premisas, estos son:

Término medio “M”.- Es aquel término que aparece en ambas premisas ya sea como
predicado-sujeto o como predicado-predicado, el término medio nunca debe aparecer en
la conclusión, de lo contrario se estaría cometiendo una falacia (falacia del medio
concluyente).
Término mayor “P”.- Se identifica porque siempre aparece en la primera premisa y se
caracteriza por que aparece como predicado-predicado en la conclusión.
Término menor “S”.- Es el término que se encuentra en la segunda premisa además
siempre aparece en la conclusión como predicado-sujeto.

Nota.- Si no existiera el término medio, entonces nuestro razonamiento tendrá cuatro

términos y no se podrá obtener ninguna conclusión (falacia del cuarto término).

Nivel de premisas o proposiciones.- Con respecto a las proposiciones categóricas que

conforman el silogismo categórico tenemos:
Premisa mayor.- Está ubicada en primer lugar, en ésta se encuentran el término mayor
y el término medio.
Premisa menor.- Está ubicada en segundo lugar, en ésta se encuentran el término
menor y el término medio.
Conclusión.- Es la proposición o juicio que enlaza la premisa mayor con la premisa
menor y lo que se infiere de ellas.

Esquema.- Considerando que S es el término menor, M es el término medio y P es el

término mayor tenemos:

P1 : M P Premisa mayor

P2 : S M Premisa menor

Q : S P Conclusión
Ejemplos
1.- P1 : Todos los niños son inquietos
P2 : Sadith es niña

 Q : Sadith es inquieta

Considerando a que término corresponden cada predicado tenemos:

S: Sadith
M: Niños
P: Inquietos

P1 : M P
P2 : S M

Q : S P

 Sadith es inquieta

2.- P1 : Todos los perros son fieles

P2 : Fido es un perro

 Q : Fido es fiel

Considerando a que término corresponden cada predicado tenemos:

S: Fido
M: Perros
P: Fieles

P1 : M P
P2 : S M

Q : S P

3.- P1 : Todos los hombres son honestos

P2 : Escudero es hombre

 Q : Escudero es honesto
Término mayor: Honestos
Término menor: Escudero
Término medio: Hombres

4.- P1 : Todas las mujeres son mentirosas

P2 : Mónica es mujer

 Q : Mónica es mentirosa
Término mayor: Mentirosas
Término menor: Mónica
Término medio: Mujeres
5.- P1 : Existen abogados que son honestos
P2 : Alberto Benítez es Abogado

 Q : Alberto Benítez es honesto

Término mayor: Honestos
Término menor: Alberto Benítez
Término medio: Abogados

Observación.- La conclusión de los 4 primeros ejemplos se puede hallar considerando

que el término medio se cumple para todos los elementos del término mayor, si en la
segunda premisa consideramos el término menor como un elemento específico del
término medio entonces también cumple el termino mayor, pero la conclusión del
ejemplo 5 no necesariamente es cierta puesto que se garantiza que Alberto Benítez se
encuentre en el grupo de los abogados honestos, es decir cumpla el término mayor.

LAS FIGURAS SILOGÍSTICAS

Se distinguen sus esquemas, por la ubicación del término medio en las premisas, son 4
las figuras silogísticas.

Figura 1 Figura 2 Figura 3 Figura 4

P1 : M P P1 : P M P1 : M P P1 : P M

P2 : S M P2 : S M P2 : M S P2 : M S

 Q: S P  Q: S P  Q: S P  Q: S P

MODOS DEL SILOGISMO

Se distinguen por la ubicación de una de las cuatro proposiciones categóricas típicas
tanto en las dos premisas como en la conclusión; dadas las combinaciones entre figuras
ubicación de los predicados y del tipo de proposiciones categóricas, resultan 256 modos
posibles de los cuales 24 son modos de silogismos válidos según la lógica clásica y sólo
15 son modos válidos demostrables por la lógica moderna.

REGLAS GENERALES DE LOS SILOGISMOS

Para los silogismos categóricos se siguen las siguientes reglas.
1.- Los términos de los silogismos son sólo 3.
2.- El término medio en cualquiera de las 2 premisas debe tener cantidad universal por
lo menos en una de estas premisas.
3.- Los términos en la conclusión no deben tener mayor cantidad que tienen en las
premisas.
4.- De dos premisas negativas no puede sacarse conclusión válida alguna.
5.- De dos premisas particulares no puede sacarse conclusión válida alguna.
6.- De dos premisas afirmativas se obtiene una conclusión afirmativa.
7.- De dos premisas universales se obtiene una conclusión universal.
8.- De una premisa afirmativa y otra negativa se obtiene siempre conclusión negativa.
9.- La conclusión se deriva o infiere siempre de la premisa más débil, una particular es
más débil que una universal y una negativa es más débil que una afirmativa.
10.- El término medio nunca debe estar en la conclusión.
 REGLAS OPERATIVAS
De acuerdo a lo anterior tenemos:
Regla 1 Regla 2 Regla3
Universal Universal Particular
Universal Particular Particular

Universal Particular No válido

Regla 4 Regla 5 Regla 6

Afirmativa Afirmativa Negativa
Afirmativa Negativa Negativa

Afirmativa Negativa No válido

CUADRO RESUMEN DE LOS SILOGISMOS VÁLIDOS

Nombre latino
Figuras Esquema Modo
(En latín)
A A A Barbara
M P
E A E Celarent
1 S M
A I I Darii
S P
E I O Ferio
E A E Cesare
P M
A E E Camestres
2 S M
E I O Festino
S P
A O O Baroco
A I I Datisi
M P I A I Disanis
3
M S O A O Bokardo
S P E I O Ferison
P M A E E Camenes
4 M S I A I Dimaris
S P E I O Fresison

Ejemplos
1.- Cesare
P1 : x( Px  Mx)
P2 : x( Sx  Mx)
 Q : x( Sx  Px)
P1 : P e M U N
P2 : S a M U A
 Q: S e P U N:E

2.- Camenes
P1 : x( Px  Mx)
P2 : x( Mx  Sx)
 Q : x( Sx  Px)
 P1 : P a M U A
P2 : M e S U N
 Q: S e P U N:E

3.- Dimaris:
P1 : x( Px  Mx)
P2 : x( Mx  Sx)
 Q : x( Sx  Px)
P1 : P i M P A
P2 : M a S U A
 Q: S i P P A:I

4.- Hallar la conclusión de:

Ningún peruano es europeo aunque todo huaracino es peruano.
Px: Peruanos
Ex: Europeos
Hx: Huaracinos
P1 : x( Px  Ex) : PeE
P2 : x( Hx  Px) : HaP
P1 : P e E U N:E
P2 : H a P U A :A
 Q: H e E U N:E
Podríamos concluir que x( Hx  Ex)
Todo huaracino no es europeo ≡ Ningún huaracino es europeo
Pero solamente hasta verificar si es un modo válido podremos afirmar que la
conclusión es válida.
Como corresponde al modo válido Celarent entonces la conclusión es válida.

5.- Verificar la validez del silogismo

Todos los mamíferos son vertebrados, todas las ballenas son mamíferos. Luego todas
las ballenas son vertebradas.
Todos los mamíferos son vertebrados.
Todas las ballenas son mamíferos.
Luego todas las ballenas son vertebradas.
Mx: Mamíferos
Vx: Vertebrados
Bx: Ballenas
x(Mx  Vx) : A U A
x( Bx  Mx) : A U A
x( Bx  Vx) : A U A
M aV
B aM
BaV
Corresponde al modo válido Barbara entonces la conclusión es válida.
 El silogismo es válido.