FORMALIZACION DE PROPOSICIONES CATEGRICAS

Para la formalizacin (simbolizacin) de proposiciones categricas tomaremos en

cuenta las siguientes equivalencias verbales, para cada cuantificador:

1.- Cuantificador universal.- Llamado tambin generalizador.

Smbolo: x

Traduccin 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 tambin existencializador.

Smbolo: x

Traduccin 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 mayora de x.
- Hay exactamente un x.
- Al menos un x existe.
- Existe a lo ms un x.
- Existe siquiera un x.
- Existe por lo menos un x.
- (Algn 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 predicado
que luego se tiene que volver a utilizar para un segundo sujeto o predicado, usamos
tambin para diferenciar la segunda letra de la palabra tal como en el ejemplo anterior o
de ser necesario alguna otra letra representativa de la palabra.

3.- La mayora 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)

LGICA DE CLASES
Definicin.- Llamamos clase a una coleccin de objetos que tienen una caracterstica o
propiedad comn, basado en esto, esta definicin es equivalente a la definicin de
conjunto aunque algunos autores consideran el concepto de clase como algo ms
abstracto y que posee otras caractersticas ms.

Observacin.- Para hacer notoria esta diferencia consideremos por ejemplo el conjunto
A 1, , , a el cual es un conjunto pero no es una clase, porque los elementos no
poseen una caracterstica o propiedad comn, 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 .

Determinacin de una clase:

Por extensin.- El concepto es anlogo al concepto de conjuntos.
Por comprensin.- El concepto es anlogo al concepto de conjuntos.

Observaciones:
1.- Dada la definicin de clase, una clase siempre debe ser escrita como se escribe un
conjunto por comprensin, con lo cual primero siempre estar determinada por
comprensin.
2.- De acuerdo a la observacin 1, todo conjunto determinado por comprensin genera
una clase.
3.- Para indicar si un conjunto determinado por extensin es una clase debemos de
tomar en cuenta que la caracterstica o propiedad comn de todos sus elementos debe
estar completamente clara.
4.- Al igual que en conjuntos para determinar por extensin una clase, se partir de su
forma determinada por extensin, es decir slo escribiremos de manera explcita los
elemento 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.

Inclusin 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 .

Definiciones:
Clase vaca.- 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 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 extensin B 1, 2,3, 4,5
A x / 0 x 4 escrita por extensin 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 lgica de clases no nos es til o que slo es un
concepto restringido de conjuntos, pero una de las utilidades ms importantes radica en
que la lgica de clases nos permite tambin representar de manera grfica proposiciones
categricas y verificar la validez de silogismos categricos (conceptos que se estudiarn
luego).

Representacin grfica.- Se seguir representando una clase mediante una figura

geomtrica 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.

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

x A
Nota.- Llamaremos a esta representacin grfica de clases, diagramas de Venn para
lgica de clases.

Observacin.- Esta representacin grfica en esencia es lo opuesto a lo que hacamos

en representacin de conjuntos, si tomamos en cuenta que en conjuntos si un conjunto o
regin no tena elementos lo dejbamos en blanco, .

OPERACIONES ENTRE CLASES

En lgica de clases tenemos operaciones equivalentes a las operaciones que existen en
teora de conjuntos, en las siguientes operaciones pondremos nfasis en la
representacin grfica de estas operaciones.

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

a la conjuncin de elementos de 2 clases, es denotado por: A B o AB

U
A B

x A B A.B

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

disyuncin de elementos de 2 clases, es denotado por: A B
U
A B

x x x A B

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

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

A
x

Nota.- En esta figura y cuando sea necesario se escribir dentro del conjunto su nombre.
4.- Diferencia de clases.- Es equivalente a la diferencia de conjuntos, se define en base
a la conjuncin de los elementos de la clase A con los elementos del complemento de
la clase, es denotado por: A B
U
A B

x A 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 AB .
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 teora de conjuntos.
3.- La lgica de clases tambin es llamada por algunos autores como algebra Booleana,
en referencia a que tambin se pueden realizar operaciones muy semejantes a las que
se hacen en el algebra de Boole, teniendo en cuenta la forma booleana de las formas
tpicas que ser estudiada luego.

REPRESENTACIN GRFICA DE LAS FORMAS TPICAS

Las formas tpicas de las proposiciones categricas pueden ser representadas mediante
diagramas de Venn para lgica de clases, considerando que tanto el sujeto como el
predicado de la proposicin categrica son clases; las representaciones grficas de cada
forma tpica 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 x es estudioso.
Ax: Alumnos
Ex: Estudiosos
x( Ax Ex)
Notacin.- Utilizaremos para lgica de clases y lgica de predicados la notacin:
S S

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

S P

Ningn S es P Todo S es no P Si x es S entonces no es P

Ejemplo
Ningn peruano es francs Todo peruano no es francs
Si x es peruano entonces x no es francs
Px: Peruanos
Fx: Franceses
x( Px Fx)

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

Algn S es P x es S y es P.

Ejemplo
Algn 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

 Algn S no es P x es S y no es P

Ejemplo
Algn casado es no feliz x es casado y no es feliz
Cx: Casados
Fx: Felices

FORMAS ADICIONALES Y SU REPRESENTACIN GRFICA

Existen 2 formas adicionales a las formas tpicas que tambin son proposiciones
categricas, las que pueden ser representadas mediante los diagramas de Venn para
lgica de clases, estos provienen de las 2 formas no consideradas en las formas tpicas:
Forma 1 (F1): La conjuncin de la negaciones del sujeto y del predicado: S P .
Forma 2 ( F2): El sujeto negado implicando el predicado S P (S ) P S P .

F1.- Interseccin de complementos.- En su forma normal: S P

S P

Algn 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.- Reunin 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

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 tpicas y las formas adicionales de proposiciones
categricas, debemos de tomar en cuenta que siempre el conector lgico que relaciona
sujeto con el predicado, cuando aparece:
Un cuantificador existencial es la conjuncin.
Un cuantificador universal es la implicacin.

Ejercicios
Graficar las siguientes proposiciones categricas:

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
(xFx x Ex ) O
(xFx) x Ex
xFx xEx O
x(Fx Ex) O
x( Fx Ex) O A Forma moderna
Todo futbolista es educado
( FoE ) FaE Forma clsica

F
E
 Todo futbolista es educado.

Nota.- Las expresiones verbales diferentes de un no explcito que aparecen al inicio

de un bloque del enunciado de una proposicin o una proposicin categrica niegan
a todo lo que est contenido en ese bloque, por lo general se omite entonces la coma
de separacin 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)) (xMx xCx)
(xMx) (xCx) Forma moderna
xMx xCx x( Mx Cx) I Forma clsica
(MeC ) MiC

M C

Algn maestro es chofer.

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

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

Mx: Maestros
Ax: Agricultores
x(Mx Ax) x( Ax Mx) O
Forma clsica: AoM
Forma Normal: A M
M A

x
 CUADRO DE BOECIO
Tambin llamado cuadro oposicin tradicional, en ste aparecen las proposiciones
categricas tpicas: A, E, I, O, que tiene el mismo sujeto y el mismo predicado, las
cuales mantienen entre s las llamadas relaciones de oposicin.

Oposicin.- Son las variaciones de cantidad de universal a particular o viceversa o de

calidad de afirmativa a negativa o viceversa, al compararse dos proposiciones
categricas.

Subalternante de I Subalternante de O
Contrarias
A E

I O
Sub contrarias
Subalterno de A Subalterno de E

ESQUEMA DE LAS RELACIONES DE OPOSICIN

Leyes lgicas
Oposicin Proposiciones Cantidad Calidad
(Valores de verdad)
A E Nunca pueden ser ambas
Contrarias , Igual Diferente
E A verdaderas
I O Tienen valores inversos o
Sub contrarias , 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
Subalternas , Diferente Igual
A O verdaderas como falsas
A O Ambas pueden ser falsas,
Sub alternantes , Diferente Igual
I E pero no verdaderas

Ejemplos:
Dadas las proposiciones categricas, simbolizarlas y hallar sus relaciones de oposicin:
1.- No es cierto que cada alumno sea bien educado
Ax: Alumno
Bx: Bien educado
x( Ax Bx) x((Ax Bx))
x( Ax Bx)) :O
Algunos alumnos no son bien educados.

Tiene tres relaciones de oposicin, de contradiccin, sub alternacin y sub contraria:

Contradictoria: A : x( Ax Bx))
Todo alumno es bien educado
 Sub contraria: I : x( Ax Bx))
Existen alumnos bien educados
Sub Alternante: E : x( Ax Bx))
Todo alumno no es bien educado
Ningn alumno es bien educado

2.- Ningn juez es honesto

Jx: Juez
Hx: Honesto
x( Jx Hx) : E
Forma clsica: FeH

Contraria: A : x( Jx Hx)
Todos los jueces son honestos.
Contradictoria I: I : x( Jx Hx)
Algunos jueces son honestos
Subalterna: O : x( Jx Hx)
Algunos jueces no son honestos

3.- Todo aquel que es varn es mentiroso

Vx: Varones
Mx: Mentirosos
x(Vx Mx) :A
Forma moderna: V M

Contraria: E : x(Vx Mx)

Ningn varn es mentiroso
Contradictoria: O : x(Vx Hx)
Algn varn no es mentiroso
Subalterno: I : x(Vx Hx)
Uno que otro varn es mentiroso

EQUIVALENCIAS DE PROPOSICIONES CATEGRICAS

Dada una proposicin categrica, 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: Interseccin 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: Reunin 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 categricas:
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 no son estudiosos y son ambientales.

2.- Todo cientfico no es fsico

Cx: Cientficos
Fx: Fsicos
x(Cx Fx)
a) x( Fx Cx) : Todo fsico no es cientfico.
b) x(Fx Cx) : Todos, no son cientficos o no son fsicos.
c) x(Cx Fx) : Todos, no son fsicos o no son cientficos.
d) x(Cx Fx) : Es absurdo que existan cientficos que son fsicos.
e) x( Fx Cx) : Es falso que algn fsico es cientfico.

NEGACIONES DE PROPOSICIONES CATEGRICAS

Tomando en cuenta las relaciones de oposicin, al negar una forma tpica nos resulta su
contradictoria, lo mismo que la negacin del contradictorio nos resultar la proposicin
categrica; as tambin la negacin de la forma adicional F1 nos resultar la forma
adicional F2 o viceversa, es decir la negacin de la interseccin de complementos es la
reunin de clases y la negacin de la reunin de clases es la interseccin 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)
( F 2) (x(Sx Px)) (x(Sx Px))
6- :
F1 x(Sx Px) x(Sx Px)

Ejemplos:
Negar las siguientes proposiciones categricas:
1.- Ningn poltico es honesto.
Px: Poltico
Cx: Corruptos
 E : x( Px Cx)
Como su contradictorio es I : x( Px Cx)
Su negacin es: Algunos polticos son honestos.

2.- Todos los que no son abogados son corruptos

Ax: Abogados
Cx: Corruptos
F1: x(Px Cx)
Como su negacin resulta F 2 : x(Px Cx)
Su negacin es: Existen alguien que no es poltico y no es honesto.