Um professor afirmou: “Que m 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 é:

se Alberto tirou conceito A, então ele acertou todas as questões de múltipla-escolha.

se Alberto não tirou conceito A, então ele acertou todas as questões de múltipla-escolha.

se Alberto não tirou conceito A, então ele errou todas as questões de múltipla-escolha.

se Alberto não tirou conceito A, então ele errou exatamente uma questão de múltipla-escolha.

se Alberto não tirou conceito A, então ele errou pelo menos uma questão de múltipla-escolha.