Usuario:Rafael~eswikibooks/ejercicio 21

DEMOSTRAR: ¬p

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

_________________________________________

5. h$\vee \;$p.........................p5 (doble simplificacion p4)

6. s$\vee \;$q.........................p6 (regla del dilema p2,p3,p5)

7. ¬p................................conclusion (tollendo tollens p1,p7)

________________________________________