Usuario:Rafael~eswikibooks/ejercicio 14

DEMOSTRAR ¬q

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

(p$\vee \;$h).........................................p3 __________________________________________________________________

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

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

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

7. ¬q............................... conclusion (tollendo ponens p4,p5)