Upload
roberio-araujo
View
212
Download
0
Embed Size (px)
DESCRIPTION
Exercícios de lógica
Citation preview
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