Logique · Commerce & gestion — ENCG

Quantificateurs

Le cours expliqué simplement, les questions que tous les élèves se posent et des exercices type examen national. Programme marocain, gratuit.

📘 Fiche de cours

L'essentiel du cours

Quantificateur universel ( $\forall$ ) : La proposition $\forall x \in E, P(x)$ est vraie si tous les éléments de $E$ vérifient la propriété $P$ .
Quantificateur existentiel ( $\exists$ ) : La proposition $\exists x \in E, P(x)$ est vraie s'il existe au moins un élément de $E$ vérifiant $P$ .
Négation des quantificateurs :
- $\neg (\forall x \in E, P(x)) \iff \exists x \in E, \neg P(x)$
- $\neg (\exists x \in E, P(x)) \iff \forall x \in E, \neg P(x)$

Méthodes à maîtriser

Pour prouver $\forall x \in E, P(x)$ : On prend un élément arbitraire $x$ de $E$ et on montre $P(x)$ .
Pour prouver $\exists x \in E, P(x)$ : On cherche un exemple (ou on résout une équation) dans $E$ .
Pour prouver $\neg (\forall x \in E, P(x))$ : Il suffit de trouver un contre-exemple.

Exemples corrigés

Exemple 1 : Montrer que $\exists x \in \mathbb{R}, x^2 - 1 = 0$ . Réponse : Pour $x=1$ , on a $1^2 - 1 = 0$ . Donc la proposition est vraie.
Exemple 2 : Négation de $\forall x \in \mathbb{R}, x^2 \geq 0$ . Réponse : $\exists x \in \mathbb{R}, x^2 < 0$ .

Erreurs fréquentes

Oublier de changer $\forall$ en $\exists$ lors de la négation.
Confondre l'ordre des quantificateurs : $\forall x, \exists y$ n'est pas équivalent à $\exists y, \forall x$ .
Croire qu'un exemple suffit pour prouver une proposition universelle.

L'essentiel du cours

Quantificateur universel ($\forall$) : La proposition $\forall x \in E, P(x)$ est vraie si tous les éléments de $E$ vérifient la propriété $P$.
Quantificateur existentiel ($\exists$) : La proposition $\exists x \in E, P(x)$ est vraie s'il existe au moins un élément de $E$ vérifiant $P$.
Négation des quantificateurs :
- $\neg (\forall x \in E, P(x)) \iff \exists x \in E, \neg P(x)$
- $\neg (\exists x \in E, P(x)) \iff \forall x \in E, \neg P(x)$

Méthodes à maîtriser

Pour prouver $\forall x \in E, P(x)$ : On prend un élément arbitraire $x$ de $E$ et on montre $P(x)$.
Pour prouver $\exists x \in E, P(x)$ : On cherche un exemple (ou on résout une équation) dans $E$.
Pour prouver $\neg (\forall x \in E, P(x))$ : Il suffit de trouver un contre-exemple.

Exemples corrigés

Exemple 1 : Montrer que $\exists x \in \mathbb{R}, x^2 - 1 = 0$. Réponse : Pour $x=1$, on a $1^2 - 1 = 0$. Donc la proposition est vraie.
Exemple 2 : Négation de $\forall x \in \mathbb{R}, x^2 \geq 0$. Réponse : $\exists x \in \mathbb{R}, x^2 < 0$.

Erreurs fréquentes

Oublier de changer $\forall$ en $\exists$ lors de la négation.
Confondre l'ordre des quantificateurs : $\forall x, \exists y$ n'est pas équivalent à $\exists y, \forall x$.
Croire qu'un exemple suffit pour prouver une proposition universelle.

🌉 Jisr : les mots du chapitre FR ⇄ AR

Tu as appris les sciences en arabe ? Touche un mot pour voir sa traduction et une explication en darija.

La question que tu n'oses pas poser en classe ? Pose-la à UstadZéro jugement, même en darija, même à minuit. Il t'explique pas à pas et corrige ta démarche. Gratuit.Commencer gratuitement

Défi flash : 4 questions

Sans compte

🎯 Quantificateurs

1/4

Quelle est la négation de $\forall x \in \mathbb{R}, x^2 \geq 0$ ?

❓ Questions fréquentes

Est-ce que l'ordre des quantificateurs est important ?

Oui, absolument. L'ordre change le sens de la proposition.

