contre-exemple [latin : contra, contre ; et exemplum, par exemple)] (2) :
Soit p une proposition de la forme "pour
tout x vérifiant la propriété A, x vérifie la propriété
B", ou "si x vérifie la propriété A, alors x
vérifie la propriété B".
Un contre-exemple est la donnée d'un élément
x0 qui vérifie A mais pas B.
Ceci permet de démontrer que la proposition p est fausse.
La proposition "tout nombre premier est impair" est fausse, car 2 est un nombre premier, mais il n'est pas impair.