

Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
Uma bicondicional no raciocínio lógico, representada por p ↔ q, é uma proposição composta que é verdadeira quando ambos os componentes, p e q, têm o mesmo valor de verdade, seja verdadeiro ou falso. Assim, estabelece uma relação de equivalência lógica entre duas proposições, onde uma é necessária e suficiente para a outra. Portanto, assinale a alternativa que indica uma proposição equivalente a bicondicional p ↔ q.
¬ ( ¬ p ∨ q)
(p → q) ∨ (q → p)
(p → q) ∧ (q → p)
¬ (q↔p)