Question

Utilizando por base a lógica matemática, a montagem da tabela verdade
e as propriedades da disjunção e da conjunção, sendo p e q as proposições,
qual das implicações ou equivalências lógicas abaixo é válida?

a) p ↔ q ⇔ (p →¬ q) ⋀ (q → p).
(b) p → p ⋀ q ⇔ q → p.
(c) (¬p ⋁ q) ⋀ ¬p ⇒ q.
(d) (p ↔ q) ⇒ (¬p → ¬q).
(e) p ⋀ (¬p ⋁ q) ⇔ p ⋁ q.

Answer 1

Eu acho q e a letra B