Conectivos Lógicos: Questões, Simulados e Provas

Dentre as alternativas a seguir e considerando os conectivos lógicos, a única incorreta é:

Considere os conectivos lógicos usuais e assuma que as letras maiúsculas representam proposições lógicas simples. Com base nessas informações, julgue o item seguinte relativo à lógica proposicional.

A proposição lógica (P ⇒ Q) ⇔ ((∿P) ˅ Q) é uma tautologia.

Considerando o conectivo lógico bicondicional entre duas proposições, é correto afirmar que seu valor lógico é verdade se: