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