Demostrar P v H Si :
(1)n → --Q P
(2)-- Q P
(3)-(H v P)→ n P
(4)-(H v P)→-Q silogismo hipotetico (1,3)
(5)--(H v P) modus tollens (2,4)
(6)H v P doble N (5)
(7)H v P ley conmutativa (6)
