Quantificateurs implicites (∀, ∃ non exigés) : vrai ou faux, Memory, texte à trous et remets dans l'ordre
1ère › Mathematiques › Logique et raisonnement. Teste tes connaissances en quelques minutes, sans inscription : la correction s'affiche à chaque réponse.
Révision : les 20 affirmations corrigées
La phrase «Les carrés ont quatre côtés» est une affirmation universelle.
Vrai — Elle affirme que pour chaque carré la propriété vaut, donc portée universelle.
Dire «Il y a un élève qui sait coder» signifie qu'au moins un élève possède la propriété.
Vrai — L'expression «il y a» indique une affirmation existentielle : trouver un exemple suffit.
Pour montrer qu'une assertion universelle est vraie, on peut raisonner sur un élément générique.
Vrai — Raisonner avec un élément générique permet de prouver la propriété pour tous les éléments.
Un seul contre-exemple suffit pour infirmer une affirmation universelle.
Vrai — Une affirmation universelle est contredite dès qu'on trouve un élément qui ne vérifie pas la propriété.
La négation de «tous les X ont P» est «il existe au moins un X qui n'a pas P».
Vrai — Nier une phrase universelle revient à exhiber un contre‑exemple, formulé comme une existence.
La négation de «il existe X tel que P» est «pour tout X, P n'est pas vrai».
Vrai — Si aucune instance ne vérifie P, alors pour chaque X la propriété P est fausse.
Montrer plusieurs exemples vrais n'établit pas une affirmation universelle.
Vrai — Quelques cas vérifiés ne suffisent pas à prouver une propriété pour tous les éléments.
L'exemple «Tout entier pair est divisible par 2» se prouve en écrivant \(n=2k\) pour un entier \(k\).
Vrai — Écrire \(n=2k\) montre que \(n\) est un multiple de 2, donc divisible par 2.
La phrase «Tous les multiples de 6 sont divisibles par 2» est une affirmation universelle.
Vrai — Elle affirme une propriété valable pour chaque multiple de 6, donc portée universelle.
«Certains nombres sont impairs» est une phrase existentielle.
Vrai — Le mot «certains» signifie qu'il existe au moins un nombre vérifiant la propriété.
Trouver un seul exemple particulier suffit pour prouver une affirmation universelle.
Faux — Un exemple particulier prouve seulement l'existence, pas la propriété pour tous les éléments.
La négation de «tous les X ont P» est «aucun X n'a P».
Faux — Dire «aucun X n'a P» est plus fort ; la négation correcte affirme l'existence d'un X sans P.
Un contre-exemple suffit pour prouver une affirmation existentielle.
Faux — Un contre-exemple sert à réfuter une assertion universelle, il ne démontre pas l'existence.
Dire «Certains nombres sont impairs» est une phrase universelle.
Faux — «Certains» indique existence, donc ce n'est pas une affirmation universelle.
Montrer que plusieurs éléments vérifient P prouve automatiquement 'tous'.
Faux — Plusieurs cas sont insuffisants : il faut une démonstration générale pour «tous».
La phrase «Il y a un entier divisible par 6 et par 4» est universelle.
Faux — La formulation «Il y a» annonce une existence, pas une propriété vraie pour tous les entiers.
La négation correcte de «il existe X tel que P» est «il existe X tel que non P».
Faux — La vraie négation est «pour tout X, non P», pas une autre affirmation existentielle.
Pour réfuter 'tous', il faut prouver 'pour tout, non P'.
Faux — Pour réfuter une phrase universelle, un seul contre‑exemple suffit ; prouver «pour tout, non P» est inutile et plus fort.
Si un point a est dans l'intersection, alors la phrase 'tous les X ont P' est fausse.
Faux — Un point dans l'intersection montre une existence, il ne contredit pas une affirmation universelle.
La phrase «Tous les nombres premiers sont pairs» est vraie à cause de l'existence de 2.
Faux — L'existence de 2 ne suffit pas à établir une propriété pour tous les nombres premiers, et la phrase est fausse.
Les 10 notions à retenir
- Universel (Tous)
- Affirme une propriété pour chaque élément du domaine.
- Existentiel (Il existe)
- Un exemple suffit pour prouver l'affirmation.
- Contre-exemple
- Un seul élément suffit pour réfuter «tous».
- Négation de 'tous'
- Il existe au moins un X qui n'a pas P.
- Négation de 'il existe'
- Pour tout X, la propriété P n'est pas vraie.
- Démonstration générique
- Preuve sur un élément générique valable pour tous.
- Preuve par exemple
- Montrer quelques cas ; insuffisant pour «tous».
- Diagramme ensembles
- Représente U et le sous-ensemble des éléments ayant P.
- Énoncé 'Certains'
- Formulation signalant une affirmation existentielle.
- Chercher la portée
- Identifier si l'énoncé est universel ou existentiel.
Les 15 phrases à connaître
La phrase «Les X ont la propriété P» signifie généralement «pour tout objet X, il a la propriété P».
Dans le cours, «Les X ont P» se lit comme «pour tout objet X, P».
Dire «il existe» indique qu'au moins un un exemple satisfait la propriété.
«Il existe» signifie qu'il y a au moins un élément vérifiant la propriété.
La négation de «tous les X ont P» est «il existe au moins un X qui n'a pas P».
La règle du cours : nier «tous» devient une existence d'un contre‑exemple.
Pour montrer qu'une assertion universelle est fausse, il suffit de donner un seul contre-exemple.
Un seul contre‑exemple suffit à contredire une affirmation qui prétend «pour tous».
Pour prouver une affirmation universelle, on démontre la propriété pour un élément générique.
La méthode consiste à prendre un élément générique et montrer la propriété sans cas particuliers.
Confondre «tous» et «au moins un» est une erreur courante fréquente.
Le cours insiste que la confusion entre universel et existentiel est une erreur fréquente.
L'assertion «Les carrés ont quatre côtés» est un exemple d'affirmation universelle.
Cette phrase affirme la propriété pour chaque carré, donc elle est universelle.
La phrase «Il y a un élève qui sait coder» illustre un quantificateur existentiel.
Elle affirme l'existence d'au moins un élève possédant la propriété, donc existentiel.
La négation de «il existe x tel que P(x)» est «pour tous les x, non P(x)».
Nier une existence donne une propriété vraie pour tous les éléments (\(\neg\exists\) → \(\forall\neg\)).
Un seul point hors du sous-ensemble P suffit à rendre une affirmation universelle fausse.
Trouver un élément hors de P fournit un contre‑exemple qui annule l'universalité.
Dire que «tous les nombres premiers sont pairs» est faux malgré l'existence de 2.
La présence d'un exemple (2) ne suffit pas pour prouver «tous», ici l'énoncé est faux.
Tester une affirmation universelle commence par identifier le domaine et la propriété.
La première étape est de repérer le domaine d'étude et la propriété P à tester.
Quand on traduit en langage clair, on peut écrire «si x est un carré, alors P(x)» pour signifier un quantificateur universel implicite.
La forme «si x est un carré, alors P(x)» exprime qu'on s'adresse à chaque carré (universel).
La règle de base de la négation : nier «tous» devient «il existe un qui ne a pas P».
Nier «tous ont P» se reformule par l'existence d'au moins un élément qui n'a pas P.
Souvent on confond preuve par échantillon et preuve pour tous les cas.
Montrer quelques cas n'établit pas la vérité pour tous les éléments du domaine.
Les 6 séries dans le bon ordre
Vérifier une affirmation universelle (ordre des étapes attendues).
- Identifier le domaine et la propriété
- Raisonner avec un élément générique
- Effectuer le calcul ou la déduction
- Conclure que la propriété vaut pour tous
La méthode commence par repérer le domaine, on prend un élément générique, on démontre la propriété et on conclut pour tous.
Montrer qu'une affirmation universelle est fausse (ordre à suivre).
- Repérer la portée de l'affirmation
- Trouver un contre-exemple
- Vérifier qu'il satisfait les hypothèses et nie la conclusion
- Conclure que l'affirmation est fausse
Il faut d'abord savoir ce qu'on prétend puis exhiber et vérifier un contre‑exemple qui l'invalide.
Décider si une phrase est universelle ou existentielle (ordre logique).
- Chercher des mots-clés (ex. «tous», «il existe»)
- Déduire le quantificateur implicite
- Choisir la preuve adaptée (contre‑exemple ou raisonnement général)
On identifie d'abord les indices linguistiques, puis on détermine le quantificateur et la méthode de preuve adaptée.
Construire la négation correcte d'une affirmation (ordre simple).
- Identifier si la phrase affirme 'tous' ou 'il existe'
- Appliquer la règle de négation qui inverse les quantificateurs
- Écrire la phrase négative correspondante
La négation s'obtient en inversant universel ↔ existence et en niant la propriété; l'ordre d'identification puis application est unique.
Procédure pour utiliser un contre-exemple (ordre attendu).
- Identifier les hypothèses de l'énoncé
- Trouver un objet qui satisfait les hypothèses mais pas la conclusion
- Présenter le contre-exemple et expliquer la contradiction
Un contre‑exemple doit respecter les hypothèses et montrer que la conclusion est fausse, d'où l'ordre proposé.
Raisonnement pour prouver qu'un entier pair est divisible par 2 (ordre).
- Prendre un entier pair générique \(n\)
- Écrire \(n=2k\) pour un certain entier \(k\)
- En déduire que \(n\) est divisible par 2
- Conclure que tout entier pair est divisible par 2
La preuve générale commence par un entier pair générique, s'écrit \(n=2k\), implique la divisibilité, puis la conclusion universelle.