Os valores lógicos de duas proposições são diferentes. Nessas condições é correto afirmar que o valor lógico:

Gabarito

Certo

Comentário do professor

Bicondicional (\(P \leftrightarrow Q\)) é a conectiva que vale verdadeira exatamente quando as duas proposições têm valores lógicos iguais (ambas verdadeiras ou ambas falsas). Em termos lógicos, equivale a \((P\to Q)\land(Q\to P)\).

Se as proposições têm valores diferentes, uma das implicações em \((P\to Q)\land(Q\to P)\) será falsa, portanto a conjunção inteira é falsa. Por exemplo, se \(P\) é verdadeira e \(Q\) é falsa, então \(P\to Q\) é falso e logo \(P\leftrightarrow Q\) é falso.

Assim, conhecendo apenas que os valores são distintos, concluímos de forma direta e geral que o valor lógico do bicondicional entre elas é falso.