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 é: