Usuario:Rafael~eswikibooks/ejercicio 16

DEMOSTRAR h$\vee \;$¬q

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

___________________________________________________________

4. ¬s...............................p4 (tollendo tollens p2,p3)

5. (¬s$\land$q)$\land$(s$\vee \;$ ¬q)....p5 (ponendo ponens p1,p4)

6. s$\vee \;$¬q.......................p6 (simplificacion p5)

7. ¬q...............................p7 (tollendo ponens p4,p6)

8. h$\vee \;$¬q.......................conclusion ( doble simplificacion p7)