Está en la página 1de 21

Inferencia ó deducción

Natural
Inferencia
• Inferir: es deducir conclusiones a
partir de premisas aplicando reglas de
inferencia.
Premisas:: hipótesis,
supuestos básicos
Conclusión: proposición a
probar
Reglas de Inferencia:
medio para extraer
conclusiones a partir de
premisas
EISC
Universidad del Valle Slide 2
Inferencia

• Prueba formal: aplicación de reglas


de inferencia para derivar la
conclusión

• Conclusión válida: conclusión a la que


se llega aplicando reglas de
inferencia

EISC
Universidad del Valle Slide 3
INFERENCIA EN
LÓGICA
proposicional

EISC
Universidad del Valle Slide 4
Inferencia o Deducción Natural

• Mecanismos de inferencia o
deducción
Tablas de verdad
Procedimiento de resolución
Reglas de inferencia
....

EISC
Universidad del Valle Slide 5
Inferencia o Deducción Natural

• Reglas Básicas
– Regla P: Una premisa se puede
introducir en cualquier paso de la
deducción
– Regla T: Una fórmula S se puede
incorporar en la deducción, si S está
tautológicamente implicada por una o
más fórmulas anteriores en la
deducción
EISC
Universidad del Valle Slide 6
Inferencia o Deducción Natural

• Reglas Básicas
– Regla PC
Si una fórmula s se pude deducir de
otra fórmula r y un conjunto de
premisas, entonces el enunciado (r  s)
se puede deducir a partir del conjunto
de premisas unicamente
(p  r )  s  p  (r  s)

EISC
Universidad del Valle Slide 7
Reglas de lnferencia

EISC
Universidad del Valle Slide 8
Reglas de Inferencia

EISC
Universidad del Valle Slide 9
Ejemplos de reglas de Inferencia
¿Qué reglas de inferencia usan los siguientes
argumentos?
1. Los canguros viven en Australia y son
marsupiales. Por tanto, los canguros son
marsupiales.

2. Lina es una excelente nadadora. Si Lina es


una excelente nadadora , entonces puede
trabajar como salvavidas. Por tanto, Lina
puede trabajar como salvavidas

EISC
Universidad del Valle Slide 10
Ejemplos de reglas de Inferencia
3. Si trabajo toda la noche, podré resolver
todos los problemas. Si puedo resolver
todos los problemas, entenderé la
asignatura. Por tanto, si trabajo toda lo
noche entenderé la asignatura.

4. Jerry estudia matemáticas. Por tanto,


Jerry estudia matemáticas o estudia
geografía.

EISC
Universidad del Valle Slide 11
Argumentos válidos: Ejemplo
Si llueve mucho, el viaje será dificil. Si los
estudiantes llegan a tiempo entonces el viaje no
fué dificil. Los estudiantes llegaron a tiempo.
Por tanto, no llovió mucho

p: llueve mucho
q: el viaje es dificil
r: los estudiantes llegaron a tiempo

EISC
Universidad del Valle Slide 12
Argumentos válidos: Ejemplo
Si llueve mucho, el viaje será dificil. Si los
estudiantes llegan a tiempo entonces el viaje no
fué dificil. Los estudiantes llegaron a tiempo.
Por tanto, no llovió mucho

p: llueve mucho
q: el viaje es dificil
r: los estudiantes llegaron a tiempo

(p  q ˄ r  ¬q ˄ r ) ╞ ¬p

EISC
Universidad del Valle Slide 13
Argumentos válidos: Ejemplo
deducción natural
Premisas: p  q, r  q, r
Conclusión: p
Argumento Razón
1. p  q Regla P
2. q  p contrareciproca de 1
3. r  q Regla P
4. r  p Silogismo Hipotético (3,2)
5. r Regla P
6. p Modus Ponens (4,5)

EISC
Universidad del Valle Slide 14
Ejemplo
Si me mandas un e-mail entonces acabaré de
escribir el programa. Si no me mandas un e-mail me
iré a la cama temprano y si me voy a la cama
temprano, me levantaré descansado. Por lo tanto, si
no acabo de escribir el programa, me levantaré
descansado.

p: me mandas un e-mail
q: acabo de escribir el programa
r: me voy a la cama temprano
s: me levanto descansado

EISC
Universidad del Valle Slide 15
Ejemplo

1. p q
2. p r
3. r s
4. q s

EISC
Universidad del Valle Slide 16
Argumentos válidos: Ejemplo
deducción natural
Premisas: p  q, p  r, r  s
Conclusión: q  s
Argumento Razón
1. p  q Hipótesis
2. q  p contrareciproca de 1
3.  p  r Hipótesis
4. q  r Silogismo Hipotético (2,3)
5. r  s Hipótesis
6. q s Silogismo Hipotético (4,5)

EISC
Universidad del Valle Slide 17
Ejercicio
Considerando las siguientes hipótesis, demuestre
que se puede llegar a obtener como conclusión t.

 pq
rp
r  s
st

EISC
Universidad del Valle Slide 18
Ejercicio
Formalice y pruebe si la conclusión es válida.

Si voy a mi primera clase mañana tendré que madrugar, y


si voy al concierto esta noche me acostaré tarde. Si me
acuesto tarde y madrugo tendré que vivir con sólo 5
horas de sueño. No puedo vivir con 5 horas de sueño
solamente. Por lo tanto, no voy a mi primera

clase mañana o no voy al concierto esta noche.

EISC
Universidad del Valle Slide 19
Ejercicio
Formalice y pruebe si la conclusión es válida.

Si la tormenta continúa o anochece, nos quedaremos


a cenar o a dormir; si nos quedamos a cenar o a
dormir no iremos mañana al concierto; pero si iremos
mañana al concierto. Así pues, la
tormenta no continúa

EISC
Universidad del Valle Slide 20
Ejercicio
Formalice y pruebe si la conclusión es válida.
Si el ejercito marcha contra el enemigo, tiene
posibilidades de éxito; y arrasará la capital enemiga, si
tiene posibilidades de éxito. El ejercito marcha contra
el enemigo o se repliega rápidamente, o las dos. Si se
repliega rápidamente, el enemigo atacará su
retaguardia; y perderá la guerra, si el enemigo
ataca su retaguardia. Por lo tanto, si
no arrasa la capital enemiga, perderá la guerra.
EISC
Universidad del Valle Slide 21

También podría gustarte