Lógica proposicional – Modus Tollens
Gabarito: letra B. A proposição composta do enunciado é uma condicional: “Se Adão vai ao cinema, então (Benedito consegue estudar e Carla não faz brigadeiro)”. Ao afirmar que “Carla fez brigadeiro”, temos a negação da segunda parte da conjunção, o que torna o consequente falso. Pela regra do Modus Tollens (se P→Q e Q é falso, então P é falso), conclui-se que o antecedente “Adão vai ao cinema” é falso, ou seja, Adão não foi ao cinema.
Alternativa A — ❌ Incorreta
Afirma que Benedito conseguiu estudar. Sabemos que a conjunção (Benedito consegue estudar e Carla não faz brigadeiro) é falsa porque Carla fez brigadeiro. Mas isso não permite determinar o valor de “Benedito consegue estudar” – ele pode ser verdadeiro ou falso. A alternativa comete o erro de supor que, como a conjunção é falsa, necessariamente Benedito não estudou, mas o correto é que a conjunção já é falsa pela segunda parte, independentemente de Benedito.
Alternativa B — ✅ Correta ⟵ GABARITO
Conforme demonstrado, a condicional com consequente falso exige antecedente falso. Portanto, é correto afirmar que Adão não foi ao cinema.
Alternativa C — ❌ Incorreta
Diz que Benedito não conseguiu estudar. Da mesma forma que a alternativa A, não há informação suficiente para concluir isso. O consequente é falso devido a Carla ter feito brigadeiro, mas nada se pode afirmar sobre Benedito.
Alternativa D — ❌ Incorreta
Afirma que Adão foi ao cinema. Isso contradiz diretamente a conclusão do Modus Tollens. Se Adão tivesse ido ao cinema, o consequente deveria ser verdadeiro, mas não é.
Alternativa E — ❌ Incorreta
Expressa uma condicional: “Adão foi ao cinema se Benedito conseguiu estudar”. Essa proposição não é equivalente à original nem pode ser inferida. A relação entre Adão e Benedito não é de dependência unilateral nesse sentido.
Gabarito: letra B.