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)