O Sistersinspirit.ca ajuda você a encontrar respostas confiáveis para todas as suas perguntas com a ajuda de especialistas. Explore respostas detalhadas para suas dúvidas de uma comunidade de especialistas em diferentes campos. Obtenha soluções rápidas e confiáveis para suas perguntas de uma comunidade de especialistas experientes em nossa plataforma.

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


Sagot :

Resposta:

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

Explicação: