Se o alarme toca, então João faz o jantar ou Maria faz o almoço. Sabendo que Maria não fez o almoço, é logicamente CORRETO afirmar que

Gabarito

Errado

Comentário do professor

Formalize: \(A\): o alarme toca; \(J\): João faz o jantar; \(M\): Maria faz o almoço. As premissas são \(A \to (J \lor M)\) e \(\lnot M\).

Se assumirmos \(A\) verdadeiro, de \(A \to (J \lor M)\) segue \(J \lor M\); com \(\lnot M\) isso implica \(J\).

No entanto, nada nos garante que \(A\) seja verdadeiro. Se \(A\) for falso, a condicional é verdadeira independentemente de \(J\).

Portanto, não se pode afirmar de maneira lógica e definitiva nem que o alarme tocou nem, de forma incondicional, que João fez o jantar. Em vista disso, não é possível concluir uma conclusão segura apenas com as informações dadas.