Uma afirmação logicamente equivalente à “não vou viajar hoje ou preciso dormir agora” é:

Gabarito

D

Comentário do professor

Não vou viajar hoje ou preciso dormir agora pode ser formalizada com \(p\): "vou viajar hoje" e \(q\): "preciso dormir agora". A sentença original é a disjunção \( \neg p \vee q \).

Por definição lógica, a disjunção \( \neg p \vee q \) é equivalente à implicação \( p \rightarrow q \). Ou seja, "se \(p\) então \(q\)".

Intuitivamente: afirmar "não vou viajar ou preciso dormir" é o mesmo que garantir que, caso eu vá viajar, então necessariamente preciso dormir. A única situação que tornaria a disjunção falsa é ir viajar e não precisar dormir — mesma condição que tornaria \(p \rightarrow q\) falsa.

Portanto, a alternativa correta expressa essa equivalência: Se vou viajar hoje, então preciso dormir agora.