Exercicio Com Dedução Natural 2015-1 (2)
1
Exercícios com Dedução Natural Prof. Marcio Kléos Efetuar as deduções abaixo, empregando somente as regras de implicação lógica discriminadas no material didático. 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
-
Upload
roberio-araujo -
Category
Documents
-
view
212 -
download
0
description
Exercícios de lógica
Transcript of Exercicio Com Dedução Natural 2015-1 (2)
-
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