Contre exemple

Pour montrer qu'une proposition est fausse il suffit de donner ce qu'on appelle un contre-exemple c'est à dire un cas particulier pour lequel la proposition est fausse.

Exemple

Montrer que : " \(\forall n \in \mathbb{N}: n^{2}+1\) est premier" est fausse.

Démonstration : Pour montrer que cette assertion est fausse, il faut montrer que sa négation " \(\exists n \in \mathbb{N}: n^{2}+1\) n'est pas premier" est vraie. En effet, \(\exists n=3 \in \mathbb{N}: 3^{2}+1=10\) n'est pas premier.

Conclusion :

L'assertion " \(\forall n \in \mathbb{N}: n^{2}+1\) est premier" est fausse.