Usuario:Rafael~eswikibooks/ejercicio 18

DEMOSTRAR: p\land (¬q$\to \;$h)

1. q$\to \;$(r$\to \;$s).....................p1
2. ¬q$\to \;$¬p............................p2
3. ¬[(¬q$\to \;$h)$\land$ p]$\to \;$p...........p3
4. ¬(r$\to \;$s)...........................p4

___________________________________________

5. ¬q........................p5 (tollendo tollens p1,p4)

6. ¬p........................p6 (ponendo ponens p2,p5)

7. ¬¬[(¬q$\to \;$h)$\land$p]....p7 (tollendo tollens p3,p6)

8. (¬q$\to \;$h)$\land$p........p8 (doble negacion p7)

9. p$\land$(¬q$\to \;$h)........conclusion (conmutativa p8)