Considere a seguinte afirmação: “Existe, pelo menos, um candidato que, se ele não dormiu bem à noite, então não foi aprovado no concurso.”
Uma negação lógica para a afirmação apresentada é:
Todos os candidatos não dormiram bem à noite e foram aprovados no concurso.
Não existe candidato que não dormiu bem à noite e foi aprovado no concurso.
Existe candidato que, se foi aprovado no concurso, então dormiu bem à noite.
Existe mais de um candidato que, se ele não dormiu bem à noite, então não foi aprovado no concurso.
Todos os candidatos dormiram bem à noite e foram aprovados no concurso.