Question

Exercício 4.1 Mostre que as proposições a seguir são logicamente equivalentes.
(a) (p →q)∧(p →r) e p →(q∧r)
(b) (p →r)∧(q →r) e (p∨q) →r
(c) ¬(p∨q)∨(¬p∧q)
(d) (p →r)∧(q →r) e (p∨q) →r
(e) (p →r)∨(q →r) e (p∧q) →r

Answer 1

Resposta:

(a) (p →q)∧(p →r) e p →(q∧r)

Explicação: