Dizer que “Assis não trapaceou na prova, ou Bruno foi eliminado do concurso” é logicamente equivalente a dizer que:

Gabarito

D

Comentário do professor

Associe proposições: seja p = “Assis trapaceou na prova” e q = “Bruno foi eliminado do concurso”.

O enunciado original afirma a disjunção “Assis não trapaceou, ou Bruno foi eliminado”, que simbolizamos como \( \lnot p \lor q \).

A alternativa correta expressa uma condicional: “Se Assis trapaceou, então Bruno foi eliminado”, isto é \( p \to q \).

Há uma equivalência lógica padrão: \( p \to q \equiv \lnot p \lor q \). Intuitivamente, ambas são falsas só quando p é verdadeira (Assis trapaceou) e q é falsa (Bruno não foi eliminado); em todos os outros casos ambas são verdadeiras.

Portanto, a forma condicional apresentada na alternativa D é logicamente equivalente à disjunção do enunciado.