Usuario:Rafael~eswikibooks/ejercicio 17

DEMOSTRAR ¬p

1. (q$\to \;$h)$\land$p....................p1
2. p$\to \;$q.............................p2
3. ¬h...................................p3

____________________________________________

4. q$\to \;$h............................p4 (simplificacion p1)

5. p$\to \;$h............................p5 (regla transitiva p2,p4)

6. ¬p..................................p6 (tollendo tollens p3,p5)