lc exercicio 06

Prévia do material em texto

Lógica Computacional
Instituto Federal do Rio Grande do Norte
1 de abril de 2016
Exercício 6
1. Demonstrar via tabela-verdade que:
(a) p ∧ (p ∨ q)⇔ p
(b) p ∨ (p ∧ q)⇔ p
(c) p→ q não é equivalente a q → p
(d) p↔ p ∧ q ⇔ p→ q
(e) q ↔ p ∨ q ⇔ p→ q
(f) (p→ q) ∧ (p→ r)⇔ p→ (q ∧ r)
(g) (p→ q) ∨ q ⇔ p→ q
(h) (p→ q)→ r ⇔ p ∧ ¬r → ¬q
2. Dada as proposições p = Choveu e q = Está molhado. Se sabemos que se choveu então está
molhado, é equivalente dizer que está molhado ou não choveu?
3. Dada as proposições p = O número é par, q = O resto da divisão por 2 é zero. Se sabemos que o
número é par se e somente se o resto da divisão por 2 é zero, é equivalente dizer que se o número
é par então o resto da divisão por 2 é zero, e se o resto da divisão por 2 é zero então o número é
par?
Diego Silveira Costa Nascimento 1 diego.nascimento@ifrn.edu.br