DEDUCCION NATURAL

INFERENCIAS VÁLIDAS NOTABLES

Las derivaciones o deducción natural consiste
en comprobar que la conclusión señalada se
deriva de las premisas propuestas.
Para estas comprobaciones se utiliza las
equivalencias lógicas y las reglas de
implicancia.
Si no es posible demostrar se considera que el
argumento es inválido
 Prueba directa mediante Modus
Ponens
• Indica que si se afirma el antecedente de una premisa condicional se
concluye en la afirmación del consecuente. (en latín Modo afirmando
Afirma)MP o MPP
• Tienen la siguiente forma: [(p→q)^p]→q

• Ejemplo
• (p →q) Si p, entonces q Si esta soleado, entonces es de día.
•P P Esta soleado.
•┠q Por lo tanto q ES DE DIA
 Ejemplo
• Si Juana tienen problemas para arrancar su automóvil, entonces su
hija Ángela verificara las bujías.
• p = Juana tiene problemas para arrancar su automóvil
• q = Ángela verificara las bujías.
1) p→q
2) P
• -------------
• q MPP
 Prueba directa mediante Modus
Ponens
Se tiene el siguiente argumento:
▪ Si muere su mascota entonces está triste.
▪ Si está triste entonces llora.
▪ Es cierto que muere su mascota.
▪ -----------------------------------------
▪ Por lo cual, llora.
Al formalizar, tenemos las siguientes proposiciones atómicas:
• p: muere su mascota
• q: esta triste
• r: llora
✓ p→q
✓ q→r
✓ p /┠ r
Es necesario comprobar si el resultado es r  llora, para ello se
efectúa una demostración:
1. p → q
2. q → r
3. p /┠ r
4. q MP 1,3
5. r MP 2,4
 Prueba directa mediante Modus
Tollendo Tollens
• Indica que si se niega el consecuente de una premisa condicional, se
concluye en la negación del antecedente (en latín “Negando”
“Niego”) MTT
• Tienen la siguiente forma: [(p→q)^~q]→~p
• Ejemplo
• (p →q) Si p, entonces q Si llueve, entonces las calles se mojan.
• ~q Las calles no se mojan.
• ┠ ~p Por lo tanto ~p Por lo tanto no Llueve
 Prueba directa mediante Modus
Tollens
Demostrar que:
1. (pq)→r
2. r
3. r→(pq) /┠ r
4. (pq) MT 1,2
5. r MT 3,4
Demostrar que:
1. p→r
2. r
3. s→p
4. q →s /┠ q
5. p MT 1,2
6. s MT 3,5
7. q MT 4,6
 Prueba directa mediante Modus
Tolleno Ponen
• Significa “negando, afirmo", si uno de los miembros de una
disyunción es negado, el otro miembro queda automáticamente
afirmado, ya que uno de los términos de la elección ha sido
descartado. MTP
• Tienen la siguiente forma: [(p v q)^~p]→q ó [(p v q)^~q]→p
• Ejemplo
• (p v q) Si p, o q He ido al cine o me he ido de compras.
• ~p ~q No he ido al cine.
•┠q Por lo tanto q Por lo tanto, he ido de compras
 Prueba directa mediante
Simplificación
• Indica que de una premisa conjuntiva se puede concluir en cualquiera
de sus componentes.

• pq pq
• ------ ------
• ┠p ┠q
Aplicar simplificación en la siguiente prueba directa:
• pq
• q→r /┠ r
1. pq
2. q→r /┠ r
3. q Simp 1
4. r MP 2,3
Hemos construido una prueba del argumento:
pq
q→r /┠ r
 Prueba directa mediante Adición

• Expresa el hecho de que si se tiene una proposición verdadera, se

concluye con la disyunción de esta proposición y otra cualquiera.
• A
• ----------
• ∴ AB
• Si entre las premisas existe una proposición, entonces en la conclusión se puede adicionar otra
proposición cualquiera mediante una disyunción.
Ejemplo de Adición:
Sea el siguiente argumento:
(p  q) → (r  s)
r
p  q /┠ s  t
1. (p  q) → (r → s)
2. r
3. p  q /┠ s  t
4. r → s MP 1,3
5. s MP 4,2
6. s  t Adición 5
 REGLA DE ADJUNCION (A) LEY DE
