In de wiskunde kan de geldigheid van één of andere stelling soms worden ontkracht door met een tegenvoorbeeld te komen. Stel dat ik beweer dat alle priemgetallen oneven zijn. (Een priemgetal is een getal dat uitsluitend deelbaar is door 1 en zichzelf).
Je ziet hier een aantal priemgetallen.
Welk van onderstaande getallen is een tegenvoorbeeld?
Juist! 2 is een even getal dat alleen deelbaar is door zichzelf en 1.
De conclusie moet dus zijn dat de mathematische stelling onjuist is, want niet alle priemgetallen zijn oneven. Immers, 2 is zowel een priemgetal als een even getal.
Dit is wel een priemgetal, maar geen even getal.
Nee, dit is wel een even getal, maar geen priemgetal. 4 is deelbaar door 1, 2 en zichzelf.
Dit is wel een priemgetal, maar geen even getal.
Nee, er is wel een even priemgetal tussen de mogelijkheden.