Considere a afirmação: "Se todos os alunos da turma estudaram para a prova e a prova foi fácil, então todos os alunos da turma foram aprovados". Se a prova foi fácil, mas nem todos os alunos da turma foram aprovados, é correto concluir que a negação da premissa 'todos os alunos da turma estudaram para a prova' é verdadeira.