CONJUNCIÓN LC
• teniendo dos premisas y sabiendo que ambas son ciertas podremos
decir que su conclusión va ser cierta.

• P P
• Q Q
• ---- ----
• .: P  Q .: Q  P
 EJEMPLO
• Esta inferencia es valida . Aquella es valida

P: esta inferencia es valida

Q:Aquella es valida

P
Q
______________
P  Q

En conclusión esta inferencia es válida y Aquella es valida

 Ley del Silogismo Hipotetico (HS)
• Indica que la condicional es transitiva.
• Ejemplo:
• Premisa 1. Si el agua se hiela, entonces sus moléculas forman cristales
• Premisa 2. Si las moléculas forman cristales, entonces el agua
aumenta de volumen.
• Conclusión. Si el agua se hiela, entonces aumenta de volumen.
• Simbólicamente sea:
• p: El agua se hiela.
• q: Sus moléculas forman cristales
• r: El agua aumenta de volumen
• Entonces:
• Premisa 1. p → q
• Premisa 2. q → r
• ∴p → r
1. p → ~q
2. ~q → ~s
3. (p → ~s) → ~t
4. r → t / ┠ ~r
5. p → ~s SH 1,2
6. ~t MPP 3,5
7. ~r MTT 4,6
 Ley del Dilema Constructivo (DC).
• Empieza con una disyunción y dos condicionales.
• Ejemplo:
• Premisa 1. Llueve o el campo está seco.
• Premisa 2. Si llueve, entonces jugaremos adentro.
• Premisa 3. Si el campo está seco, entonces jugaremos baloncesto.
• Conclusión: Jugaremos adentro o jugaremos baloncesto.
• Simbólicamente sea:
• p: Llueve.
• q: El campo está seco
• r: Jugaremos adentro
• s: Jugaremos baloncesto
• Entonces:
• Premisa 1. p ∨ q
• Premisa 2. p → r
• Premisa 3. q → s
• ∴r ∨ s
Ejemplo
Preguntas
¿Qué hemos aprendido?
Reflexionemos
Lógica de cuantificadores
MATEMÁTICA DISCRETA

2
 PROPÓSITO

• Resuelve ejercicios de lógica de

cuantificadores
 LÓGICA CUANTIFICACIONAL

La lógica proposicional (LP) analiza la conexión

entre los enunciados.
La Lógica Cuantificacional (LC) amplía el análisis
de la LP, analiza también la estructura interna de las
proposiciones.
En otras palabras, la LC analiza la estructura y las
conexiones de los distintos elementos internos de
cada proposición y a la vez analiza las conexiones
entre las otras proposiciones.
 SINTAXIS DE LA LÓGICA
CUANTIFICACIONAL

•Variables Predicativas: F, G, H, …
•Constantes individuales: a, b, c, d, …
•Variables individuales: x, y, z, …
•Cuantificadores: (∀), (∃)
 FORMALIZACIÓN EN LÓGICA
CUANTIFICACIONAL
• Empecemos por proposiciones como:
“Carlos es inmoral”, “Pepe es mortal”, “El mar es inmenso”,
“La tierra es redonda”, etc.
Estas proposiciones tienen una estructura interna dadas por
el sujeto y predicado. Por ejemplo, la primera proposición:
Carlos es inmoral

Predicado
Sujeto
Ejemplo de formalización:
Sea la proposición: “Gonzalo es mortal”
Gonzalo es mortal
g M
• Se asigna un sujeto y predicado, donde:
g: Sujeto.
M: Predicado.
• La formalización es: Mg
• De este modo 'Mg' nos dice, en lenguaje de LC, que ‘Gonzalo es
mortal'.
• Si se tiene la proposición “Carlos baila”
• La formalización será: Bc
• Si se tiene la proposición “Huancayo es capital de la Región Junín”
• La formalización será: Ch o Rh o Jh
 Predicado y símbolos predicativos
Los predicados son las propiedades o características de los
individuos o sujetos.
Los símbolos que se asignan para los predicados son las letras
mayúsculas del alfabeto, de la A hasta la Z, en caso necesario
se utilizan símbolos con subíndices. A1, A2, F1, F2, etc.
La formalización para la siguiente proposición “Jorge camina y
corre” , puede ser:
C1j  C2j
Otro caso para “Carlos baila y Rosita busca un CD”, sería:
B 1c  B 2r
 LAS CONSTANTES INDIVIDUALES
En la proposición: Manuel es mortal
La formalización es: Mm
´M´ mortal y ´m´ Manuel.
Aquí se observa que la constante individual es ´m´.
Toda constante individual normalmente se representa por la
primera letra del sujeto y en minúscula.
Se denomina constante individual porque representa a un solo
individuo.
En LC "individuo" es entendido no solo en referencia a seres
humanos individuales (como, Sócrates, Platón, Cáceres,
Bolognesi, etc.) sino también a cualquier objeto particular del
cual se pueda predicar alguna propiedad.
Ejemplo. Formalizar los siguientes enunciados
1. Juan juega.
2. María trabaja
3. Pepe es abogado y Melchor es ingeniero.
4. La conferencia se realiza o se posterga.
5. Si muere su mascota, entonces está triste y llora.
6. Si Bernardo trabaja, Jose estudia. Pero si Bernardo no trabaja,
entonces Jose tendrá que hacerlo.
7. Raúl ganara la Tinka sólo en el caso que acierte los seis
números.
 VARIABLES INDIVIDUALES

Ejemplo 01. Formalizar:

x es estudioso
Formalizando estas proposición se tiene:
Ex
x es una variable que representa a varios sujetos y se denomina
variable individual. Se utilizan las últimas letras del abecedario
como x, y, z.
Ejemplo 02. Formalizar:
Si x es deportista, entonces x es atleta
Dx → Ax
 Cuantificación
• La cuantificación consiste en utilizar ciertas particularidades
lógicas para referirse a cantidades de individuos de un cierto
grupo. Así, para referirnos al grupo anterior, podemos decir:
Todos son estudiosos
• Formalizando: (x)Ex
• Otros cuantificadores se emplean para decir algo de una
cierta cantidad de individuos de un grupo. Si consideramos el
grupo de los habitantes de la Tierra Media, podemos decir
que:
Algunos son estudiosos  ( x) Ex

La mayoría son mortales  ( x) Mx

Muchos temen a las serpientes  ( x) Tx

Pocos han llegado a la meta  ( x) Lx

Ninguno ha nacido en la selva  (x) Nx

 CUANTIFICADORES LÓGICOS
• Aunque estos cuantificadores tienen obvias diferencias de
significado, en lógica de primer orden se reducen a tan sólo 2:
- Cuantificador universal:  equivale a TODOS
- Cuantificador existencial:  equivale a AL MENOS UNO
• Con los cuantificadores y las variables ya podemos formalizar
expresiones como:
• Todos son estudiosos: (x) Ex
lo cual significa que para todo individuo x, ese individuo tiene la
propiedad de ser estudioso
• Algunos son estudiosos: (x) Ex
lo cual significa que hay al menos un individuo x que tiene la
propiedad de ser estudioso
 PROPOSICIONES CATEGÓRICAS

Las proposiciones categóricas son afirmaciones (o

negaciones) sobre clases o grupos de objetos, del tipo
"todos son..." o "algunos son..." o "ninguno es …", son
enunciados atómicos o simples: expresan un solo juicio y
están referidos a la cantidad y la calidad.
Según la cantidad pueden ser:
Universales o
Particulares.
Según la calidad pueden ser:
Afirmativas o
Negativas.
 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.
• Todos los animales tienen vértebras.
• Todas las sandias son vegetales.
• Todos los jueces sentencian
• Todos los profesores estudian.
 UNIVERSAL NEGATIVA (UN)

• Forma: 'Todos los S no son P' o bien 'Ningún S es P'.

