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.