Um professor afirmou:
“Quem acertar todas as questões de múltipla-escolha vai tirar conceito A.”
Alberto é um de seus alunos.
Uma consequência lógica da sentença do professor é:
- A se Alberto tirou conceito A, então ele acertou todas as questões de múltipla-escolha.
- B se Alberto não tirou conceito A, então ele acertou todas as questões de múltipla-escolha.
- C se Alberto não tirou conceito A, então ele errou todas as questões de múltipla-escolha.
- D se Alberto não tirou conceito A, então ele errou exatamente uma questão de múltipla-escolha.
- E se Alberto não tirou conceito A, então ele errou pelo menos uma questão de múltipla-escolha.