• Ejemplos:
• 'Todos los mamíferos no son peces'.
• 'Ningún mamífero es ave'.
• 'Todos los alumnos no son ingenieros'.
• 'Ningún presente es dentista'.
• 'Ningún batracio vuela'
 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.
• Algunos hombres comen carne humana
• Existen hombres que tienen tres esposas
 PARTICULAR NEGATIVA (PN)

• Forma: 'Algunos S no son P' o 'Existen S que no son P'.

• Ejemplos:
• 'Algunos pingüinos no son buenos nadadores'.
• 'Algunos alumnos no están aprobados'.
• 'Existen profesores que no son solteros'.
• 'Algunos hombres no comen carne'.
• 'Existen hombres que no tienen manos'
 SOLOGISMO CATEGÓRICO
PROPOSITO
El Estudiante:
➢ Identifica proposiciones categóricas y luego demuestra la valides de
los silogismos.
 SOLOGISMO CATEGORICO
Un silogismo categórico o silogismo clásico es un silogismo
compuesto por exactamente tres proposiciones categóricas (dos
premisas y una conclusión).
Una proposición es categórica cuando tiene una de las siguientes
cuatro formas:
Universal afirmativa (proposiciones-A) : Todo S es P
Universal negativa (proposiciones-E) : Ningún S es P
Particular afirmativa (proposiciones-I) : Algunos S son P
Particular negativa (proposiciones-O) : Algunos S no son P
Por ejemplo, el siguiente argumento es un silogismo categórico:
1.Todos los gatos son animales. 1.Todo M es S
2.Algunos gatos son negros. 2.Algunos M son P
3.Por lo tanto, algunos animales son negros. 3.Por lo tanto, algunos S son P
Los cuatro esquemas proposicionales básicos
El Universal Afirmativo El Universal Negativo
Su forma es: ‘Todos los x son ⌽’ Su forma es: ‘Ningún x es ⌽’
Dónde: Dónde:
‘⌽’ representa cualquier predicado ‘⌽’ representa cualquier predicado
posible. posible.
‘x’ cualquier objeto del cual se predica. ‘x’ cualquier objeto del cual se predica.
Formalizando tenemos: Formalizando tenemos:
(∀ x) ⌽x (∀ x) ¬⌽x
Que se lee: ‘Para todo x, x es fi’ Que se lee: ‘Para todo x, x no es ⌽’
El Particular Afirmativo EI Particular Negativo
Su forma es: ‘Algunos x que son ⌽’ Su forma es: ‘Algunos x no son ⌽’
Dónde: Dónde:
‘⌽’ representa cualquier predicado ‘⌽’ representa cualquier predicado
posible. posible.
‘x’ cualquier objeto del cual se predica. ‘x’ cualquier objeto del cual se predica.
Formalizando tenemos: Formalizando tenemos:
(∃ x) ⌽x (∃ x) ¬⌽x
Que se lee: ‘Existe(n) algún(os) x que Que se lee: ‘Existe(n) algún(os) x que no
son ⌽’ son ⌽’
El cuadro básico de oposición
El cuadro de oposición es un instrumento que nos permite establecer de manera automática
una serie de relaciones lógicas interproposicionales para proposiciones categóricas.
Este cuadro se fundamenta en la utilización de las proposiciones categóricas del silogismo
categórico, y nos permite encontrar cualquier relación lógica a partir de una proposición
categórica dada como base.
Expliquemos el cuadro. Supongamos que tenemos el enunciado ‘Todos los x son mortales’,
que simbolizamos como (∀x)Mx, el enunciado lógicamente contrario es ‘Ningún x es mortal’,
que simbolizamos como (∀x)¬Mx.
En ese sentido, generalizando, podemos concluir que un enunciado universal afirmativo
cualquiera es contrario a un enunciado universal negativo cualquiera siempre y cuando ambos
se refieran al mismo objeto y tengan el mismo predicado (si bien uno afirmativo y el otro
negativo).
Por otro lado, como un enunciado universal engloba o abarca un enunciado particular,
entonces los enunciados particulares, tanto positivos como negativos, son subordinados o
subalternos a los enunciados universales respectivos los cuales son así los subordinantes o
subalternantes.
Finalmente, si nosotros sostenemos un enunciado de la forma ‘Todos los x son ⌽’ estamos
diciendo que todos los individuos u objetos de una clase determinada poseen la característica
⌽, por lo tanto basta que un individuo de la clase x no posea la característica ⌽, para
contradecir a lo mentado por el primer enunciado. Así, si decimos
que todos los x son negros y luego aparece aunque sea un x que no es negro, ese solo hecho
basta para contradecir nuestro primer enunciado.
 Los silogismos según (Grassmann, 2003)
