exercicio com dedução natural 2015-1 (2)

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

exercicio com dedução natural 2015-1 (2)

Documents