Clase V

Lógica Matemática
Juan Esteban Ocampo García
Sábado 24 de abril de 2021
 Cuadro de oposición
:
 Opciones de verdad
Resultados Inferencias
Siendo A verdadera: E es falsa; I es verdadera; O es falsa.
Siendo E verdadera: A es falsa; I es falsa; O es verdadera.
Siendo I verdadera: E es falsa; A y O son indeterminadas.
Siendo O verdadera: A es falsa; E e I son indeterminadas
Siendo A falsa: O es verdadera; E e I son indeterminadas.
Siendo E falsa: I es verdadera; A y O son indeterminadas.
Siendo I falsa: A es falsa; E es verdadera; O es verdadera.
Siendo O falsa: A es verdadera; E es falsa; I es verdadera.

¿Qué puede afirmarse de la verdad o falsedad de las proposiciones restantes de cada uno de los siguientes
conjuntos si se asume que la primera es verdadera?

¿Qué puede afirmarse si se asume que la primera proposición de cada conjunto es falsa?

*1. a. Todos los ejecutivos exitosos son personas inteligentes. Tipo Todo S es P A.
b. Ningún ejecutivo exitoso es una persona inteligente. Tipo Ningún S es P E Falsa – ind.
c. Algunos ejecutivos exitosos son personas inteligentes. Tipo I (Algún S es P) Verdadera -
indeterminada
d. Algunos ejecutivos exitosos no son personas inteligentes. Tipo O Falsa - Verdadera
 Opciones de verdad
¿Qué puede afirmarse de la verdad o falsedad de las proposiciones restantes de cada uno
de los siguientes conjuntos si se asume que la primera es ver dadera?

¿Qué puede afirmarse si se asume que la primera proposición de cada conjunto es falsa?

2. a. Algunos isótopos de uranio son sustancias altamente inestables. Tipo I

b. Algunos isótopos de uranio no son sustancias altamente inestables. Tipo O - Inde
c. Todos los isótopos de uranio son sustancias altamente inestables. Tipo A – Inde
d. Ningún isótopo de uranio es una sustancia altamente inestable. Tipo E Falsa

3. a. Algunos profesores universitarios no dan clases divertidas. c) U I

b. Todos los profesores universitarios dan clases divertidas.
c. Ningún profesor universitario da clases divertidas.
e. Algunos profesores universitarios dan clases divertidas.

a) U I b) U I

x x
 Opciones de verdad
¿Qué puede afirmarse de la verdad o falsedad de las proposiciones
restantes de cada uno de los siguientes conjuntos si se asume que la
primera es falsa?

3. a. Algunos profesores universitarios no dan clases divertidas. Tipo O Falsa

b. Todos los profesores universitarios dan clases divertidas. Tipo A - Verdadera
c. Ningún profesor universitario da clases divertidas. Tipo E - Falsa
e. Algunos profesores universitarios dan clases divertidas. Tipo I - Verdadera

a) U I
x
 Otras herramaientas de inferencias
Inmediatas
• Conversión

Se da al cambiar el término sujeto y el término predicado.

Ej: «Ningún Hombre es Ángel»
H A
«Ningún Ángel es Hombre» a)

Predicado Sujeto

«Algún perro es callejero» «Algún perro no es callejero»

«Algún callejero es perro» «Algún callejero no es perro»
• Son lógicamente equivalentes y por conversión,
cualquiera se puede inferir válidamente de la otra;
excepto una proposición de tipo:

“Algún S no es P” Tipo O Indeterminadas

Ej: «Algunos animales no son perros»

«Algunos perros no son animales»
«
• En el caso de las proposiciones de tipo “Todo S es P” (Tipo A) se
requiere realizar los siguientes pasos:

Ej: “Todos los perros son animales” - “Todos los animales son perros”

“Todos los perros son animales”

Su subalterna
“Algunos perros son animales”
Convergente
“Algunos animales son perros”

Convergencia por limitación

Una combinación de subalternación
y convergencia nos lleva de:

«Todo S no es P» Conversión por

«Algún P es S» limitación
Convergente Conversa
A= Todo S es P Algún P es S
E= Ningún S es P Ningún P es S
I= Algún S es P Ningún P es S
O= Algún S no es P No es válido
 Clases y complementos de clase
• Clase: es un conjunto de elementos que poseen un
atributo en común:
«Característica definitoria de clase»

• Clase complementaria o complemento:

Es la colección de todos los elementos que no pertenecen a la
clase original.
«Personas» «cosas»
«Buenos estudiantes» «malos estudiantes»
Entonces el complemento de S de designa como no S o S’
 Complemento de clase

Complemento de término
Cobarde VS Héroe contrarios
(antónimo)

Cobarde VS no Héroe complementarios

H H’

C
 Obversión
Es una inferencia inmediata
Cambiamos la cualidad (Afi – Neg / Neg – Afi)
Se reemplaza el término predicado con su complemento (el
término sujeto no se cambia, como tampoco la cantidad)
Ej 1: «Todos los residentes son votantes» Tipo A
Equivalentes =
«Ningún residente es no votante»

Cualquiera de las dos puede inferir válidamente

la otra.
 Obversión
Cambiamos la cualidad (Afi – Neg / Neg – Afi)
Se reemplaza el término predicado con su complemento (el
término sujeto no se cambia, como tampoco la cantidad).
Ej 2: «Ningún árbitro es parcial»
Equivalentes =
«Todos los árbitros son no parciales (imparciales)»
Ej 3: «Algunos metales son conductores» Algún S es P Tipo I
Equivalentes =
«Algunos metales no son no conductores»

Ej 4: «Algunas naciones no eran bélicas» Algún S no es P Tipo O

Equivalentes =
«Algunas naciones eran no bélicas»
Obvertiente Obversa
Todo S es P Ningún S es no P
Ningún S es P Todo S es no P

Algún S es P Algún S no es no P
Algún S no es P Algún S es no P
 Contraposición
Es la mezcla entre la conversión y la obversión
1. Se reemplaza su término sujeto con el complemento de su
término predicado.
2. Se reemplaza el término predicado con el complemento del
sujeto.
3. No se cambia ni la cualidad, ni la cantidad.

Ej 1: «Todos los votantes son miembros» Tipo A

Equivalentes =
«Todos los no miembros son no votantes»
 Contraposición
Ej 2: «Algunos estudiantes no son idealistas» Tipo O
Equivalentes =
«Algunos no idealistas no son no estudiantes»

Ej 3: «Algunos ciudadanos son no legisladores» Tipo I

Equivalentes =
«Algunos legisladores son no ciudadanos»

Ej 4: «Ningún luchador es debilucho» Tipo E

Equivalentes =
«Ningún (fuerte) es no luchador»
 Contrapositiva por limitación
Sabemos que de una proposición
universal se infiere una particular
«Ningún S es P» Tipo E
«Algún no P no es no S»
Ej 4: «Ningún luchador es debilucho»
Equivalentes =
«Ningún no debilucho (fuerte) es no luchador»
«Algún no debilucho no es no luchador»
 Bibliografía
• COPI, I. y COHEN, C. (2013). Introducción a la
lógica. LIMUSA. 2da Ed. México.