Rédigé et vérifié par un professeur diplômé de l’École Polytechnique, avec le niveau d’exigence attendu en classe préparatoire. Découvrir le professeur
En prépa, une démonstration mal quantifiée n’est pas « presque juste » : elle est fausse. Inverser un « pour tout » et un « il existe », nier maladroitement un énoncé, oublier le domaine d’une variable — voilà ce qui transforme une copie prometteuse en copie sanctionnée. Les deux symboles \(\forall\) et \(\exists\) sont la grammaire commune de toutes les mathématiques que tu vas écrire cette année. Cet article te montre comment les lire, les manipuler et surtout les nier sans erreur.
I. Définition et contexte
Avant de parler de quantificateurs, il faut comprendre l’objet sur lequel ils agissent : le prédicat. C’est lui qui transforme une phrase incomplète en énoncé mathématique précis.
A. Du prédicat à la proposition
Une proposition est un énoncé mathématique qui est soit vrai, soit faux, sans ambiguïté. « \(2+2=4\) » est une proposition vraie ; « \(3\) est pair » est une proposition fausse.
En revanche, l’énoncé « \(x \geq 0\) » n’est ni vrai ni faux tant qu’on n’a pas dit qui est \(x\). C’est un prédicat : une proposition dépendant d’une ou plusieurs variables. On le note souvent \(P(x)\).
Définition — Prédicat
Un prédicat sur un ensemble \(E\) est une propriété \(P(x)\) dépendant d’une variable \(x \in E\), telle que pour chaque valeur de \(x\), \(P(x)\) soit une proposition (vraie ou fausse).
Pour transformer un prédicat en proposition, on dispose de deux opérations : remplacer \(x\) par une valeur concrète, ou bien quantifier la variable. C’est cette seconde opération qui nous intéresse.
B. Le quantificateur universel ∀
Le symbole \(\forall\) se lit « pour tout » ou « quel que soit ». Il affirme qu’une propriété est vraie sans exception sur tout l’ensemble considéré.
Définition — Quantificateur universel
Soit \(P(x)\) un prédicat sur un ensemble \(E\). La proposition
\(\forall x \in E,\ P(x)\)
est vraie lorsque \(P(x)\) est vraie pour chaque élément \(x\) de \(E\), et fausse dès qu’il existe au moins un élément de \(E\) pour lequel \(P(x)\) est fausse.
Exemple : La proposition \(\forall x \in \mathbb{R},\ x^2 \geq 0\) est vraie : tout carré de réel est positif.
En revanche \(\forall x \in \mathbb{R},\ x^2 \gt x\) est fausse, car \(x = \frac{1}{2}\) donne \(x^2 = \frac{1}{4}\) < \(x\). Un seul contre-exemple suffit à invalider un énoncé universel.
Retiens dès maintenant une asymétrie fondamentale : démontrer un énoncé universel exige de traiter tous les cas, mais le réfuter ne demande qu’un seul contre-exemple. Ce déséquilibre structure une grande partie de la rédaction en prépa.
C. Le quantificateur existentiel ∃
Le symbole \(\exists\) se lit « il existe ». Il affirme qu’au moins une valeur rend la propriété vraie — sans rien préciser sur le nombre de ces valeurs.
Définition — Quantificateur existentiel
La proposition \(\exists x \in E,\ P(x)\) est vraie lorsqu’il existe au moins un élément \(x\) de \(E\) tel que \(P(x)\) soit vraie. Elle est fausse lorsque \(P(x)\) est fausse pour tous les éléments de \(E\).
Une variante très utilisée existe : le quantificateur d’existence et unicité, noté \(\exists !\, x\), qui se lit « il existe un unique \(x\) ». Il affirme à la fois l’existence d’une solution et le fait qu’elle soit la seule.
Exemple : \(\exists x \in \mathbb{R},\ x^2 = 2\) est vraie (prendre \(x = \sqrt{2}\)).
En revanche \(\exists !\, x \in \mathbb{R},\ x^2 = 2\) est fausse : il existe deux solutions, \(\sqrt{2}\) et \(-\sqrt{2}\). La quantification \(\exists !\) impose donc une condition strictement plus forte que \(\exists\).
Moyen mnémotechnique : \(\forall\) est un A renversé (All, en anglais) et \(\exists\) un E renversé (Exists). Cette origine te rappelle leur sens même sous le stress d’une khôlle.
Ces deux symboles sont les briques élémentaires de toute la logique propositionnelle. Pour les manier efficacement, il faut maintenant comprendre comment ils interagissent entre eux : c’est tout l’objet des propriétés qui suivent.
II. Propriétés et théorèmes
Deux questions reviennent systématiquement : peut-on échanger l’ordre de deux quantificateurs ? Et comment nier un énoncé quantifié ? Ce sont précisément les deux points où les copies dérapent le plus.
A. L’ordre des quantificateurs
Quand deux quantificateurs sont de même nature, leur ordre est indifférent.
Propriété — Permutation des quantificateurs de même nature
Pour tout prédicat \(P(x,y)\) :
\(\big(\forall x \in E,\ \forall y \in F,\ P(x,y)\big) \Leftrightarrow \big(\forall y \in F,\ \forall x \in E,\ P(x,y)\big)\)
\(\big(\exists x \in E,\ \exists y \in F,\ P(x,y)\big) \Leftrightarrow \big(\exists y \in F,\ \exists x \in E,\ P(x,y)\big)\)
En revanche, quand les deux quantificateurs sont de natures différentes, leur ordre change radicalement le sens de l’énoncé. C’est l’un des points les plus subtils du programme.
Erreur classique : croire que \(\forall x,\ \exists y\) et \(\exists y,\ \forall x\) disent la même chose. C’est faux. Dans \(\exists y,\ \forall x\), le \(y\) est choisi une fois pour toutes, indépendamment de \(x\). Dans \(\forall x,\ \exists y\), le \(y\) peut dépendre de \(x\).
Exemple décisif : sur \(\mathbb{R}\), comparons :
(1) \(\forall x \in \mathbb{R},\ \exists y \in \mathbb{R},\ y \gt x\) : vraie. À chaque \(x\), on peut associer \(y = x+1\). Le \(y\) dépend de \(x\).
(2) \(\exists y \in \mathbb{R},\ \forall x \in \mathbb{R},\ y \gt x\) : fausse. Cela affirmerait l’existence d’un réel plus grand que tous les autres — un « plus grand réel ». Il n’existe pas.
Même prédicat, même domaine : seul l’ordre a changé, et la valeur de vérité s’inverse.
Cette nuance n’est pas un caprice de logicien : c’est exactement elle qui distingue la continuité de la continuité uniforme d’une fonction. Nous y reviendrons dans la section IV.
Toute la mécanique des quantificateurs sur une seule page
Définitions, ordre, règle de négation et pièges classiques : la fiche recto-verso à garder sous les yeux en khôlle.
📄 Télécharger la fiche quantificateursGagne du temps et sécurise ta rédaction dès le premier chapitre.
B. La négation d’un énoncé quantifié
C’est sans doute la règle la plus rentable de tout le chapitre, car elle intervient dans chaque raisonnement par l’absurde et chaque contraposée.
Théorème — Négation des quantificateurs (exigible ⋆)
Pour tout prédicat \(P(x)\) sur \(E\) :
\(\lnot\big(\forall x \in E,\ P(x)\big) \Leftrightarrow \big(\exists x \in E,\ \lnot P(x)\big)\)
\(\lnot\big(\exists x \in E,\ P(x)\big) \Leftrightarrow \big(\forall x \in E,\ \lnot P(x)\big)\)
Autrement dit : nier un énoncé quantifié, c’est échanger chaque \(\forall\) en \(\exists\) (et réciproquement), puis nier le prédicat final. Cette règle est une généralisation des lois de De Morgan : un « pour tout » se comporte comme une conjonction infinie (un grand ET) et un « il existe » comme une disjonction infinie (un grand OU).
Méthode mécanique de négation : on parcourt l’énoncé de gauche à droite ; on remplace chaque quantificateur par son contraire, on laisse les variables et leurs domaines inchangés, et on nie uniquement la propriété finale (le « cœur » de l’énoncé).
Exemple : nions la définition de la limite \(\ell\) d’une fonction \(f\) en \(a\) :
\(\forall \varepsilon \gt 0,\ \exists \eta \gt 0,\ \forall x \in I,\ |x-a| \lt \eta \Rightarrow |f(x)-\ell| \lt \varepsilon\)
Sa négation est :
\(\exists \varepsilon \gt 0,\ \forall \eta \gt 0,\ \exists x \in I,\ |x-a| \lt \eta \ \text{ et }\ |f(x)-\ell| \geq \varepsilon\)
Observe que la négation de l’implication \(A \Rightarrow B\) est \(A \text{ et } \lnot B\) : c’est pourquoi le « ⟹ » est devenu un « et ».
Cette transformation revient inlassablement dès qu’on raisonne par l’absurde. Voyons maintenant comment la dérouler proprement, étape par étape.
III. Méthode : traduire et nier un énoncé quantifié
Beaucoup d’erreurs viennent d’un énoncé mal formalisé dès le départ. Une bonne méthode se décompose en quatre temps.
A. Les quatre étapes
- Identifier les variables et leur domaine. Chaque variable doit appartenir à un ensemble explicite. « Il existe un entier » (\(\exists n \in \mathbb{Z}\)) n’est pas « il existe un réel » (\(\exists x \in \mathbb{R}\)).
- Ordonner les quantificateurs selon les dépendances. Si une quantité dépend d’une autre, elle est quantifiée après. « Pour tout \(\varepsilon\), il existe \(\eta\) » : le \(\eta\) dépend du \(\varepsilon\).
- Écrire le cœur de l’énoncé (le prédicat final), en séparant bien hypothèse et conclusion s’il s’agit d’une implication.
- Pour nier : basculer chaque quantificateur, conserver les domaines, nier le cœur. Une implication \(A \Rightarrow B\) se nie en \(A \text{ et } \lnot B\).
Piège de domaine : ne jamais quantifier une variable « dans le vide ». Écrire \(\forall x,\ P(x)\) sans préciser l’ensemble est ambigu et coûte des points. Sur \(\emptyset\), par convention \(\forall x \in \emptyset,\ P(x)\) est toujours vraie et \(\exists x \in \emptyset,\ P(x)\) toujours fausse.
B. Un exemple résolu
Énoncé : formaliser puis nier la phrase « la suite \((u_n)\) est majorée ».
Formalisation. Être majorée signifie qu’il existe un réel \(M\) supérieur ou égal à tous les termes :
\(\exists M \in \mathbb{R},\ \forall n \in \mathbb{N},\ u_n \leq M\)
L’ordre compte : le majorant \(M\) est le même pour tous les indices, d’où \(\exists M\) avant \(\forall n\).
Négation. On bascule les deux quantificateurs et on nie \(u_n \leq M\) :
\(\forall M \in \mathbb{R},\ \exists n \in \mathbb{N},\ u_n \gt M\)
Ce qui se lit : « pour tout réel \(M\), on peut trouver un terme de la suite qui le dépasse » — exactement la définition d’une suite non majorée.
Cette gymnastique de formalisation/négation est l’outil de base du raisonnement par l’absurde, que tu retrouveras développé dans la page dédiée au raisonnement par l’absurde et par contraposée.
IV. Application : l’ordre des quantificateurs en analyse
Voici un élément que les autres ressources passent sous silence : l’ordre des quantificateurs n’est pas un détail formel, c’est ce qui sépare deux notions distinctes en analyse. Le comprendre te donne une longueur d’avance dès le premier chapitre de continuité.
Compare les deux définitions suivantes, pour une fonction \(f\) définie sur un intervalle \(I\).
Continuité (en tout point)
\(\forall a \in I,\ \forall \varepsilon \gt 0,\ \exists \eta \gt 0,\ \forall x \in I,\ |x-a| \lt \eta \Rightarrow |f(x)-f(a)| \lt \varepsilon\)
Ici le module \(\eta\) peut dépendre à la fois de \(\varepsilon\) et du point \(a\).
Continuité uniforme
\(\forall \varepsilon \gt 0,\ \exists \eta \gt 0,\ \forall a \in I,\ \forall x \in I,\ |x-a| \lt \eta \Rightarrow |f(x)-f(a)| \lt \varepsilon\)
Ici \(\eta\) ne dépend que de \(\varepsilon\) : un même \(\eta\) convient pour tous les points \(a\) de \(I\).
La seule différence entre les deux énoncés est la position du \(\forall a\) par rapport au \(\exists \eta\). Pourtant ces deux notions ne sont pas équivalentes : \(x \mapsto x^2\) est continue sur \(\mathbb{R}\) mais n’y est pas uniformément continue. C’est la meilleure illustration possible que déplacer un quantificateur change le théorème.
À retenir : quand tu lis une définition d’analyse, demande-toi toujours « de quoi dépend ce \(\exists\) ? ». La réponse se lit dans l’ordre : un \(\exists\) dépend de tous les \(\forall\) écrits à sa gauche, et d’aucun de ceux écrits à sa droite.
Cette lecture « de gauche à droite » des dépendances est un réflexe que tu utiliseras dans tout le programme d’analyse. Entraînons-le maintenant sur quelques exemples.
V. Exemples d’application
Voici trois exemples corrigés, de difficulté croissante. Pour t’entraîner sur une série complète (15 à 40 exercices avec corrigés pas à pas), rends-toi sur la page exercices ensembles et applications.
Exemple 1 (★) — Lire une valeur de vérité.
Les propositions suivantes sont-elles vraies sur \(\mathbb{R}\) ?
(a) \(\forall x \in \mathbb{R},\ \exists y \in \mathbb{R},\ x + y = 0\) — Vraie : prendre \(y = -x\) (qui dépend de \(x\)).
(b) \(\exists y \in \mathbb{R},\ \forall x \in \mathbb{R},\ x + y = 0\) — Fausse : un même \(y\) ne peut annuler \(x+y\) pour tous les \(x\).
Exemple 2 (★★) — Négation d’un énoncé composé.
Nier : \(\forall x \in \mathbb{R},\ (x \gt 0 \Rightarrow \exists n \in \mathbb{N},\ \frac{1}{n+1} \lt x)\).
Correction. On bascule \(\forall x\) en \(\exists x\), et on nie l’implication \((x \gt 0) \Rightarrow (\dots)\) sous la forme \((x \gt 0) \text{ et } \lnot(\dots)\). La négation de \(\exists n,\ \frac{1}{n+1} \lt x\) est \(\forall n,\ \frac{1}{n+1} \geq x\). D’où :
\(\exists x \in \mathbb{R},\ \Big(x \gt 0 \ \text{ et }\ \forall n \in \mathbb{N},\ \frac{1}{n+1} \geq x\Big)\)
(L’énoncé de départ est vrai par la propriété d’Archimède ; sa négation est donc fausse, ce qui est cohérent.)
Exemple 3 (★★★) — Raisonnement par l’absurde via quantificateurs.
Montrer qu’il n’existe pas de plus petit réel strictement positif, c’est-à-dire que \(\lnot\big(\exists a \in \mathbb{R}_+^*,\ \forall x \in \mathbb{R}_+^*,\ a \leq x\big)\).
Correction. Supposons par l’absurde qu’un tel \(a\) existe : \(\forall x \in \mathbb{R}_+^*,\ a \leq x\). Posons \(x = \displaystyle\frac{a}{2}\). Comme \(a \gt 0\), on a \(\displaystyle\frac{a}{2} \in \mathbb{R}_+^*\), donc l’hypothèse impose \(a \leq \displaystyle\frac{a}{2}\), soit \(\displaystyle\frac{a}{2} \leq 0\), donc \(a \leq 0\) : contradiction avec \(a \gt 0\). L’hypothèse est absurde. ∎
VI. Erreurs fréquentes et rédaction en concours
Les correcteurs sanctionnent presque toujours les mêmes maladresses. En voici trois, présentées sous forme de copie fautive commentée.
❌ Copie fautive 1. « On a \(\forall x,\ \exists y,\ y = 2x\) donc \(\exists y,\ \forall x,\ y = 2x\). »
Diagnostic. Permutation interdite de deux quantificateurs de natures différentes. Le passage de \(\forall\exists\) à \(\exists\forall\) renforce arbitrairement l’énoncé.
✅ Correction. \(\forall\exists\) est vrai (prendre \(y=2x\) dépendant de \(x\)) ; \(\exists\forall\) est faux. On ne peut jamais déduire l’un de l’autre dans ce sens.
❌ Copie fautive 2. « La négation de \(\forall x,\ f(x) \gt 0\) est \(\forall x,\ f(x) \leq 0\). »
Diagnostic. Deux erreurs cumulées : le quantificateur n’a pas été basculé (on garde \(\forall\) au lieu de \(\exists\)), comme si nier « tous positifs » revenait à « tous négatifs ».
✅ Correction. La négation est \(\exists x,\ f(x) \leq 0\). Il suffit d’un seul point où \(f\) n’est pas strictement positive.
❌ Copie fautive 3. « Soit \(\varepsilon \gt 0\). Posons \(\eta = \varepsilon\). Soit \(x\)… puis on choisit \(\varepsilon = |f(x)-\ell|\). »
Diagnostic. On réutilise \(\varepsilon\) alors qu’il a déjà été fixé en début de raisonnement. Une variable universellement quantifiée et déjà introduite est gelée : on ne peut plus lui réattribuer une valeur.
✅ Correction. Respecter l’ordre d’introduction des variables : ce qu’on « choisit » (le \(\eta\)) doit venir après ce qu’on « subit » (le \(\varepsilon\)), et jamais l’inverse.
Ce que le correcteur attend (rédaction concours) :
- Chaque variable est introduite par « Soit » (pour un \(\forall\) qu’on subit) ou explicitement construite (pour un \(\exists\) qu’on choisit), dans l’ordre des quantificateurs.
- Le domaine de chaque variable est toujours précisé.
- Pour prouver \(\forall x,\ P(x)\) : commencer par « Soit \(x \in E\) » fixé quelconque. Pour prouver \(\exists x,\ P(x)\) : exhiber un candidat explicite et vérifier qu’il convient.
- Une équivalence quantifiée se démontre par double implication, pas par manipulation symbolique brute.
Ces réflexes de rédaction, couplés à la règle de négation, constituent l’essentiel de ce qu’on attend de toi sur ce thème. Reste à lever les dernières questions classiques.
VII. Questions fréquentes
Qu'est-ce qu'un quantificateur en maths ?
Un quantificateur est un symbole logique qui précise « combien » d’éléments d’un ensemble vérifient une propriété. Les deux quantificateurs de base sont le quantificateur universel \(\forall\) (« pour tout »), qui affirme qu’une propriété est vraie pour tous les éléments, et le quantificateur existentiel \(\exists\) (« il existe »), qui affirme qu’au moins un élément la vérifie.
Quelle est la différence entre ∀ et ∃ ?
\(\forall x \in E,\ P(x)\) exige que la propriété soit vraie pour chaque élément : un seul contre-exemple la rend fausse. \(\exists x \in E,\ P(x)\) demande seulement qu’un élément la vérifie : une seule valeur favorable suffit à la rendre vraie. Démontrer un \(\forall\) est donc bien plus exigeant que le réfuter, et inversement pour un \(\exists\).
Comment nier un énoncé quantifié ?
On applique une règle mécanique : on remplace chaque \(\forall\) par \(\exists\) et chaque \(\exists\) par \(\forall\), on conserve les variables et leurs domaines, puis on nie le prédicat final. Par exemple, la négation de \(\forall x,\ P(x)\) est \(\exists x,\ \lnot P(x)\). C’est une généralisation des lois de De Morgan.
L'ordre des quantificateurs change-t-il le sens ?
Oui, dès qu’ils sont de natures différentes. \(\forall x,\ \exists y,\ P(x,y)\) autorise \(y\) à dépendre de \(x\), alors que \(\exists y,\ \forall x,\ P(x,y)\) impose un \(y\) unique valable pour tous les \(x\). Ces deux énoncés peuvent avoir des valeurs de vérité opposées. En revanche, deux quantificateurs de même nature peuvent être permutés librement.
Quelle est la différence entre un quantificateur et un connecteur logique ?
Un connecteur logique (¬, ∧, ∨, ⟹, ⟺) relie des propositions entre elles, sans variable. Un quantificateur, lui, agit sur une variable pour transformer un prédicat (énoncé à trou) en proposition complète. Les deux sont liés : un \(\forall\) se comporte comme une conjonction infinie et un \(\exists\) comme une disjonction infinie, ce qui explique pourquoi les lois de De Morgan gouvernent leur négation. Pour la mécanique des connecteurs, consulte la page tables de vérité.
Que signifie le symbole ∃! ?
\(\exists !\, x \in E,\ P(x)\) se lit « il existe un unique \(x\) de \(E\) tel que \(P(x)\) ». Il combine deux affirmations : l’existence (au moins une solution) et l’unicité (au plus une solution). C’est une condition strictement plus forte que \(\exists\) seul. Pour le démontrer, on prouve séparément l’existence puis l’unicité.
VIII. Pour aller plus loin
Tu sais désormais lire, ordonner et nier les quantificateurs. Ces compétences sont le socle de la logique mathématique de prépa. Pour consolider l’ensemble :
- Raisonnement par l’absurde et par contraposée — où la négation des énoncés quantifiés devient un véritable outil de démonstration.
- Lois de De Morgan — la racine logique de la règle de négation des quantificateurs.
- Connecteurs logiques et tables de vérité — pour maîtriser les ¬, ∧, ∨, ⟹, ⟺ qui composent le cœur des énoncés.
- Théorie des ensembles : cours complet — le pilier qui relie logique, ensembles, applications et relations.
- Exercices corrigés (prépa) — pour t’entraîner intensivement sur la formalisation et la négation.
Tu prépares les concours et tu veux sécuriser ta rédaction dès la rentrée ? Découvre nos cours particuliers de maths en prépa, avec un suivi sur-mesure assuré par des professeurs issus des plus grandes écoles.
—
