Usuario:Rafael~eswikibooks/ejercicio 15

demostrar q$\vee \;$ s

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

____________________________________________________

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

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

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

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

8. q.............................p8 (doble negacion p7)

9.q$\vee \;$ s.....................p9 (doble simplificacion p8)