Considere a afirmação: 'Não é verdade que todos os alunos estudaram e nenhum faltou'. Essa proposição é logicamente equivalente a afirmar que 'Existe pelo menos um aluno que não estudou ou todos os alunos faltaram'.