Usuario:Juan medina/ejer19

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)