Uma sentença logicamente equivalente a "se Evandro é agente de trânsito, então Gabriel não é guarda municipal" está indicada corretamente na seguinte alternativa:

Gabarito

A

Comentário do professor

Se Evandro é agente de trânsito, então Gabriel não é guarda municipal.

Seja P = "Evandro é agente de trânsito" e Q = "Gabriel é guarda municipal".

A forma logicamente equivalente de uma condicional é a sua contrapositiva. Para obtê‑la, aplicam‑se a negação de ambas as partes e inverte‑se a ordem: negar P e negar Q, trocando antecedente por consequente.

Assim, \(P \rightarrow \neg Q\) é equivalente a \(Q \rightarrow \neg P\).

Em linguagem natural: Se Gabriel é guarda municipal, então Evandro não é agente de trânsito. Essa é a sentença equivalente, por contraposição.