Aller au contenu

Mathématiques · Seconde

Les quantificateurs : fiche de révision de Seconde

Publié le 9 novembre 2026 · Mis à jour le 9 novembre 2026 · Signaler une erreur

L'essentiel

  • Quantifier, c'est préciser si une propriété vaut pour tous les éléments d'un ensemble ou pour au moins un.
  • ∀\forall se lit « pour tout » ou « quel que soit » ; ∃\exists se lit « il existe (au moins un) » ; ∃!\exists ! ajoute l'unicité.
  • Pour réfuter un « pour tout », un seul contre-exemple suffit ; un exemple ne prouve jamais un « pour tout ».
  • Deux quantificateurs différents ne s'échangent pas : ∀x ∃y\forall x\,\exists y n'a pas le même sens que ∃y ∀x\exists y\,\forall x.

Pourquoi quantifier un énoncé

Au collège, tu as souvent rencontré des phrases comme « un carré a quatre côtés égaux » ou « l'équation 2x+5=02x+5=0 a une solution ». Dans ces phrases, la quantité d'éléments concernés reste dans l'ombre : on parle de tous les carrés dans le premier cas, d'au moins un nombre dans le second. En Seconde, on rend ce sous-entendu visible 2. Écrire une quantification, c'est dire clairement de combien d'éléments on parle.

Les trois quantificateurs à connaître

Prouver ou réfuter un énoncé quantifié

L'ordre des quantificateurs

Traduire et nier avec soin

Questions flash

4 questions · correction immédiate · ton score reste sur ton appareil.

  1. Comment se lit l'énoncé ∃x∈R, x2=9\exists x \in \mathbb{R},\ x^2 = 9 ?

  2. L'énoncé « ∀x∈R, x2>x\forall x \in \mathbb{R},\ x^2 > x » est faux, car x=1x=1 est un contre-exemple.

  3. Parmi ces énoncés, lesquels sont vrais ?

    Plusieurs réponses possibles.

  4. Quelle est la négation de « ∀x∈R, x2≥x\forall x \in \mathbb{R},\ x^2 \geq x » ?

Les questions qu'on se pose

Pourquoi ne peut-on pas prouver un « pour tout » avec des exemples ?

Parce qu'un « pour tout » concerne chaque élément de l'ensemble, et on ne peut pas tous les tester un par un quand il y en a une infinité. Il faut un raisonnement valable pour un xx quelconque. À l'inverse, pour un « il existe », un seul exemple qui fonctionne suffit.

Faut-il écrire les quantificateurs en symboles dans mes copies ?

Pas systématiquement. Le programme de Seconde fait cohabiter la langue naturelle et les symboles : on écrit les quantifications quand elles aident à comprendre, sans formalisme excessif 2. Une phrase française précise, avec « pour tout » ou « il existe », est tout à fait acceptée.

Quelle différence entre « il existe » et « il existe un unique » ?

« Il existe » veut dire au moins un 4. Pour exclure qu'il y en ait deux ou plus, on précise l'unicité avec ∃!\exists ! 4. Par exemple, 2x+5=02x+5=0 a une seule solution réelle, alors que x2=4x^2=4 en a deux.

Sources

  1. Document de ressources - Notations et raisonnement mathématiques, Éduscol (Ministère de l'Éducation nationale). Consulté le 9 novembre 2026.
  2. Document ressource - Raisonnement et logique mathématiques (classe de Seconde), IREM Université de Lille. Consulté le 9 novembre 2026.
  3. Ressource pédagogique - Logique, ensemble et quantificateurs, IREM Université Grenoble Alpes. Consulté le 9 novembre 2026.
  4. Quantification (logique), Wikipédia. Consulté le 9 novembre 2026.
  5. Élimination des quantificateurs, Wikipédia. Consulté le 9 novembre 2026.

Les numéros dans le texte renvoient à ces sources. Une source qui ne dit pas ce qu'on lui fait dire ? Signale-le.

Signaler une erreur sur cette page

Je suis en…

Primaire

  • CP Bientôt
  • CE1 Bientôt
  • CE2
  • CM1
  • CM2 Bientôt

Collège

Lycée

Supérieur

  • BTS Bientôt
  • BUT Bientôt
  • Licence Bientôt
  • Prépas Bientôt

Sur cette page