Exerccios com Deduo Natural

Prof. Marcio Klos

Efetuar as dedues abaixo, empregando somente as regras de implicao lgica

discriminadas no material didtico.

1. p (q r), p q ` r2. (p q) r, q ` r3. p (q r), (q r) s, p ` s4. p q, q r, r ` p5. p ( q r), p q ` r6. p (q r), q (s t), p t ` s r7. p (q r), (p (q r)) s, s ` p s8. (p q) (r (r s)), (r (r s)) (s t), (s t) ` (p q)9. (p q) (r s), (p q) (s t), (r s) ` (s t) (r s)10. p (q r), q (r s), ( p q) t, (q r) (r s) ` t11. p q, (p q) r, (p r) s, (p s) t ` t12. (p q) (r s), ((p q) (r s)) (s t), (s t) ` (p q)13. ((p q) r) (s t), r s, p t ` r14. ((p q) (r s)) t, p q, r s, p r ` t15. (p q) (r s), (p t) (q t), t r ` s

1