Semana 13 Logica de Clases

CICLO NOVIEMBRE 2022 – MARZO 2023
TEMA 13: LÓGICA DE

CLASES
SEMANA: 13 DOCENTE: MILAGROS HIDALGO LEGOAS
CURSO: RAZ. LÓGICO
PROPÓSITOS DE LA SESIÓN N°12
1. ¿Qué es la Lógica Clasial?

2. Identificar proposiciones en Lógica Clasial
3. Formalización en Lógica Clasial
4. Deducir equivalencias en Lógica Clasial
5. Deducir inferencias en Lógica clasial

¿Qué es una clase?
✓ Por analogía es un conjunto de elementos
✓ Es la extensión del término, es decir los elementos
conformantes de la extensión del concepto.
✓ Una clase es un término y éste es la totalidad
de objetos que dicho término designa.

TIPOS DE CLASES
1) Universal
2) Nula o vacía

1) CLASE UNIVERSAL (símbolo U ó
1) a v –a =1
✓ CONSTITUIDA POR TODOS LOS OBJETOS DEL UNIVERSO
✓ Es llamada universo del discurso.
✓ En ella se representan términos, proposiciones y
argumentos.
U: representación del
universo: 1

2) CLASE NULA O VACÍA ( símbolo 0 ó ɸ)
✓ Aquella clase que no tiene elementos.

Ejemplo: CENTAURO, es un ente mitológico.
No existe, por lo tanto su extensión es nula o vacía
✓ Se representa el conjunto nulo o vacío, por un círculo

sombreado. En este caso S= 0 S= ɸ
U
S

CLASES AL ESTILO JHON VENN
✓ Fue un matemático discípulo de LEONAR EULER que logró representar las
proposiciones categóricas en diagramas.
✓ Todo S es P ✓ Algún S es P
CRITERIOS PARA LOS S P S P
DIGRAMAS x
EL SECTOR
SOMBREADO DEBE
SER IGUAL AL VACÍO
✓ Ningún S es P ✓ Algún S no es P
EL SECTOR DONDE SE S P S P
ENCUENTRA LA “X” x
DEBE SER DIFERENTE
DEL VACÍO

Para tener en cuenta
Es importante que tengamos en cuenta esta información pues nos servirá hasta el final del
curso:
símbolo Se lee Se simboliza en Para ir a los Se representa

fórmulas diagramas en diagramas
booleanas De Venn
-ꓱ no existe =0
No hay =ɸ Pinta
ꓱ existe ≠ 0 Coloca “x”
hay ≠ɸ
x

Empecemos a determinar fórmulas booleanas:
Algún S es P
Algún S no es P: ꓱx(S&- P)
ꓱx(S&P): lógica cuantif. S  -P  
ꓱ: EXISTE: HAY: ≠ 0: ≠ ɸ ꓱ: EXISTE: HAY: ≠ 0: ≠ɸ

S está afirmado S está afirmado
P está afirmado -P ( está negado):
S P  : S P   fórmula - P:COMPLEMENTO DE P: P´: P: -P
booleana S -P   S P´   S P  
Recuerda: &: :x SP
Empecemos a graficar y determinar fórmulas booleanas:
Pocos no S no son P:
ꓱx(-S&-P) Casi todo no S es P ꓱx(-S&P)
ꓱ: EXISTE: HAY: ≠ 0: ≠ ɸ ꓱ: EXISTE: HAY: ≠ 0: ≠ ɸ
- S ( S está negada o con su - S : S está negada o con su
complemento) complemento
- P (está negado o con su P está afirmado
complemento)
-SP   S´P  
-S -P   S  P
S´P
S´ P´   S´P´  
Veamos ahora las gráficas en diagramas De Venn
Algún S es P S 2 4 P
1 3
ꓱx(S&P) Tenemos 4 zonas:
ꓱ: se lee hay:  : coloca “x” S P  

S P   Coloca “x” en lo que es de S y P a la
(S&P): REPRESENTADO EN: S P vez; tal zona es la 3, por ello en dicha
zona colocamos “x”
Se lee: coloca “x ” , en lo que S x P

es de S y P a la vez
Pocos no S no son P S 2 4 P
1 3
ꓱx(- S&- P) Tenemos 4 zonas:
ꓱ: se lee hay:  : coloca “X” S´ P ´  S´ P´  

