9. Su Tabla de Verdad queda Así. Poderosa Tabla de la Verdad y la Justicia V V F V F F F V F F F V F F V V F V F V F V F F F V V F V V F V F F V V V F F V F V V V V V F V V V V V F V V V (p^q)->p¬) p^¬r p^q ¬ r r q p
14. Tautologias Fundamentales Contrapositiva ((p->q) ↔ (¬p -> ¬q)) Condicional con Clausula (p->q) ↔ (¬p v q) Silogismo Hipotético ((p->q) ^(q -> r)) ->(p ->r) Silogismo Disyuntivo ((p v q) ^p ^¬p) -> q Modus Tollendo Tollens ((p->q) ^¬p) ->¬q Modus Ponendo Ponens ((p->q) ^q) ->p Ley 2 de De Morgan ¬(pvq) ↔ ¬p^ ¬q Ley 1 de De Morgan ¬(pvq) ↔ ¬p^ ¬q Doble Negación ¬(¬p) ↔ p Ley de no contradicción ¬(p v ¬p) Ley del medio excluido p v ¬p
15. Y con esto concluye nuestra pequeña y vaga presentación
16. Fue corta pero informativa al menos la pagina tal vez informe un poco mas sobre el tema…