Contraexemplo

Na lógica (especialmente em suas aplicações à matemática e filosofia), um contraexemplo (AO 1945: contra-exemplo) é uma exceção a uma regra ou lei geral proposta, e muitas vezes aparece como um exemplo que refuta uma declaração universal.^[1][2] Por exemplo, a afirmação "todos os alunos são preguiçosos" é uma afirmação universal que afirma que uma certa propriedade (preguiça) vale para todos os alunos. Assim, qualquer aluno que não seja preguiçoso (por exemplo, trabalhador) constituiria um contraexemplo a essa afirmação. Um contraexemplo, portanto, é um exemplo específico da falsidade de uma quantificação universal (uma afirmação "para todo").^[3]