Coloca “x” en lo que no es de S y
(-S&- P): REPRESENTADO EN: -S-P no es de P a la vez; tal zona es la
1, por ello en dicha zona
S P colocamos “x”
S P
Se lee: coloca “x ” , en lo que x
no es de S y no es de P a la vez
Casi todo no S es P S 2 4 P
1 3
ꓱx(- S& P) Tenemos 4 zonas:
ꓱ: se lee hay:  : coloca “X” S´ P   S´ P  

Coloca “x” en lo que es de P y no
(-S&P): REPRESENTADO EN: -S P es de S; tal zona es la 4, por ello
en dicha zona colocamos “x”
S P
S x
P
Se lee: coloca “x ” , en lo que
es de P y no es de S
REPRESENTACIÓN DE DIAGRAMAS DE JHON VENN EN
ECUACIONES BOOLEANAS.
Diagramas con dos clases interceptadas
S P S P S P S P
x x x
x
SP   S-P   -SP   -S-P  

Para tener en cuenta
Es importante que tengamos en cuenta esta información pues nos servirá hasta el final del
curso:
símbolo EQUIVALE Se lee Se simboliza en Se lee Se representa

diagramas en diagramas
De Venn
-ꓱ no existe =0
No hay =ɸ Pinta

ꓱ existe ≠ 0 Coloca “x”
≠ɸ
x
-

Veamos las fórmulas booleanas
Todos los S son P S P´= 
x( S→ P) S-P=
 : -ꓱ: se lee: no hay: = : pinta S P =
Cuando tengamos una expresión universal, el sujeto va igual

y el predicado cambia de signo, al transformarlo en su
fórmula booleana.
COMPROBEMOS:
x( S→ P)
x( - SV P)…. Def. de implicador
- ꓱx(S & -P)…L.D.M
S∩ P´ =0

Todos los S son P S P´= 
x( S→ P) S-P=
Leemos S P´=  S P =
Pinta S que no es de P S P

Veamos fórmulas booleanas
Todos los no S son P S´ P´= 
x( -S→ P ) S´ - P = 

fórmula booleana.

Todos los no S son P S´ P´= 
x( -S→ P) S´ - P = 
S P =
Nos manda pintar lo que no
es de S y no es de P a la vez
S P

Veamos las fórmuas booleanas
Ningún S es P S P= 
x( S→ - P) S P = 

fórmula booeleana.

Ningún S es P S P= 
x( S→ -P) S P = 
Nos manda las fórmulas que

pintemos lo que es de de S y P a
la vez.

Veamos las fórmuas booleanas
Todos los no S no son P -S P= 
x( -S→ -P) S´ P = 

fórmula booeleana.

Todos los no son S no son P -S P= 
x( -S→ -P) S´ P = 
S P
La fórmula nos manda que
pintemos P que no es de S
Pasos para la Demostración de inferencias inmediatas
en lógica tradicional mediante diagramas De Venn:
1) Representar con fórmulas booleanas la premisa y la conclusión.

2) Leer la gráfica de la conclusión en la gráfica de la premisa, de suceder
ésto, significa que la inferencia es válida o correcta, es decir esa premisa y
esa conclusión hacen correcto el argumento.
Ejemplo: Determinar la validez del siguiente argumento:
Si todos los S son P entonces es falso que Algunos S no son P

Ejemplo: Determinar la validez del siguiente argumento:
Si todos los S son P entonces es falso que algunos S no son P

Si todos los S son P entonces Es falso que algunos S no son P
x( S→ P) → - ꓱx( S& -P)
SP´= 0 → S P´= 0 Se lee pintada la zona 2,
la zona exclusiva de S,
2) Leer la gráfica de la conclusión en la gráfica de la premis en la conclusión y
S P´= 0 → S P´= 0 también en la premisa
S P S P
→
3) La inferencia es válida pues la conclusión se lee en la gráfica de la premisa.

Analicemos
SP´= 0 → S P´= 0
La premisa y la conclusión son equivalentes, por tanto si
premisa y conclusión son EQUIVALENTES, la inferencia es
VALIDA.

¿Qué sucede si premisa y conclusión en
la inferencia no son equivalentes?
En este caso nos queda una alternativa:
USAR CONTENIDO EXISTENCIAL

Contenido existencial.
- Se usa para demostraciones en lógica de clases.

- Se demuestran mediante este recurso inferencias.
- Se demuestran con Contenido Existencial (C.E), algunas
de las inferencias en lógica tradicional, ahorrándonos
mucho tiempo al determinar las conclusiones posibles.

Demostremos la validez de una inferencia usando
Contenido existencial (C.E)
El determinar la validez de la inferencia implica que a
dicha premisa le corresponde la conclusión, es decir que
como conjunto ambas hacen un argumento válido o
correcto.

Contenido existencial.
El C.E tiene una condición para su uso:
La premisa debe ser universal y la conclusión particular
x( S→ P): premisa:
ꓱx( S& P):conclusión

Pasos para la aplicación del
contenido existencial (C.E)
2) Leer la gráfica de la conclusión en la gráfica de la premisa, DE NO LEERSE ALLÍ APLICAMOS EL
CONTENIDO EXISTENCIAL, siempre y cuando la inferencia cumpla la condición antes
mencionada, es decir, la premisa debe ser universal y la conclusión particular.
3) En el contenido existencial debemos determinar la premisa existencial, la misma que está
constituida por la clase que se repite igual entre premisa y conclusión.
Nota: Solo debe haber una premisa existencial, de lo contrario la inferencia es inválida.
Ejemplo: Demostrar la validez de la siguiente inferencia:
Si todos los S son P entonces Algunos S son P

Demostrar la validez de la siguiente inferencia:
Si todos los S son P entonces Algunos S son P
x ( S→ P) → ꓱ x( S& P)
S P´= 0 → S P ≠ 0
Leer la gráfica de la conclusión en la gráfica de la premisa,
SP´= 0 → S P ≠ 0
S P S P
→ x
3) La “x” no se lee en la premisa, por tanto analizamos la posibilidad de usar Contenido

existencial.

Aplicamos contenido existencial al ejemplo
propuesto
S P´ = 0 → S P ≠ 0
S P S P
x
→
Como “x” no se lee en la premisa, por tanto analizamos la posibilidad de usar Contenido
existencial. Veamos, la premisa es universal y la conclusión particular, por tanto si es
posible usarlo.Para ello seguimos el siguiente proceso:
a)Determinar la premisa existencial (se ubica la clase que se repite “igualita” en la premisa
y conclusión. Para nuestro caso, quien se repite es: S. Asumimos S ≠ 0.
b) Ubicar dicha “x” en la gráfica de la premisa y volver a leer la conclusión en la premisa

Aplicamos contenido existencial al ejemplo
propuesto
S P´= 0 → S P ≠ 0
Se lee “x” en la zona 3,
de la conclusión y
→. también en la premisa
S P P
x S x
Ubicamos S ≠ 0 en la premisa, en la zona donde estaba ubicada en la conclusión

Ubicar dicha “x” en la gráfica de la premisa y volver a leer la conclusión en la premisa.
La inferencia es válida por CONTENIDO EXISTENCIAL, pues luego de aplicarlo, la conclusión se lee en la
premisa.

Veamos otro ejemplo propuesto:
S P´= 0 → SP= 0
S P →
¿Son equivalentes? No
¿Si no son equivalentes, qué recurso podemos usar? Podemos usar contenido existencial (C.E).
¿Podemos aplicar contenido existencial? Recuerda que la condición es premisa universal y conclusión
particular.
Para el presente ejercicio NO podemos usar contenido existencial, por tanto la inferencia es inválida, lo
que significa que a esta premisa no le corresponde la conclusión.

S P =0 → S P≠ 0 Se lee “x” en la zona 3,

de la conclusión y en la
S P premisa dicha zona la
x tiene vacía
→
¿Si no son equivalentes, qué recurso podemos usar? Podemos usar contenido existencial (C.E).
¿Podemos aplicar contenido existencial? Recuerda que la condición es premisa universal y conclusión particular.
Para el presente ejercicio si podemos usar contenido existencial, pero hay una condición solo debe haber una
Premisa Existencial (P.E), por tanto como habría dos premisas existenciales:
S≠ 0 y P ≠0
Hace la inferencia inválida, pues el hecho de que hayan dos premisas existenciales origina que se descarte el
uso del C.E., y la INFERENCIA SEA INVALIDA

SP≠ 0 → S P´= 0
S P S P
x
→
¿Si no son equivalentes, qué recurso podemos usar? Ninguno, pues recordemos que el
contenido existencial se usa solo cuando la premisa es universal y conclusión particular.
Haciendo la inferencia inválida.

S´ P= 0 → S P´ ≠ 0
¿Si no son equivalentes, qué recurso podemos usar? Si podemos usar contenido existencial
¿Cuál es la premisa existecial? NO HAY, LO CUAL ORIGINA QUE SE DESCARTE EL USO DEL CONTENIDO
EXISTENCIAL.
Haciendo la inferencia inválida.

Para tener en cuenta:
Nadie es admitido en la sala a no ser que sea bien

educado
Al formalizarlo obtenemos:
Nadie: x -(
Es admitido en la sala: A
A no ser que: V (disyuntor débil)
Bien educado: E
Nadie es admitido en la sala a no ser que sea bien educado

x - (A v E)
x - (A v E)

Para tener en cuenta:
Unicamente Los seres son Inteligentes
humanos
Solo S I
Tan solo
x (S  I)
Los términos: únicamente, solo, tan solo originan que el implicador que va
con el universal se convierta en un replicador
Hasta ahora hemos visto esta situación:

Los seres humanos son inteligentes:
x (S → I)
Resumen de contenido
existencial
Entre la premisa y la conclusión solo debe repetirse una -SP = 

premisa existencial, luego de cumplir CON LA CONDICIÓN
de que la premisa sea universal y la conclusión particular: SP  
-S-P  
SP =  -S-P = 
-SP   S-P  
S-P   -SP  

Sigamos practicando:
De la proposición: “Es inaceptable que algunos congresos no sean
unicamerales” (premisa)
Se infiere/ se colige/ implica/ se concluye:
1) Algunos congresos son unicamerales.
2) Algunos no son congresos ni son unicamerales.
3) Ningún congreso no es unicameral.
4) Casi no hay congresos unicamerales.
5) Ningún no unicameral sea congreso.
Son ciertas:
A) Solo 1, 3 y 5 B) Solo 1, 3 y 4 C) Solo 2, 4 y 5
B) Todas E) Solo 2, 3 y 5

Sigamos practicando: apliquemos lo que hemos
aprendido:

unicamerales”: -ꓱx( C & - U ) → C U´ = 0: PREMISA
Se infiere:
1) Algunos congresos son unicamerales. ꓱx( C & U ) : C U ≠ 0: POSIBLE
CONCLUSION
Preguntas:
a) ¿Son equivalentes? No
b) ¿Puedo aplicar C.E? Si
c) Cuál es la premisa existencial?
d) Solo hay una?

Sigamos practicando: apliquemos lo que hemo
aprendido:

unicamerales” -ꓱx( C & - U ) → C U´ = 0
Se infiere:
Alternativa 2 : Algunos que no son congresos no son unicamerales: C´ U ´ ≠ 0
a) Son equivalentes? No
b) Puedo aplicar C.E? Si
d) Solo hay una?

aprendido:

unicamerales” -ꓱx( C & - U ) → CU´ = 0
Se infiere:
Alternativa : Ningún congreso no es unicameral.ꓯx (C → - - U) : C U´ =0
a) Son equivalentes? SI
b) POR LO TANTO LA INFERENCIA ES VÁLIDA

aprendido:
unicamerales” -ꓱx( C & - U ) → CU´ = 0
Se infiere:
Alternativa4 : Casi no hay congresos unicamerales : ꓱx( C & U ): C U ≠ 0
a) Son equivalentes? No
b) Puedo aplicar C.E? Si
d) Solo hay una?

aprendido:
unicamerales” -ꓱx( C & - U ) → C U´ = 0
Se infiere:
Alternativa 5 : Ningún no unicameral sea congreso:
ꓯx (- U→ - C) : U´ C = 0
a) Son equivalentes? Si
Por lo tanto son equivalentes, lo cual hace que esta alternativa le corresponda
como conclusión, haciendo el argumento válido o correcto.

REPRESENTACIÓN DE DIAGRAMAS DE VEEN CON UN
PREDICADO O CON UNA SOLA CLASE
P P
P= -P=
Pintado: = ɸ : -ꓱ: NO EXISTE = ɸ : -ꓱ: NO EXISTE

NO HAY NO HAY
P está afirmado P está negado: complemento de P: P´: -P
Se lee: No hay en P Se lee: No hay en el complemento de P
-ꓱx(-P) :P´ = : ꓯx(P)
-ꓱx(P) :P = : ꓯx(-P)
Todo es P
ninguno es P
REPRESENTACIÓN DE DIAGRAMAS DE VEEN CON UN
PREDICADO O CON UNA SOLA CLASE
P P
-P   P´   x P
x
  : ꓱ: EXISTE
