Logique et Raisonnement · Prépa concours post-bac — ENSA & ENSAM

Logique mathématique : connecteurs logiques, quantificateurs et négation

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

Une proposition $P$ est une phrase mathématique qui est soit vraie (V), soit fausse (F).
Les connecteurs : $\neg P$ (non $P$ ), $P \land Q$ (et), $P \lor Q$ (ou), $P \implies Q$ (implication), $P \iff Q$ (équivalence).
Quantificateurs : $\forall x \in E, P(x)$ est vraie si $P(x)$ est vraie pour tout $x$ . $\exists x \in E, P(x)$ est vraie s'il existe au moins un $x$ tel que $P(x)$ est vraie.

Méthodes à maîtriser

Négation des quantificateurs : $\neg(\forall x \in E, P(x)) \iff \exists x \in E, \neg P(x)$ et $\neg(\exists x \in E, P(x)) \iff \forall x \in E, \neg P(x)$ .
Table de vérité : Outil indispensable pour démontrer une équivalence logique complexe.
Implication : $P \implies Q$ est équivalent à $\neg Q \implies \neg P$ (contraposée).

Exemples corrigés

Négation de $\forall x \in \mathbb{R}, x^2 > 0$ est $\exists x \in \mathbb{R}, x^2 \leq 0$ .
Soit $P \implies Q$ . Sa contraposée est $\neg Q \implies \neg P$ .

Erreurs fréquentes

Confondre "ou" exclusif et inclusif (en maths, "ou" est toujours inclusif).
Oublier d'inverser le quantificateur lors de la négation (ex: oublier de changer $\forall$ en $\exists$ ).
Penser que la négation de $x > 0$ est $x < 0$ (c'est $x \leq 0$ ).

L'essentiel du cours

Une proposition $P$ est une phrase mathématique qui est soit vraie (V), soit fausse (F).
Les connecteurs : $\neg P$ (non $P$), $P \land Q$ (et), $P \lor Q$ (ou), $P \implies Q$ (implication), $P \iff Q$ (équivalence).
Quantificateurs : $\forall x \in E, P(x)$ est vraie si $P(x)$ est vraie pour tout $x$. $\exists x \in E, P(x)$ est vraie s'il existe au moins un $x$ tel que $P(x)$ est vraie.

Méthodes à maîtriser

Négation des quantificateurs : $\neg(\forall x \in E, P(x)) \iff \exists x \in E, \neg P(x)$ et $\neg(\exists x \in E, P(x)) \iff \forall x \in E, \neg P(x)$.
Table de vérité : Outil indispensable pour démontrer une équivalence logique complexe.
Implication : $P \implies Q$ est équivalent à $\neg Q \implies \neg P$ (contraposée).

Exemples corrigés

Négation de $\forall x \in \mathbb{R}, x^2 > 0$ est $\exists x \in \mathbb{R}, x^2 \leq 0$.
Soit $P \implies Q$. Sa contraposée est $\neg Q \implies \neg P$.

Erreurs fréquentes

Confondre "ou" exclusif et inclusif (en maths, "ou" est toujours inclusif).
Oublier d'inverser le quantificateur lors de la négation (ex: oublier de changer $\forall$ en $\exists$).
Penser que la négation de $x > 0$ est $x < 0$ (c'est $x \leq 0$).

🌉 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

🎯 Logique mathématique : connecteurs logiques, quantificateurs et négation

1/4

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

❓ Questions fréquentes

Est-ce que P implies Q est la même chose que Q implies P ?

Non, ce n'est pas la même chose. $Q \implies P$ est appelée la réciproque de $P \implies Q$ . Par exemple, "s'il pleut, le sol est mouillé" est vrai, mais "si le sol est mouillé, il pleut" est faux (il peut y avoir une autre cause).

💡 À retenir : L'implication n'est pas symétrique.

Non, ce n'est pas la même chose. $Q \implies P$ est appelée la réciproque de $P \implies Q$. Par exemple, "s'il pleut, le sol est mouillé" est vrai, mais "si le sol est mouillé, il pleut" est faux (il peut y avoir une autre cause).

💡 À retenir : L'implication n'est pas symétrique.

kifach n7seb n-négation dial wahed l'expression fiha forall o exists mkhltin ?

Khassk tghayer kolchi : $\forall$ katwelli $\exists$ , $\exists$ katwelli $\forall$ , o l'proposition li f-lakher katwelli n-négation dialha. Exemple : $\neg(\forall x, \exists y, x+y=0) \iff \exists x, \forall y, x+y \neq 0$ .

💡 À retenir : N-négation katz3za3 kolchi, mn l-quantificateur 7tal l'proposition.

Khassk tghayer kolchi : $\forall$ katwelli $\exists$, $\exists$ katwelli $\forall$, o l'proposition li f-lakher katwelli n-négation dialha. Exemple : $\neg(\forall x, \exists y, x+y=0) \iff \exists x, \forall y, x+y \neq 0$.

💡 À retenir : N-négation katz3za3 kolchi, mn l-quantificateur 7tal l'proposition.

Est-ce que la négation de x in [1, 2] est x notin [1, 2] ?

Oui, c'est correct. Mais pour être plus précis, $x \notin [1, 2]$ signifie $x < 1$ ou $x > 2$ .

💡 À retenir : Toujours expliciter les inégalités pour éviter les erreurs de calcul.

Oui, c'est correct. Mais pour être plus précis, $x \notin [1, 2]$ signifie $x < 1$ ou $x > 2$.

💡 À retenir : Toujours expliciter les inégalités pour éviter les erreurs de calcul.

chno hiya l'différence bin "ou" o "et" f-les quantificateurs ?

"Et" ( $\land$ ) kat3ni khass l-joj ikono s7a7. "Ou" ( $\lor$ ) kat3ni ghir wahed fihom kafi. F-les quantificateurs, $\forall$ katchbeh l- "et" (khass kolchi i7eqeq l-charte), o $\exists$ katchbeh l- "ou" (ghir wahed i7eqeq l-charte).

💡 À retenir : $\forall$ est une conjonction généralisée, $\exists$ est une disjonction généralisée.

"Et" ($\land$) kat3ni khass l-joj ikono s7a7. "Ou" ($\lor$) kat3ni ghir wahed fihom kafi. F-les quantificateurs, $\forall$ katchbeh l- "et" (khass kolchi i7eqeq l-charte), o $\exists$ katchbeh l- "ou" (ghir wahed i7eqeq l-charte).

💡 À retenir : $\forall$ est une conjonction généralisée, $\exists$ est une disjonction généralisée.

Est-ce que P iff Q est toujours vrai ?

Non, $P \iff Q$ est vrai seulement si $P$ et $Q$ ont la même valeur de vérité (les deux vraies ou les deux fausses).

💡 À retenir : L'équivalence est une égalité logique.

Non, $P \iff Q$ est vrai seulement si $P$ et $Q$ ont la même valeur de vérité (les deux vraies ou les deux fausses).

💡 À retenir : L'équivalence est une égalité logique.

kifach n-bini belli wahed l'implication s7i7a bla ma n-khedem table de vérité ?

Khedem l'raisonnement direct : bda mn l'hypothèse $P$ o wsel l- $Q$ b-tataworat logique. Ila jatk s3iba, khedem l-contraposée ( $\neg Q \implies \neg P$ ).

💡 À retenir : La contraposée est souvent plus simple à manipuler.

Khedem l'raisonnement direct : bda mn l'hypothèse $P$ o wsel l- $Q$ b-tataworat logique. Ila jatk s3iba, khedem l-contraposée ($\neg Q \implies \neg P$).

💡 À retenir : La contraposée est souvent plus simple à manipuler.

Est-ce que la négation de P land Q est neg P land neg Q ?

Non, c'est une erreur classique (Loi de De Morgan). La négation de $P \land Q$ est $\neg P \lor \neg Q$ .

💡 À retenir : $\neg(P \land Q) \iff (\neg P \lor \neg Q)$ .

Non, c'est une erreur classique (Loi de De Morgan). La négation de $P \land Q$ est $\neg P \lor \neg Q$.

💡 À retenir : $\neg(P \land Q) \iff (\neg P \lor \neg Q)$.

Est-ce que forall x in emptyset, P(x) est vraie ?

Oui, par convention, une proposition commençant par un quantificateur universel sur un ensemble vide est toujours vraie (c'est une vérité vacue).

💡 À retenir : Dans l'ensemble vide, tout est vrai !

Est-ce que P implies Q est équivalent à neg P lor Q ?

Oui, c'est une équivalence fondamentale. Si $P$ est faux, l'implication est vraie, et si $Q$ est vrai, l'implication est vraie.

💡 À retenir : $P \implies Q \iff \neg P \lor Q$ .

Oui, c'est une équivalence fondamentale. Si $P$ est faux, l'implication est vraie, et si $Q$ est vrai, l'implication est vraie.

💡 À retenir : $P \implies Q \iff \neg P \lor Q$.

Est-ce que je peux changer l'ordre des quantificateurs ?

Non, l'ordre est très important. $\forall x, \exists y, P(x, y)$ n'est pas la même chose que $\exists y, \forall x, P(x, y)$ .

💡 À retenir : L'ordre des quantificateurs change le sens de la phrase.

Non, l'ordre est très important. $\forall x, \exists y, P(x, y)$ n'est pas la même chose que $\exists y, \forall x, P(x, y)$.

💡 À retenir : L'ordre des quantificateurs change le sens de la phrase.

Est-ce que P iff Q est la même chose que (P implies Q) land (Q implies P) ?

Oui, exactement. Pour prouver une équivalence, on prouve souvent les deux implications séparément.

💡 À retenir : C'est la méthode standard pour démontrer une équivalence.

Est-ce que la négation de x leq y est x y ?

Oui, c'est correct. La négation d'une inégalité large est une inégalité stricte inverse.

💡 À retenir : $\neg(a \leq b) \iff a > b$ .

Oui, c'est correct. La négation d'une inégalité large est une inégalité stricte inverse.

💡 À retenir : $\neg(a \leq b) \iff a > b$.

✍️ Exercices type examen national

Exercice 1

Donner la négation des propositions suivantes :

$P : \forall x \in \mathbb{R}, x^2 + 1 > 0$
$Q : \exists x \in \mathbb{R}, x^2 = 2 \land x > 0$
$R : \forall x \in \mathbb{R}, (x > 1 \implies x^2 > 1)$

Exercice 1

Donner la négation des propositions suivantes :

$P : \forall x \in \mathbb{R}, x^2 + 1 > 0$
$Q : \exists x \in \mathbb{R}, x^2 = 2 \land x > 0$
$R : \forall x \in \mathbb{R}, (x > 1 \implies x^2 > 1)$

Voir la correction détaillée : inscription gratuite

Exercice 2

Montrer par contraposée que : $\forall n \in \mathbb{N}, n^2 \text{ pair} \implies n \text{ pair}$ .

Exercice 2

Montrer par contraposée que : $\forall n \in \mathbb{N}, n^2 \text{ pair} \implies n \text{ pair}$.

Voir la correction détaillée : inscription gratuite

Exercice 3

Soit $P$ et $Q$ deux propositions. Dresser la table de vérité de $(P \implies Q) \iff (\neg Q \implies \neg P)$ .

Exercice 3

Soit $P$ et $Q$ deux propositions. Dresser la table de vérité de $(P \implies Q) \iff (\neg Q \implies \neg P)$.

Voir la correction détaillée : inscription gratuite

Un prof de Logique et Raisonnement 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 et Raisonnement

Méthodes de raisonnement : direct, contraposée, absurde, disjonction des cas Raisonnement par récurrence Ensembles et applications : inclusion, intersection, union, complémentaire Applications : injectivité, surjectivité, bijectivité Relations d'équivalence et relations d'ordre Analyse combinatoire et dénombrement