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

Gabarito

D

Comentário do professor

O conectivo lógico bicondicional \(p\leftrightarrow q\) é verdadeiro exatamente quando as duas proposições têm valores lógicos iguais. Isso significa que não basta apenas uma correspondência parcial; é necessário que ambas sejam verdadeiras ou ambas falsas.

Na prática, a tabela-verdade fica assim: V V → V; V F → F; F V → F; F F → V. Ou seja, \(p\leftrightarrow q\) vale V em dois casos: quando \(p\) e \(q\) são ambos V e quando são ambos F.

Formalmente, \(p\leftrightarrow q\) é equivalente a \((p\land q)\lor(\neg p\land\neg q)\) e também a \((p\rightarrow q)\land(q\rightarrow p)\). Portanto a alternativa está correta: verdade quando os valores são iguais.