tegenvoorbeeld
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."
Wikidata facts
Sources (2)
via Wikidata · CC0
Article · Nederlands
In de logica, en vooral in de toepassingen daarvan in de wiskunde en de filosofie, is een tegenvoorbeeld een uitzondering op een voorgestelde algemene regel. Denk bijvoorbeeld aan de stelling "alle studenten zijn lui". Omdat deze bewering stelt dat een bepaalde eigenschap (luiheid) voor alle studenten geldt, is zelfs een enkel voorbeeld van een ijverige student genoeg om deze bewering te ontkrachten. Elke hardwerkende student is dus een tegenvoorbeeld van de bewering dat "alle studenten lui zijn". Meer in het bijzonder is een tegenvoorbeeld een specifiek geval van de falsificatie van een universele kwantor (een "voor alle" bewering). In de wiskunde wordt deze term (door een lichte misbruik) soms ook gebruikt voor voorbeelden, die de noodzaak van de volledige hypothese van een stelling illustreren, door een geval te beschouwen waar een deel van de hypothese niet wordt geverifieerd, en waar men kan aantonen dat de conclusie niet opgaat. Een tegenvoorbeeld kan in een argument lokaal of globaal zijn.
Abstract from DBpedia / Wikipedia · CC BY-SA