Usuario:Juan medina/ejer18

Demostrar las siguiente premisa apartir de las otras: --R, si:

1)(Q → H)→Q

2)- Q

3)- (H → S) → (Q → H)

4)P → H

5)R → -(P → S)

---

6)-(Q → H) modus tollens(1,2)

7)--(H → S)Modus tollens (3,6)

8) H → S DN

9) P → S silogismo hipotetico (4,8) 10) --(P → S) DN 9

11) R modus tollens (5,10)