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 ` r
2. (p q) r, q ` r
3. p (q r), (q r) s, p ` s
4. p q, q r, r ` p
5. p ( q r), p q ` r
6. p (q r), q (s t), p t ` s r
7. p (q r), (p (q r)) s, s ` p s
8. (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) ` t
11. p q, (p q) r, (p r) s, (p s) t ` t
12. (p q) (r s), ((p q) (r s)) (s t), (s t) ` (p q)
13. ((p q) r) (s t), r s, p t ` r
14. ((p q) (r s)) t, p q, r s, p r ` t
15. (p q) (r s), (p t) (q t), t r ` s
1