DEDUCCION NATURALinferencias Notables
DEDUCCION NATURALinferencias Notables
DEDUCCION NATURALinferencias Notables
• 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. (pq)→r
2. r
3. r→(pq) /┠ r
4. (pq) 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.
• pq pq
• ------ ------
• ┠p ┠q
Aplicar simplificación en la siguiente prueba directa:
• pq
• q→r /┠ r
1. pq
2. q→r /┠ r
3. q Simp 1
4. r MP 2,3
Hemos construido una prueba del argumento:
pq
q→r /┠ r
Prueba directa mediante Adición
• P P
• Q Q
• ---- ----
• .: P Q .: Q P
EJEMPLO
• Esta inferencia es valida . Aquella es valida
P
Q
______________
P Q
2
PROPÓSITO
•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