contraexemplo
Sign in to saveA counterexample is a specific example that contradicts a claim, hypothesis, or generalization. In logic a counterexample disproves a universally stated claim, and does so rigorously in the fields of mathematics and philosophy. For example, the statement that "student John Smith is not lazy" is a counterexample to the generalization "students are lazy", and both a counterexample to, and disproof of, the universal quantification "all students are lazy."
Article · Português
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. 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").
Abstract from DBpedia / Wikipedia · CC BY-SA