Assinale a alternativa que contém a frase que pode ser representada pela simbologia lógica (p ↔ ~q).

Gabarito

B

Comentário do professor

Bicondicional: a expressão \(p \leftrightarrow \sim q\) lê-se "p se, e somente se, não q". Aqui tomamos p = "Carlos anotou a quilometragem" e q = "faltou combustível", então \(\sim q\) = "não faltou combustível".

A frase apresentada na alternativa B é exatamente a tradução literal dessa bicondicional: "Carlos anotou a quilometragem se, e somente se, não faltou combustível".

Formalmente, \(p \leftrightarrow \sim q\) equivale à conjunção dos condicionais \(p \rightarrow \sim q\) e \(\sim q \rightarrow p\). Isso significa que sempre que Carlos anotou a quilometragem, não faltou combustível, e sempre que não faltou combustível, Carlos anotou a quilometragem.

Portanto a alternativa B representa fielmente a simbologia dada.