⚖️ Raisonnement formel Tous niveaux #03 / 38

La négation de « ∀ x, P(x) » écrite à l'envers

Beaucoup écrivent ¬(∀ x, P(x)) = ∀ x, ¬P(x). Faux : il faut basculer le quantificateur.

🧠 Biais cognitif identifié : Conservation du quantificateur

❌ L'erreur typique

L'erreur classique, et persistante, est d'écrire que la négation d'une proposition quantifiée universellement ( $\forall x, P (x)$ ) est une proposition quantifiée universellement ( $\forall x, \neg P (x)$ ). Autrement dit, de croire que $\neg (\forall x, P (x)) ⟺ (\forall x, \neg P (x))$ .

Considérez l'exemple suivant : « Tous les lycéens de la classe ont eu la moyenne au dernier devoir de maths ». La négation de cette affirmation n'est pas « Tous les lycéens de la classe n'ont pas eu la moyenne ». La négation correcte est : « Au moins un lycéen de la classe n'a pas eu la moyenne ». La première négation erronée implique que chaque élève est en échec, alors que la négation correcte n'exige qu'un seul élève en échec pour invalider l'affirmation initiale. La nuance est fondamentale et conduit à des raisonnements invalides.

✅ Le réflexe pour ne plus jamais y tomber

Pour éviter cette erreur, appliquez systématiquement la règle de négation des quantificateurs. La négation d'un quantificateur universel ( $\forall$ ) est un quantificateur existentiel ( $\exists$ ), et vice-versa. La négation d'une proposition quantifiée se fait en deux étapes :

Changer le quantificateur : $\forall$ devient $\exists$ , et $\exists$ devient $\forall$ .
Néguer la proposition qui suit le quantificateur.

Ainsi :

$\neg (\forall x, P (x)) ⟺ (\exists x, \neg P (x))$
$\neg (\exists x, P (x)) ⟺ (\forall x, \neg P (x))$

Avant de conclure, vérifiez votre négation sur un exemple concret, même trivial. Si l'affirmation est vraie, sa négation doit être fausse, et inversement. Si l'exemple concret vous met mal à l'aise, c'est que votre négation est probablement incorrecte.

🎯 Où ça te coûte des points au BAC SM

Cette erreur est particulièrement préjudiciable dans les épreuves du BAC SM, notamment dans les exercices de logique, de démonstration par l'absurde, ou de caractérisation des limites. Par exemple, la définition de la non-convergence d'une suite $(u_{n})$ vers un réel $L$ est $\neg (\forall \varepsilon > 0, \exists N \in \mathbb{N}, \forall n \ge N, |u_n - L| < \varepsilon)$.

Appliquer la règle de négation correctement donne : $\exists ε > 0, \forall N \in N, \exists n \geq N, ∣ u_{n} - L ∣ \geq ε$ . Une erreur de quantificateur ici rend toute la suite de la démonstration invalide. De même, pour prouver qu'une fonction n'est pas surjective, il faut montrer qu'il existe un élément de l'ensemble d'arrivée qui n'a pas d'antécédent, et non que tous les éléments n'en ont pas. La rigueur dans la manipulation des quantificateurs est un prérequis fondamental pour la réussite en BAC SM.

💡 Pour les curieux : pourquoi ton cerveau fait ça déplier ▾replier ▴

Pour nier une phrase, l'intuition cherche le mot le plus visible et le retourne sur place, comme on transforme « tout est rangé » en « tout est en désordre ». On laisse alors le $\forall$ intact et on nie seulement $P$ . Mais nier « tous » ne donne pas « aucun » : il suffit d'un contre-exemple, donc $\neg (\forall x, P (x))$ devient $\exists x, \neg P (x)$ . L'erreur vient de ce qu'on se figure un cas typique unique et qu'on lui applique la négation, sans voir que le quantificateur lui-même bascule. La portée du « pour tout » est invisible à l'œil pressé, alors qu'elle est le vrai sujet de la phrase.