Publié le 9 novembre 2026 · Mis à jour le 9 novembre 2026 · Signaler une erreur
L'essentiel
Un énoncé quantifié parle d'un ensemble d'objets, souvent de nombres : il faut préciser si c'est « pour tout » ou « il existe » 3.
∀ se lit « pour tout » ou « quel que soit » ; ∃ se lit « il existe au moins un » ; ∃! ajoute l'unicité 4.
Pour prouver un « pour tout », une vérification sur quelques valeurs ne suffit pas ; pour le réfuter, un seul contre-exemple suffit.
Pour prouver un « il existe », on exhibe une valeur qui convient ; pour le réfuter, on montre que toutes les valeurs échouent.
La négation de « pour tout x, P » est « il existe x tel que non P » ; la négation de « il existe x, P » est « pour tout x, non P ».
Avec deux quantificateurs différents, l'ordre change le sens : on ne les échange jamais 4.
Pourquoi quantifier un énoncé ?
Prends la phrase « le carré d'un nombre est positif ». Tu la trouves sûrement vraie, et tu as raison. Pourtant, elle ne dit pas clairement de quel nombre on parle : d'un nombre précis, de certains nombres, de tous les nombres ? En mathématiques, cette précision change tout. Au collège, tu as déjà rencontré beaucoup d'énoncés de ce genre, où la quantité de nombres concernés restait sous-entendue 2. En Seconde, on apprend à la faire apparaître.
Un énoncé qui ne dit pas combien d'éléments sont concernés possède ce que les enseignants appellent une quantification implicite : elle n'est marquée par aucun mot ni aucun symbole 3. Rendre la quantification explicite, c'est écrire noir sur blanc « pour tout » ou « il existe ».
Dans ce cours, tu vas apprendre à lire ces deux expressions, à les écrire en langage courant puis avec des symboles, à les combiner, à les nier, et à les utiliser pour rédiger proprement. Tu as besoin de deux notions vues avant : les ensembles (appartenance ∈ et inclusion) et l'implication. Si tu hésites sur « x∈R », relis d'abord ce rappel : cela signifie « x est un nombre réel ».
Le quantificateur universel : « pour tout »
Le symbole vient de l'initiale du mot allemand pour « tout » (alle) : le logicien Gerhard Gentzen l'a proposé pour la première fois en 1933, en retournant la lettre A 4. Tu peux retenir le A de l'anglais « All » ou de l'allemand « alle ».
Pour lire une phrase avec ∀, on suit toujours le même schéma : le quantificateur, la variable, l'ensemble où elle vit, puis la propriété.
Le quantificateur existentiel : « il existe »
Le mot « au moins » est capital. Si deux nombres, dix nombres ou une infinité de nombres conviennent, l'énoncé existentiel reste vrai. Il ne devient faux que si aucun élément ne convient. Gentzen a choisi le A retourné pour ∀ par analogie avec ce ∃, qu'il tenait de Russell, lequel l'avait lui-même emprunté à Peano 4.
Un tableau pour tout comparer
Voici les trois quantificateurs côte à côte. Les symboles et leur sens viennent des définitions précédentes ; les colonnes sur la preuve et la réfutation résument les méthodes que tu viens de voir et que tu verras plus loin.
Les trois quantificateurs en un coup d'œil
Symbole
Se lit
Sens
Pour prouver
Pour réfuter
∀
pour tout, quel que soit
tous les éléments conviennent
élément quelconque et raisonnement général
un contre-exemple
∃
il existe (au moins un)
au moins un élément convient
exhiber un exemple
montrer que tous échouent
∃!
il existe un unique
exactement un élément convient
existence, puis unicité
aucun ne convient, ou au moins deux conviennent
Les trois quantificateurs en un coup d'œil · Pour prouver ou réfuter, ce sont les méthodes du cours.
Combiner plusieurs quantificateurs
Beaucoup d'énoncés demandent deux variables, donc deux quantificateurs. Une règle gouverne leur écriture : les quantificateurs de même nature peuvent s'échanger, ceux de natures différentes ne le peuvent pas. Côté logique, un bloc de quantificateurs identiques s'écrit dans n'importe quel ordre sans changer la formule, tandis que faire alterner des blocs universels et existentiels produit des formules bien distinctes 4.
Nier un énoncé quantifié et utiliser un contre-exemple
Nier un énoncé, c'est écrire sa phrase contraire : elle est vraie exactement quand l'énoncé de départ est faux. Pour les énoncés quantifiés, la négation échange les quantificateurs et nie la propriété. Les raisonnements qui suivent viennent du sens même de « pour tout » et de « il existe ».
Démonstration · Pourquoi ces deux négations ?
Dire que « tous les éléments de E vérifient P » est faux, c'est dire qu'il n'est pas vrai que tous vérifient P. Cela arrive exactement quand au moins un élément ne vérifie pas P : c'est ∃x∈E,non P(x).
De même, dire qu'« au moins un élément vérifie P » est faux, c'est dire qu'aucun élément ne vérifie P. Autrement dit, tous les éléments vérifient « non P » : c'est ∀x∈E,non P(x).
Rédiger avec des quantificateurs et éviter les pièges
Apprendre à quantifier se fait en trois étapes : comprendre pourquoi il faut quantifier, savoir expliciter les quantifications d'un énoncé, puis savoir rédiger avec des quantificateurs 2. En classe, on commence par la langue naturelle : on fait noter les quantifications par écrit quand c'est utile, sans formalisme excessif 2.
Exercices corrigés
Exercice 1 Traduire et décider du vrai ou du faux
★☆☆Environ 10 min
Pour chaque énoncé, lis-le à voix haute, dis s'il est vrai ou faux, puis justifie.
a) ∀x∈R,x2≥x
b) ∃x∈R,x2=x
c) ∀n∈N,n est pair
Indice 1
Pour un « pour tout » faux, cherche un contre-exemple parmi les petits nombres, y compris entre 0 et 1.
Indice 2
Pour un « il existe », essaie 0 et 1.
Voir la correction pas à pas
a) L'énoncé dit : « pour tout réel x, x2 est supérieur ou égal à x ». Testons x=21 : x2=41 et 41<21. L'inégalité est donc fausse pour cette valeur : c'est un contre-exemple, l'énoncé a) est faux.
b) L'énoncé dit : « il existe un réel dont le carré est égal à lui-même ». Prenons x=1 : 12=1. Une valeur qui convient suffit, donc l'énoncé b) est vrai (on pourrait aussi prendre x=0).
c) L'énoncé dit : « tout entier naturel est pair ». Prenons n=1 : il est impair. C'est un contre-exemple, donc l'énoncé c) est faux.
Résultat : a) faux, b) vrai, c) faux. Pour un « pour tout » on cherche un contre-exemple ; pour un « il existe » on cherche un exemple.
Exercice 2 Compter les valeurs qui conviennent
★★☆Environ 12 min
On considère les entiers de 1 à 20. On note P(n) la propriété « n2>50 ».
Démontre que l'énoncé « ∃n∈{1,…,20},n2>50 » est vrai.
Démontre que « ∀n∈{1,…,20},n2>50 » est faux.
Combien d'entiers n de cette liste vérifient P(n) ?
Indice 1
Cherche le plus petit entier dont le carré dépasse 50 : compare 72 et 82.
Indice 2
Une fois le premier entier trouvé, tous les suivants conviennent aussi, car les carrés augmentent.
Voir la correction pas à pas
Calcule quelques carrés : 72=49 et 82=64. Donc 49≤50 et 64>50.
Question 1 : n=8 convient puisque 64>50. Il existe donc bien un entier de la liste avec n2>50 : l'énoncé est vrai.
Question 2 : n=1 donne 1≤50. C'est un contre-exemple, donc l'énoncé « pour tout » est faux.
Question 3 : les carrés augmentent quand n augmente. Comme 72=49 ne convient pas et 82=64 convient, tous les entiers de 8 à 20 conviennent et aucun entier de 1 à 7.
On compte les entiers de 8 à 20 : 20−8+1=13.
Il y a 13 entiers qui vérifient n2>50 dans la liste de 1 à 20. Un seul exemple prouve le « il existe », un seul contre-exemple réfute le « pour tout ».
Exercice 3 Existence et unicité d'une solution
★★★Environ 15 min
Soit g la fonction définie sur R par g(x)=3x−7.
Démontre que ∃!x∈R,g(x)=11.
Donne la valeur de cet unique réel.
Écris la négation de l'énoncé « ∀x∈R,g(x)=11 », puis dis laquelle des deux phrases est vraie.
Indice 1
Pour l'existence, résous l'équation. Pour l'unicité, suppose que deux réels a et b conviennent et montre qu'ils sont égaux.
Indice 2
Nier un « pour tout » donne un « il existe ».
Voir la correction pas à pas
Existence : on résout 3x−7=11, donc 3x=18, puis x=6. Vérification : g(6)=3×6−7=11. Il existe donc au moins un réel qui convient.
Unicité : supposons que a et b vérifient g(a)=11 et g(b)=11. Alors 3a−7=3b−7, donc 3a=3b, donc a=b. Deux solutions sont forcément égales : il n'y en a qu'une.
Conclusion pour 1 et 2 : ∃!x∈R,g(x)=11, et cet unique réel vaut 6.
Question 3 : la négation de « ∀x,g(x)=11 » est « ∃x∈R,g(x)=11 ». Cette négation est vraie (avec x=6), donc l'énoncé de départ « pour tout x, g(x)=11 » est faux.
L'unique réel tel que g(x)=11 est 6. L'existence se prouve en exhibant la valeur, l'unicité en montrant que deux solutions sont égales.
Quiz
8 questions · correction immédiate · ton score reste sur ton appareil.
Le symbole ∀, un A renversé, se lit « pour tout » ou « quel que soit » 4. Le symbole ∃ note « il existe » : c'est la confusion la plus tentante, car les deux se ressemblent. Quant à ∈, il exprime l'appartenance à un ensemble et ne quantifie rien.
Le quantificateur ∃ veut dire « au moins un » 4. L'énoncé est d'ailleurs vrai, avec 2 et −2. La réponse « un seul » est tentante mais fausse : l'unicité demande le signe ∃!, et ici il y a deux solutions.
Pour x=0, on obtient 02=0, qui n'est pas strictement positif : un seul contre-exemple suffit à rendre un « pour tout » faux. Un carré est positif ou nul, pas toujours strictement positif, ce qui piège la deuxième réponse. Tester quelques valeurs favorables (troisième réponse) ne prouve rien. Quant à la dernière, un carré de réel n'est jamais négatif.
La négation d'un « pour tout » est un « il existe », et la propriété est niée : le contraire de « > » est « ≤ ». La troisième réponse oublie le cas d'égalité, et les deux « pour tout » ne changent pas le quantificateur, ce qui est l'erreur classique.
Ils ont des sens différents : le premier est vrai (on prend y=x+1), le second est faux (aucun réel n'est plus grand que tous les réels). Quand les quantificateurs sont de natures différentes, l'ordre compte, ce qui rend l'affirmation « même sens » fausse 4.
La première est vraie (n=0 ou n=1). La deuxième est vraie : pour un entier naturel, n2−n=n(n−1)≥0. La troisième est fausse, car 2 et −2 conviennent, donc la solution n'est pas unique. La quatrième est vraie : l'équation donne seulement x=3.
Un exemple suffit pour prouver une existence, puisque « il existe » signifie « au moins un » 4. C'est l'inverse pour « pour tout » : un exemple ne prouve rien, tandis qu'un contre-exemple réfute.
On a 72=49, qui n'est pas strictement supérieur à 50, et 82=64>50. Le plus petit entier est donc 8. Répondre 7 vient d'une erreur d'arrondi sur 50≈7,07 : le carré de 7 reste trop petit.
Les questions qu'on se pose
Pourquoi faut-il quantifier si tout le monde comprend la phrase ?
Dans la vie courante, le contexte suffit. En mathématiques, deux phrases presque identiques peuvent avoir un sens opposé : « f(x)=11 » n'a pas de valeur de vérité tant qu'on ne dit pas qui est x. Quand on quantifie, l'énoncé ne parle plus d'un x particulier mais d'un ensemble de nombres 3. Cela permet de savoir ce qu'on doit prouver.
Est-ce que je dois toujours écrire avec les symboles ∀ et ∃ ?
Non. En Seconde, la langue naturelle et le langage symbolique doivent coexister, et les symboles ne servent que quand ils aident à comprendre 2. Une phrase bien construite comme « pour tout réel x, … » est tout à fait acceptée. Les symboles deviennent surtout utiles quand l'énoncé est long ou comporte deux variables.
Comment savoir s'il faut chercher un exemple ou un contre-exemple ?
Regarde la quantification du résultat que tu veux établir. Pour prouver « il existe » ou réfuter « pour tout », un seul élément suffit (exemple ou contre-exemple). Pour prouver « pour tout » ou réfuter « il existe », il faut un raisonnement valable pour un élément quelconque, donc pas d'exemple isolé.
Quelle différence entre ∃ et ∃! ?
Le symbole ∃ signifie « il existe au moins un » ; ∃! signifie « il existe un et un seul » 4. Pour prouver ∃!, on montre deux choses : qu'une solution existe, puis que deux solutions éventuelles sont forcément égales. Dans R, x2=4 a une solution au sens de ∃ mais pas au sens de ∃!, car 2 et −2 conviennent.
Pourquoi ne peut-on pas échanger ∀ et ∃ ?
Parce que l'ordre indique qui choisit en premier. Dans ∀x,∃y, le y est choisi après avoir reçu x et peut donc en dépendre. Dans ∃y,∀x, un seul y doit marcher pour tous les x. Seuls deux quantificateurs de même nature peuvent être échangés sans rien changer 4.
Est-ce que ce chapitre tombe en évaluation ?
Les quantificateurs ne forment pas un chapitre isolé : ils servent partout, dans les énoncés de propriétés, les définitions de fonctions et les démonstrations. Tu les rencontreras dans les consignes (« montrer que pour tout réel… ») et dans les justifications que tu rédiges. Savoir réfuter un « pour tout » avec un contre-exemple te servira dans tous les chapitres.