A afirmação “todos os alunos que estudaram passaram por
média”, em outras palavras, pode ser interpretada como: “para
todo aluno, é verdade que: se ele estudou, então ele passou por
média”. Uma outra sentença que é logicamente equivalente a
essa é: