(IAUPE 2026) - QUESTÃO

Considere o seguinte argumento lógico: “Se o aluno estuda para a prova, então ele obtém boa nota.” Sabemos que o aluno não obteve boa nota. Então, é logicamente CORRETO concluir que

Ⓐ o aluno estudou para a prova.

Ⓑ o aluno não estudou para a prova.

Ⓒ o aluno obteve boa nota em outra disciplina.

Ⓓ a prova foi muito difícil.

Ⓔ Não é possível concluir nenhuma informação.

Vamos representar o argumento:

• P: O aluno estuda para a prova.
• Q: O aluno obtém boa nota.

A premissa dada é:

Se P, então Q (P → Q)

Também sabemos que:

Não Q (o aluno não obteve boa nota)

Pela regra lógica chamada Modus Tollens, quando temos:

• P → Q
• ¬Q

podemos concluir:

• ¬P

Ou seja: O aluno não estudou para a prova.