HAY   : ꓱ: EXISTE
P está NEGADO: P´ HAY
Se lee: Existe en el complemento de P P está afirmado: P
Existe “x” en el complemento de P Se lee: Existe en P
Existe “x” en P
-P  : ꓱx(- P): -ꓯx(P)
P  : ꓱx( P): - ꓯx(-P)
VEAMOS EQUIVALENCIAS EN LÓGICA CLASIAL.
-(SP  )
-(SP  )  SP =  -(SP )   -S-P  
S x P
1 2 3 2 x
1 3
4 x
4
-S-P  :
Se lee coloca “x” en lo que está fuera de S (3;4)
y únelo anotando “x” en lo que está fuera de P
(1;4)
EQUIVALENCIA EN LÓGICA CLASIAL.
-(SP´  )
-(SP´  )  SP´ =  -(SP´ )   -SP  
P S P
S x x
-SP  :
Se lee coloca “x” en lo que está fuera de S y únelo
anotando “x” en lo que es P

EQUIVALENCIAS EN LÓGICA CLASIAL.
-(- S - P  )
-(-S - P  )  S´P´ =  -(S´P´  )  SP  
S P S x x x
P
1 2 3 2
1 3 4
SP  :
Se lee coloca “x” en lo que es de S (1;2) y únelo
anotando “x” en lo que es P (2;4)

-(- S - P = )
-(-S - P = )  S´P´   -(S´P´  )  SP = 
S P
S P
X
SP = :
Se lee : Pinta S y únelo con P

-( S - P = )
-(S - P = )  S-P   -(S-P = )  - SP = 
S xX
P
SP = :
Se lee : Pinta S y únelo con lo que no es de P.

REPRESENTACIÓN DE DIAGRAMAS EQUIVALENTES
S P S P S P
x x
x
-S- P  
-SP   equivale a: SP   equivale a:
equivale a:
S P S P P
SU P =  SU-P= S´ U P´ = 

REPRESENTACIÓN DE DIAGRAMAS EQUIVALENTES
P
S U - P =  se representa:
se lee:

CONCLUYAMOS:
-(SP  ) EQUIVALE A: -(SP  )equivale a:
SP =  SP = 
-S-P   -S-P  
-(S-P = ) equivale a: SP   equivale a:
S-P   -(-S-P  )
-S-P = 
-SP =  SP =  equivale a:
-(-S-P = )
-S-P  
fanfarrón no es un no charlatán”, se
simboliza:
-ꓯx(- F → - - -C) : -ꓯx(- F → -C)

A) -F C   -F  C  
B) C  -F = 
C) – (C  F = )
D) -C F  
E) C U F= 

EJERCICIOS
La proposición:
“Cualquiera de los peruanos si no son
ꓯx (- L → - T) L : A T:B
liberteños en consecuencia son no
trujillanos”, equivale a:
-L T =   -A  B = 
1) -A -B= 2) -A B = 
3) -A.A.B =  4) (-A e B) 3) -A.A.B=   -A& A&B= 
5) – (-AoB)  0B= 0
Son no incorrectas:
A) 1 y 3 B) 2 y 5 C) 2 y 4 D) 1 y 2 E) Solo 2
4) -AeB: ꓯx (- A→ - B) -AB= 
5) -(-AoB) -ꓱ(-A&-B) : A ´B´=

EJERCICIOS
El diagrama: -S-P 
1) (-Si-P) : ꓱ(-S&-P): -S  -P  
2) No hay inferencia
Representa a:
3) SP=  -S-P , es su
1) La fórmula: (-S i -P)
2) Una inferencia con ley del contenido existencial
3) La fórmula:S U P = 
4) La fórmula:S – P =  equivalente, no su
5) Una proposición categórica típica
No son falsas:
representación
A) 1, 2 y 5
C) Solo 1 y 3
B) 1, 3 y 5
D) Solo 1 E) 3, 4 y 5
4) S-P =   S-P= 
5) No es típica
-SP= 
8. El diagrama:
S P
U
A) -(S-P )  S -P = 
Donde:
S= Rinoceronte
B) - - ꓯx (S→P): ꓯx (S→P): S-P = 
P=Vertebrado C) x(– P v S): x(S v – P): x(– S →-P): -S  P
Representa a:
Si es correcta
A) La fórmula: -(S. -P )
B) Es inobjetable que, los rinocerontes
son verazmente vertebrados. D) - ꓱx(S& - P): S -P = 
C) A la fórmula: x(– P v S)
D) Hay por lo menos un rinoceronte que E) No es un diagrama de Euler.
no es vertebrado, negado totalmente
E) Un diagrama de Euler

Ejercicios
9. El diagrama:
S
Donde: P
S= Aves P
P=Papagayo
Representa el complemento de:
A) Bastantes aves son papagayos.
B) Ni al menos una ave es papagayo.
C) Es absurdo que haya aves que no son papagayos: -( SP´ 0)
D) Cualquiera no es ave excepto que no sea papagayo.
E) Todos son papagayos
C) -(S-P )  S-P = 

