La recherche d’un contre-exemple est utilisée pour prouver qu’une proposition est fausse. Pour montrer qu’un énoncé qui commence par « quel que soit » ou « pour tout… » est faux, il suffit de trouver un élément (« il existe… ») qui réalise les conditions imposées dans l’hypothèse sans que soit vérifiée la conclusion.