Baixe o app para aproveitar ainda mais
Prévia do material em texto
Lógica Computacional Instituto Federal do Rio Grande do Norte 1 de abril de 2016 Exercício 9 1. Usar demonstração indireta para mostrar que são válidos os seguintes argumentos: (a) ¬(p ∧ q), p→ r, q ∨ ¬r ` ¬p (b) p→ ¬q, r → ¬p, q ∨ r ` ¬p (c) ¬(p ∧ q),¬r → q,¬p→ r ` r (d) p→ q ∨ r, q → ¬p, s→ ¬r ` ¬(p ∧ s) (e) p ∨ q, p→ ¬r, q → s ` ¬r ∨ s (f) p ∨ q, s→ ¬p,¬(q ∨ r) ` ¬s (g) p→ ¬q, q ∨ ¬r,¬(s ∨ ¬r) ` ¬p (h) ¬p→ ¬q,¬p ∨ r, r → ¬s ` ¬q ∨ ¬s (i) p ∧ q ↔ ¬r,¬r → ¬p,¬q → ¬r ` q (j) ¬p ∨ ¬q, r ∨ s→ p, q ∨ ¬s,¬r ` ¬(r ∨ s) Diego Silveira Costa Nascimento 1 diego.nascimento@ifrn.edu.br
Compartilhar