A) SP 
B) -(SP  )  S P =  D) -Sv-P  S→-P  SP= 
E) -P = 
Ejercicios
El diagrama: S
P
Donde: P determinamos quién es su equivalente S P
S= Aves x
P=Papagayo
 S -P  
A partir del equivalente obtenemos el

original: - SUP=
 S -P = 
Su complemento es la negación de:  -SU P ≠ 
-(-SU P =)
Recuerden:
El equivalente en diagramas de Venn está dado en lo opuesto:
equivalente de pintado esta en función a “X”
equivalente en “x” esta en función a sombreado/ PINTADO
equivale a:
S P

Recuerden:
El complemento en diagramas de Venn está dado en
una gráfica de la misma naturaleza:
complemento de pintado esta en función a pintado
complemento en “x” esta en función a “x”
su complemento es
S P
x x x

EJERCICIOS
Si la premisa de un argumento es:
– (A e B) y la conclusión es: – (B  A = ), se puede
-(AeB) : - ꓯx (A→-B): AB 
decir que:
1) El argumento es no inválido… V
2) Premisa y conclusión son equivalentes…V
3) En la fórmula booleana de la conclusión: “La
-(B  A = ): AB  
intersección de B con A tiene x”…..V
4) La conclusión es correcta… F (el arg. Es correcto, no AB 
la conclusión)
5) La conclusión es válida….F(ver anterior explicación) AB 
Son indefectiblemente falsas, excepto:
A) Solo 1, 2 y 3 B) Solo 3, 2 y 4
C) Solo 2 D) Todas E) Solo 4 y 5

EJERCICIOS
Del diagrama:
Donde: C F
CF= 
C = Cantantes x x C-F 
F = Filósofos
Se infiere: x
-CF 
1) Jamás se da que haya cantantes que sean filósofos
2) Casi ninguno de los cantantes es definitivamente filósofo
1) –(CF) CF= 
3) Algunos de los que son filósofos no corresponde con que 2) CF 
sea cantantes
5) Quienquiera que sea filósofo es también compatible con que 3) C-F 

4) Pocos de los cantantes cumplen con ser filósofos
sea cantante
Son falsas: 4) CF 
A) Sólo 1, 2 y 5 B) Sólo 2 ,4 y 5
C) Sólo 1, 3 y 4 D) Sólo 2, 3 y 5 E) Todas 5) C-F= 
C
21. Del diagrama: F
Donde: x x
C = Cantantes
CF= 
x
F = Filósofos
Se infiere:
C F
C-F 
x x
equivale a:
DE LA EQUIVALENCIA -CF 
PODEMOS SE INFERIR :
x
CꓵF = 0
- CU - F  0

CF= 
C-F 
-CF 
1) –(CF) CF=  3) C-F 

2) CF  4) CF 
5) C-F= 

CLASES AL ESTILO LEONAR EULER
✓ Fue un matemático de la edad moderna que logró representar las
proposiciones categóricas en diagramas.
✓ Algún S es P
✓ Todo S es P ✓ Ningún S es P
S P
P x
S P
S
✓ Algún S no es P
S P
x

OPERACIONES ENTRE CLASES
1) UNIÓN ( U)
2) INTERCEPCIÓN (ꓵ )
3) COMPLEMENTO ( ´ )
4) DIFERENCIA ( - )
EN LAS OPERACIONES HAY UNA RESPUESTA QUE SE INDICA CON “X”

EN LA ZONA/S QUE OCUPA DICHA RESPUESTA.

LA GRAFICA LO DETERMINA
LA REALIDAD

UNION ENTRE CLASES:
Mamífero
A U B = { x/x ƹ A V x ƹ B}
Ejemplo: A= MAMÍFERO BALLENA
B= BALLENA
x
A UB = MAMÍFERO Y BALLENA x
MAMÍFERO
Nos damos cuenta que hay “x” en toda la extensión de mamífero por esto la
rpta correcta es: mamífero, pues las “x” están en toda su extensión.

UNION ENTRE CLASES:
AU B = { x/x ƹ A V x ƹ B} SERPIENTE BALLENA
Ejemplo:
A = SERPIENTE
x x
B = BALLENA
A UB = SERPIENTE Y BALLENA.
Nos damos cuenta que la “x” está tanto en serpiente y en ballena, pues son clases
disjuntas, cuando esto sucede, SE UNE A LAS CLASES CON LA EXPLICITACIÓN “Y”,
EN LA UNION.