$\forall x \in E, \exists y \in F, P(x,y)$ signifie que pour chaque $x$ , il existe un $y$ qui dépend de $x$ .
$\exists y \in F, \forall x \in E, P(x,y)$ signifie qu'il existe un seul $y$ qui marche pour tous les $x$ en même temps.

💡 À retenir : Ne jamais inverser les quantificateurs sans vérifier si la logique reste la même.

Oui, absolument. L'ordre change le sens de la proposition.

$\forall x \in E, \exists y \in F, P(x,y)$ signifie que pour chaque $x$, il existe un $y$ qui dépend de $x$.
$\exists y \in F, \forall x \in E, P(x,y)$ signifie qu'il existe un seul $y$ qui marche pour tous les $x$ en même temps.

💡 À retenir : Ne jamais inverser les quantificateurs sans vérifier si la logique reste la même.

Kifach n7seb n-nafi dial chi 3ibara fiha forall o exists f d9a whda ?

Ktbda b l-lool (ila kan $\forall$ kayerje3 $\exists$ o l3aks).
Ktbda t-tani (ila kan $\exists$ kayerje3 $\forall$ o l3aks).
Ktdir n-nafi l-l-khassiya $P(x,y)$ li katkon f-l-akher.

💡 À retenir : $\neg(\forall x, \exists y, P(x,y)) \iff \exists x, \forall y, \neg P(x,y)$ .

Ktbda b l-lool (ila kan $\forall$ kayerje3 $\exists$ o l3aks).
Ktbda t-tani (ila kan $\exists$ kayerje3 $\forall$ o l3aks).
Ktdir n-nafi l-l-khassiya $P(x,y)$ li katkon f-l-akher.

💡 À retenir : $\neg(\forall x, \exists y, P(x,y)) \iff \exists x, \forall y, \neg P(x,y)$.

Chno hiya l-far9 bin "il existe" o "il existe unique" ?

$\exists x, P(x)$ : Kayn wahed aw kter (au moins un).
$\exists ! x, P(x)$ : Kayn wahed o wahed bo7do (exactement un).

💡 À retenir : Pour prouver l'existence unique, on montre d'abord l'existence, puis l'unicité (si $P(x)$ et $P(y)$ sont vraies, alors $x=y$ ).

$\exists x, P(x)$ : Kayn wahed aw kter (au moins un).
$\exists ! x, P(x)$ : Kayn wahed o wahed bo7do (exactement un).

💡 À retenir : Pour prouver l'existence unique, on montre d'abord l'existence, puis l'unicité (si $P(x)$ et $P(y)$ sont vraies, alors $x=y$).

Chno hiya l-mouhim f l-imti7an f had l-partie ?

Maîtriser la négation des propositions complexes.
Savoir donner un contre-exemple pour infirmer une proposition universelle.
Comprendre la différence entre $\forall$ et $\exists$ dans les exercices de relations.

💡 À retenir : L'examen se concentre sur la rigueur de la rédaction.

Maîtriser la négation des propositions complexes.
Savoir donner un contre-exemple pour infirmer une proposition universelle.
Comprendre la différence entre $\forall$ et $\exists$ dans les exercices de relations.

💡 À retenir : L'examen se concentre sur la rigueur de la rédaction.

Est-ce que forall x in mathbb{R}, x^2 0 est vraie ?

Non, elle est fausse.

Pour prouver qu'elle est fausse, il faut donner un contre-exemple.
Si on prend $x = 0$ , alors $x^2 = 0$ , et $0$ n'est pas strictement supérieur à $0$ .

💡 À retenir : Un seul contre-exemple suffit à rendre une proposition universelle fausse.

Non, elle est fausse.

Pour prouver qu'elle est fausse, il faut donner un contre-exemple.
Si on prend $x = 0$, alors $x^2 = 0$, et $0$ n'est pas strictement supérieur à $0$.

💡 À retenir : Un seul contre-exemple suffit à rendre une proposition universelle fausse.

Kifach n-biyen bli forall x in mathbb{R}, P(x) s7i7a ?

Ma t-khdamech b-l-amthila (exemples).
Khoud $x$ 3onsor 3am (quelconque) f $\mathbb{R}$ .
St3mel l-ma3loumat li 3ndek bach t-biyen $P(x)$ .

💡 À retenir : On ne prouve jamais une propriété universelle avec des chiffres.

Ma t-khdamech b-l-amthila (exemples).
Khoud $x$ 3onsor 3am (quelconque) f $\mathbb{R}$.
St3mel l-ma3loumat li 3ndek bach t-biyen $P(x)$.

