Académique Documents
Professionnel Documents
Culture Documents
6 Négation
Pour nier une phrase mathématique, c’est-à-dire pour écrire le contraire d’une propriété
comprenant des quantificateurs, on inverse tous les quantificateurs, c’est-à-dire que l’on
∃ε > 0 tel que ∀α > 0 , ∃t ∈]t0 −α,t0 +α[ tel que | f(t)− f(t0)| ≥ ε.
contraire [∃x,non R(x)] est vraie c’est-à-dire qu’il existe un élément x qui ne vérifie pas
la propriété [∀x ∈ C , |x| = ±x] est fausse et la propriété [∃x ∈ C , |x| 6= ±x ] est vraie.
On cherche à démontrer qu’une propriété P(n) dépendant d’un entier n, est vraie quelque
soit n ∈ N. Pour cela, on démontre la première propriété, en général P(0) ou P(1). Puis,
propriété P(n+1) l’est aussi. Alors, de proche en proche à partir de la première propriété,
on peut montrer que toutes les propriétés P(n) sont vraies. Le schéma de démonstration