UNION ENTRE CLASES:
ABOGADOS
A U B = { x/x ƹ A V x ƹ B} PROFESORES
Ejemplo:
A = ABOGADOS
x x x
B = PROFESORES
A UB = ABOGADOS Y PROFESORES
Nos damos cuenta que la “x” está tanto en ABOGADOS, PROFESORES Y LA PARTE
COMÚN, cuando esto sucede, SE UNE A LAS CLASES CON LA EXPLICITACIÓN “Y”, EN
LA UNION.

INTERSECCIÓN ENTRE CLASES:
A ꓵ B = { x/x ƹ A & x ƹ B} Mamífero
Ejemplo:
BALLENA
A= MAMÍFERO
B= BALLENA x
A ꓵ B = MAMÍFERO BALLENA
BALLENA
Nos damos cuenta que “x” la ubicamos en la parte común de ambas clases,
por eso la respuesta más adecuada es “ballena” que es donde está la parte
común entre ellos.
Para la respuesta simplemente se unen las clases sin conector alguno.

INTERSECCIÓN ENTRE CLASES:
ABOGADOS
A ꓵ B = { x/x ƹ A & x ƹ B} PROFESORES
Ejemplo:
A = ABOGADOS x
B = PROFESORES
A ꓵ B = ABOGADOS PROFESORES
Nos damos cuenta que HAY UNA PARTE COMÚN DONDE DEBE ESTAR LA
RESPUESTA DE LA INTERSECCIÓN

INTERSECCION ENTE CLASES
A ꓵ B = { x/x ƹ A & x ƹ B}
SERPIENTE BALLENA
Ejemplo:
A = SERPIENTE
B = BALLENA
AꓵB=0
BALLENAS OVÍPARAS: NO EXISTEN =0
SERPIENTE BALLENA =0
Nos damos cuenta que NO HAY ZONA COMÚN ENTRE AMBAS CLASES POR ELLO LA RESPUESTA
ES EL VACÍO
C) CLASE COMPLEMENTO
✓ Si una clase corresponde a un término dado, entonces su clase

complemento corresponderá a lo que está fuera de su
extensión, o del espacio que ocupa.
Ejemplo: CLASE: S
S: vertebrado
Su complemento es: -S: invertebrado
no vertebrado U
S
CLASE
X
COMPLEMENTO -S

DIFERENCIA ENTRE CLASES:
A ꓵ - B = { x/x ƹ A & x ƹ B} Mamífero
A–B
BALLENA
A& -B: A B´
Ejemplo:
x
A= MAMÍFERO
B= BALLENA
A - B = MAMÍFERO NO BALLENA
Nos damos cuenta que “x” la ubicamos en la parte EXTERNA A BALLENA,

por eso la respuesta adecuada es “MAMÍFERO NO BALLENA”

DIFERENCIA ENTRE CLASES
A ꓵ - B = { x/x ƹ A & x ƹ B}
SERPIENTE BALLENA
A- B
Ejemplo: x
A = SERPIENTE
B = BALLENA
A ꓵ - B = SERPIENTE
A- B=
Nos damos cuenta que NO HAY ZONA COMÚN ENTRE AMBAS CLASES POR ELLO LA
RESPUESTA ES CLASE “SERPIENTE”

DIFERENCIA ENTRE CLASES:
A ꓵ- B = { x/x ƹ A & x ƹ B} ABOGADOS
PROFESORES
Ejemplo:
A = ABOGADOS x
B = PROFESORES
A ꓵ -B = ABOGADOS NO PROFESORES
A- B
Nos damos cuenta que ABOGADO, tiene una parte exclusiva donde estaría la
respuesta.

RELACIONES ENTRE CLASES
1) INCLUSION
2) EXCLUSION
3) IGUALDAD
En las relaciones entre clases, solo queda indicado

dicho vínculo; sin que aparezca “x”

RELACION INCLUSION
Todo S es P
Sᴄ P = { x/x ƹ S → x ƹ P}
S→P
Ejemplo:
Todos los perros son mamíferos:
P ᴄ M: ꓯ (P→ M): PaM
P→M PM´= 0
RELACION EXCLUSION
Ningún S es P
Sᴄ P = { x/x ƹ S → x ƹ P}
Ejemplo:
Ningún pez es mamífero
P ᴄ M : ꓯx (P→- M): PeM
P→-M PM=0