💡 À retenir : On ne prouve jamais une propriété universelle avec des chiffres.

Si j'ai forall x in mathbb{R}, x 0, quelle est sa négation ?

La négation est $\exists x \in \mathbb{R}, x \leq 0$ .

💡 À retenir : La négation de $>$ est $\leq$ , et celle de $\forall$ est $\exists$ .

La négation est $\exists x \in \mathbb{R}, x \leq 0$.

💡 À retenir : La négation de $>$ est $\leq$, et celle de $\forall$ est $\exists$.

Est-ce que exists x in mathbb{R}, x^2 = -1 est vraie ?

Non, elle est fausse.

Dans $\mathbb{R}$ , le carré de tout nombre est positif ou nul.
Il n'existe aucun nombre réel dont le carré est $-1$ .

💡 À retenir : Vérifiez toujours l'ensemble de définition (ici $\mathbb{R}$ ).

Non, elle est fausse.

Dans $\mathbb{R}$, le carré de tout nombre est positif ou nul.
Il n'existe aucun nombre réel dont le carré est $-1$.

💡 À retenir : Vérifiez toujours l'ensemble de définition (ici $\mathbb{R}$).

Wach momkin n-biyen l-woujoud (existence) b-tari9a 3ammiya ?

Oui, en utilisant le raisonnement par construction ou par l'absurde.

💡 À retenir : Pour l'existence, il suffit de trouver un seul exemple qui marche.

Pourquoi on utilise les quantificateurs ?

Ils permettent de traduire le langage naturel en langage mathématique précis et universel.

💡 À retenir : Sans quantificateurs, les définitions mathématiques seraient ambiguës.

Est-ce que neg (exists x, P(x)) est forall x, P(x) ?

Non, c'est $\forall x, \neg P(x)$ .

💡 À retenir : La négation d'une existence est une universalité de la négation.

Non, c'est $\forall x, \neg P(x)$.

💡 À retenir : La négation d'une existence est une universalité de la négation.

Est-ce que l'ensemble vide peut vérifier une proposition ?

Oui, par convention, une proposition $\forall x \in \emptyset, P(x)$ est toujours vraie (vérité vacue).

💡 À retenir : C'est un point technique souvent utilisé dans les QCM.

Oui, par convention, une proposition $\forall x \in \emptyset, P(x)$ est toujours vraie (vérité vacue).

💡 À retenir : C'est un point technique souvent utilisé dans les QCM.

✍️ Exercices type examen national

Exercice 1

Soit la proposition $P : \forall x \in \mathbb{R}, x^2 + 1 > 0$ .

Donner la négation de $P$ .
La proposition $P$ est-elle vraie ou fausse ? Justifier.

Exercice 1

Soit la proposition $P : \forall x \in \mathbb{R}, x^2 + 1 > 0$.

Donner la négation de $P$.
La proposition $P$ est-elle vraie ou fausse ? Justifier.

Voir la correction détaillée : inscription gratuite

Exercice 2

Soit la proposition $Q : \exists x \in \mathbb{R}, x^2 - 3x + 2 = 0$ .

Donner la négation de $Q$ .
Montrer que $Q$ est vraie.

Exercice 2

Soit la proposition $Q : \exists x \in \mathbb{R}, x^2 - 3x + 2 = 0$.

Donner la négation de $Q$.
Montrer que $Q$ est vraie.

Voir la correction détaillée : inscription gratuite

Exercice 3

Soit $f$ une fonction définie sur $\mathbb{R}$ . On considère la proposition : $S : \forall \epsilon > 0, \exists \alpha > 0, \forall x \in \mathbb{R}, (|x| < \alpha \implies |f(x)| < \epsilon)$ . Donner la négation de $S$ .

Exercice 3

Soit $f$ une fonction définie sur $\mathbb{R}$. On considère la proposition : $S : \forall \epsilon > 0, \exists \alpha > 0, \forall x \in \mathbb{R}, (|x| < \alpha \implies |f(x)| < \epsilon)$. Donner la négation de $S$.

Voir la correction détaillée : inscription gratuite

Un prof de Logique pour aller plus loin

Les cours du soir avec des profs vérifiés arrivent : inscris-toi pour être prévenu(e) en premier.

Être prévenu(e) gratuitement

Autres chapitres de Logique

Méthodes de raisonnement Ensembles et opérations Relations et applications