INFERENCIA LGICA

OBJETIVO: Reglas que conducen a

frmulas que se denominan
conclusiones. Y el paso lgico de las
premisas a la conclusin es una
deduccin que es una consecuencia
lgica de las premisas.

De premisas verdaderas obtenemos

conclusiones verdaderas.
REGLAS
 Modus Ponendo Ponens (PP)
Premisa 1 P Q P: El est en el
partido de ftbol
Premisa 2 P Q: El est en el
estadio El mtodo que
________________ afirma el
Conclusin Q consecuente,
--------------------------- afirmado el
Premisa 1 P Q antecedente
Premisa 2 P
________________
 R->S P P & Q -> R P -> Q
R P- P&Q P
_____ >Q _____ _____
S _____ R Q
Q

P -> Q & R (P V R )-> (S & Q) Demostrar C

P (P V R)
_____ _____
(1) A -> B P
Q&R S & Q (2) B -> C P
(3) A P
Demostrar R (4) B PP
(1) S->T 1,3
P (5) C PP
(2) S 2,4
P
(3) T -> R
P
 Doble negacin (DN)
P: No ocurre que Ana no es un
estudiante
P: Ana es un estudiante
Q: No ocurre que Juan no toma el
autobs para ir a la escuela.
Q: Juan toma el autobs para ir a la
escuela
(1) P p (1) P p
(1) (P & Q) p
Demostrar Q
(1) P -> Q p
(2) P p
(3) Q
PP(1,2)
________________
(4) Q DN
(3)