Se aplican para demostrar cuando un razonamiento es válido o no es válido a través de las reglas de inferencia
Ejercicios.
1. Formalice las siguientes proposiciones singulares:
1.1 Juan es hermano de David
Hjd
1.2 Luis y María bailan
Blm
1.3 Raul es administrador y Beto es contador
Ar ∧ Cb
1.4 Si los periodistas mientan, entonces la gente tendrá opiniones contradictorias, sin embargo el periodismo no miente.
(Mp → Cg) ∧ ∼Mp
1.5 Todos odian a Barrabás.
(∀x)Oxb
1.6 Algunos estudiantes no son responsables.
(∃x) (Ax ∧ ∼Rx)
1.7 Ningún humano es inmortal.
(∀x) (Hx → ∼Ix)
1.8 Todos los huancaínos son trabajadores.
(∀x) (Hx → Tx)
2. Utilizando el cuadro de Boecio, halle el equivalente de:
2.1 El contradictorio del subalterno de: “todos los gatos son felinos”
Todos los gatos son felinos es A.
El subalterno de A es I.
El contradictorio de I es E
Por lo tanto, el equivalente es: Ningún gato es felino
2.2 El contrario del subalternante del subcontrario de: “algunos sa cerdotes son dogmáticos”
Algunos sacerdotes son dogmáticos es I.
El subcontrario de I es O.
El sualternante de O es E.
El contrario de E es A.
Por lo tanto, el equivalente es: Todos los sacerdotes son dogmáticos.
2.3 El subalterno del contradictorio del subalterno del contrario de: “ningún mamífero vuela”.
Ningún mamífero vuela es E.
El contrario de E es A.
El subalterno de A es I.
El contradictorio de I es E.
El subalterno de E es O.
Por lo tanto, el equivalente es: Algunos mamíferos no vuelan.
A. Formalice los siguientes enunciados (no use cuantificadores)
1. Juan juega.
2. María trabaja.
3. Pepe es abogado y Melchor es ingeniero.
4. Si Bernardo trabaja, José estudia. Pero si Bernardo no trabaja, entonces José tendrá que hacerlo.
5. Ganare la Tinka sólo en el caso que acierte los seis números.
B. Formalice los siguientes enunciados (use cuantificadores)
1. Algunos x son abogados.
2. Todos los x son estudiantes y empleados.
3. Algunos x son profesionales.
4. Algunos x trabajan y otros estudian.
5. Ningún x es militar.
6. Ningún peruano es ocioso.
7. Algunos ingenieros no son hábiles.
8. Cualquier humano es mortal.
9. Pocos abogados son honestos.
10. El 90% de los mamíferos son carnívoros
C. Determine el enunciado que cumple con la relación lógica que se le pide:
1. El subalterno de: ‘Ningún x trabaja’.
2. El contrario de: ‘Todos los x son futbolistas’.
3. El contradictorio de: ‘Algunos x no son grises’.
4. El sub contrario del contradictorio del contrario de: ‘Todos los x son hombres.’
5. El subalternante del contradictorio del contrario de: ‘Ningún x está vivo.
6. El subalterno del contradictorio del subalterno de: “Ningún batracio tiene dos patas”.
7. El subcontrario del contradictorio del contrario de: “Todos los políticos son parlanchines”.
8. El contrario del subalternante del subcontrario del contradictorio de: “Ningún peruano es chileno”