RELACION IGUALDAD
Todo son S si y solo si son P
S P
(S= P) = { x/x ƹ S ↔ x ƹ P}
S↔P
Ejemplo:
Todos son hombres si y solo si son seres humanos.
H = S: ꓯ (H ↔ S): H↔S

SEGUIMOS EN
CARRERA NO
DESMAYES, SIGUE DANDO
FALTA POCO
LO MEJOR DE
CADA DÍA ES UN NUEVO RETO
ASÚMELO… TI…

Semana 13 Logica de Clases

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Semana 13 Logica de Clases

Cargado por

Copyright:

Formatos disponibles

CICLO NOVIEMBRE 2022 – MARZO 2023

TEMA 13: LÓGICA DE

1. ¿Qué es la Lógica Clasial?

CICLO NOVIEMBRE 2022 – MARZO 2023

CICLO NOVIEMBRE 2022 – MARZO 2023

CICLO NOVIEMBRE 2022 – MARZO 2023

CICLO NOVIEMBRE 2022 – MARZO 2023

✓ Aquella clase que no tiene elementos.

✓ Se representa el conjunto nulo o vacío, por un círculo

CICLO NOVIEMBRE 2022 – MARZO 2023

CICLO NOVIEMBRE 2022 – MARZO 2023

símbolo Se lee Se simboliza en Para ir a los Se representa

CICLO NOVIEMBRE 2022 – MARZO 2023

ꓱ: EXISTE: HAY: ≠ 0: ≠ ɸ ꓱ: EXISTE: HAY: ≠ 0: ≠ɸ

ꓱx(S&P) Tenemos 4 zonas:

ꓱ: se lee hay:  : coloca “x” S P  

Se lee: coloca “x ” , en lo que S x P

ꓱx(- S&- P) Tenemos 4 zonas:

ꓱ: se lee hay:  : coloca “X” S´ P ´  S´ P´  

ꓱx(- S& P) Tenemos 4 zonas:

ꓱ: se lee hay:  : coloca “X” S´ P   S´ P  

SP   S-P   -SP   -S-P  

CICLO NOVIEMBRE 2022 – MARZO 2023

símbolo EQUIVALE Se lee Se simboliza en Se lee Se representa

CICLO NOVIEMBRE 2022 – MARZO 2023

Cuando tengamos una expresión universal, el sujeto va igual

CICLO NOVIEMBRE 2022 – MARZO 2023

CICLO NOVIEMBRE 2022 – MARZO 2023

Cuando tengamos una expresión universal, el sujeto va igual

CICLO NOVIEMBRE 2022 – MARZO 2023

CICLO NOVIEMBRE 2022 – MARZO 2023

Cuando tengamos una expresión universal, el sujeto va igual

CICLO NOVIEMBRE 2022 – MARZO 2023

Nos manda las fórmulas que

CICLO NOVIEMBRE 2022 – MARZO 2023

Cuando tengamos una expresión universal, el sujeto va igual

CICLO NOVIEMBRE 2022 – MARZO 2023

1) Representar con fórmulas booleanas la premisa y la conclusión.

CICLO NOVIEMBRE 2022 – MARZO 2023

1) Representar con fórmulas booleanas la premisa y la conclusión.

3) La inferencia es válida pues la conclusión se lee en la gráfica de la premisa.

CICLO NOVIEMBRE 2022 – MARZO 2023

CICLO NOVIEMBRE 2022 – MARZO 2023

En este caso nos queda una alternativa:

USAR CONTENIDO EXISTENCIAL

CICLO NOVIEMBRE 2022 – MARZO 2023

- Se usa para demostraciones en lógica de clases.

CICLO NOVIEMBRE 2022 – MARZO 2023

CICLO NOVIEMBRE 2022 – MARZO 2023

x( S→ P): premisa:

ꓱx( S& P):conclusión

CICLO NOVIEMBRE 2022 – MARZO 2023

CICLO NOVIEMBRE 2022 – MARZO 2023

3) La “x” no se lee en la premisa, por tanto analizamos la posibilidad de usar Contenido

CICLO NOVIEMBRE 2022 – MARZO 2023

CICLO NOVIEMBRE 2022 – MARZO 2023

Ubicamos S ≠ 0 en la premisa, en la zona donde estaba ubicada en la conclusión

CICLO NOVIEMBRE 2022 – MARZO 2023

CICLO NOVIEMBRE 2022 – MARZO 2023

S P =0 → S P≠ 0 Se lee “x” en la zona 3,

CICLO NOVIEMBRE 2022 – MARZO 2023

Haciendo la inferencia inválida.

CICLO NOVIEMBRE 2022 – MARZO 2023