Mathématiques · 1ère Année Bac — Sciences Mathématiques

Logique mathématique

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

Proposition : Une phrase mathématique qui est soit vraie, soit fausse.
Connecteurs : $\neg$ (non), $\land$ (et), $\lor$ (ou), $\implies$ (implique), $\iff$ (équivaut).
Quantificateurs : $\forall$ (pour tout), $\exists$ (il existe), $\exists !$ (il existe un unique).
Raisonnement :
- Direct : $P \implies P_1 \implies \dots \implies Q$ .
- Contraposée : Pour montrer $P \implies Q$ , on montre $\neg Q \implies \neg P$ .
- Absurde : Pour montrer $P$ , on suppose $\neg P$ et on cherche une contradiction.
- Récurrence : Initialisation ( $n_0$ ), Hérédité ( $n \implies n+1$ ), Conclusion.

Méthodes à maîtriser

Négation : $\neg(\forall x, P(x)) \iff \exists x, \neg P(x)$ et $\neg(\exists x, P(x)) \iff \forall x, \neg P(x)$ .
Récurrence : Toujours bien rédiger l'initialisation, l'hypothèse de récurrence et l'étape de l'hérédité.
Équivalence : Utiliser les chaînes d'équivalences $\iff$ avec précaution.

Exemples corrigés

Négation : La négation de $(\forall x \in \mathbb{R}, x^2 \geq 0)$ est $(\exists x \in \mathbb{R}, x^2 < 0)$ .
Récurrence : Montrer que $\sum_{k=1}^n k = \frac{n(n+1)}{2}$ $\sum_{k = 1}^{n} k = \frac{n ( n + 1 )}{2}$ .
- Initialisation : $n=1 \implies 1 = \frac{1(2)}{2}$ (Vrai).
- Hérédité : Supposons $\sum_{k=1}^n k = \frac{n(n+1)}{2}$ , montrons pour $n+1$ .
- $\sum_{k=1}^{n+1} k = \frac{n(n+1)}{2} + (n+1) = (n+1)(\frac{n}{2} + 1) = \frac{(n+1)(n+2)}{2}$ .

Erreurs fréquentes

Confondre $\implies$ et $\iff$ .
Oublier de préciser l'ensemble de définition lors de l'utilisation des quantificateurs.
Mal rédiger l'hérédité en récurrence (ne pas utiliser l'hypothèse).

L'essentiel du cours

Proposition : Une phrase mathématique qui est soit vraie, soit fausse.
Connecteurs : $\neg$ (non), $\land$ (et), $\lor$ (ou), $\implies$ (implique), $\iff$ (équivaut).
Quantificateurs : $\forall$ (pour tout), $\exists$ (il existe), $\exists !$ (il existe un unique).
Raisonnement :
- Direct : $P \implies P_1 \implies \dots \implies Q$.
- Contraposée : Pour montrer $P \implies Q$, on montre $\neg Q \implies \neg P$.
- Absurde : Pour montrer $P$, on suppose $\neg P$ et on cherche une contradiction.
- Récurrence : Initialisation ($n_0$), Hérédité ($n \implies n+1$), Conclusion.

Méthodes à maîtriser

Négation : $\neg(\forall x, P(x)) \iff \exists x, \neg P(x)$ et $\neg(\exists x, P(x)) \iff \forall x, \neg P(x)$.
Récurrence : Toujours bien rédiger l'initialisation, l'hypothèse de récurrence et l'étape de l'hérédité.
Équivalence : Utiliser les chaînes d'équivalences $\iff$ avec précaution.

Exemples corrigés

Négation : La négation de $(\forall x \in \mathbb{R}, x^2 \geq 0)$ est $(\exists x \in \mathbb{R}, x^2 < 0)$.
Récurrence : Montrer que $\sum_{k=1}^n k = \frac{n(n+1)}{2}$.
- Initialisation : $n=1 \implies 1 = \frac{1(2)}{2}$ (Vrai).
- Hérédité : Supposons $\sum_{k=1}^n k = \frac{n(n+1)}{2}$, montrons pour $n+1$.
- $\sum_{k=1}^{n+1} k = \frac{n(n+1)}{2} + (n+1) = (n+1)(\frac{n}{2} + 1) = \frac{(n+1)(n+2)}{2}$.

Erreurs fréquentes

Confondre $\implies$ et $\iff$.
Oublier de préciser l'ensemble de définition lors de l'utilisation des quantificateurs.
Mal rédiger l'hérédité en récurrence (ne pas utiliser l'hypothèse).

🌉 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

1/4

Quelle est la négation de $\forall x \in \mathbb{R}, x^2 > 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, $x=2 \implies x^2=4$ est vraie, mais $x^2=4 \implies x=2$ est fausse car $x$ peut être $-2$ .

💡 À 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, $x=2 \implies x^2=4$ est vraie, mais $x^2=4 \implies x=2$ est fausse car $x$ peut être $-2$.

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

Kifach n7seb l'implication f table de vérité ?

L'implication $P \implies Q$ est fausse dans un seul cas : quand $P$ est vraie et $Q$ est fausse. Dans tous les autres cas (Vrai $\implies$ Vrai, Faux $\implies$ Vrai, Faux $\implies$ Faux), elle est vraie.

💡 À retenir : Une implication est vraie si l'antécédent est faux ou le conséquent est vrai.

Pourquoi on utilise le raisonnement par l'absurde ?

On l'utilise quand il est difficile de prouver une proposition directement. On suppose que la proposition est fausse, et on cherche une contradiction logique (ex: $1=0$ ou $x \neq x$ ). Si on trouve une contradiction, alors la supposition initiale était fausse, donc la proposition est vraie.

💡 À retenir : L'absurde est un outil puissant pour les preuves d'existence ou d'irrationalité.

On l'utilise quand il est difficile de prouver une proposition directement. On suppose que la proposition est fausse, et on cherche une contradiction logique (ex: $1=0$ ou $x \neq x$). Si on trouve une contradiction, alors la supposition initiale était fausse, donc la proposition est vraie.

💡 À retenir : L'absurde est un outil puissant pour les preuves d'existence ou d'irrationalité.

Chno hiya l'utilité dyal l'équivalence iff ?

L'équivalence sert à montrer que deux propositions ont la même valeur de vérité. Elle est très utile pour résoudre des équations ou des inéquations, car elle permet de transformer une expression en une autre plus simple sans perdre d'informations.

💡 À retenir : $P \iff Q$ signifie $(P \implies Q)$ ET $(Q \implies P)$ .

💡 À retenir : $P \iff Q$ signifie $(P \implies Q)$ ET $(Q \implies P)$.

Est-ce que la négation de "et" est "ou" ?

Oui, selon les lois de De Morgan : $\neg(P \land Q) \iff (\neg P \lor \neg Q)$ et $\neg(P \lor Q) \iff (\neg P \land \neg Q)$ .

💡 À retenir : La négation inverse les connecteurs et les quantificateurs.

Oui, selon les lois de De Morgan : $\neg(P \land Q) \iff (\neg P \lor \neg Q)$ et $\neg(P \lor Q) \iff (\neg P \land \neg Q)$.

💡 À retenir : La négation inverse les connecteurs et les quantificateurs.

Kifach n3ref wach nst3mel l'absurde wla l'contraposée ?

Utilise la contraposée pour prouver une implication $P \implies Q$ quand il est plus facile de manipuler $\neg Q$ .
Utilise l'absurde quand tu veux prouver une propriété simple (pas forcément une implication) ou quand tu es bloqué.

💡 À retenir : La contraposée est une forme spécifique de raisonnement par l'absurde.

Utilise la contraposée pour prouver une implication $P \implies Q$ quand il est plus facile de manipuler $\neg Q$.
Utilise l'absurde quand tu veux prouver une propriété simple (pas forcément une implication) ou quand tu es bloqué.

💡 À retenir : La contraposée est une forme spécifique de raisonnement par l'absurde.

Est-ce que exists! signifie la même chose que exists ?

Non. $\exists$ signifie "il existe au moins un", alors que $\exists!$ signifie "il existe un et un seul".

💡 À retenir : Pour $\exists!$ , il faut prouver l'existence ET l'unicité.

Non. $\exists$ signifie "il existe au moins un", alors que $\exists!$ signifie "il existe un et un seul".

💡 À retenir : Pour $\exists!$, il faut prouver l'existence ET l'unicité.

Comment prouver une propriété par récurrence ?

Initialisation : Vérifier pour le premier rang (souvent $n=0$ ou $n=1$ ).
Hérédité : Supposer que c'est vrai pour $n$ , et montrer que c'est vrai pour $n+1$ .
Conclusion : La propriété est vraie pour tout $n$ .

💡 À retenir : Ne jamais oublier d'utiliser l'hypothèse de récurrence dans l'étape d'hérédité.

Initialisation : Vérifier pour le premier rang (souvent $n=0$ ou $n=1$).
Hérédité : Supposer que c'est vrai pour $n$, et montrer que c'est vrai pour $n+1$.
Conclusion : La propriété est vraie pour tout $n$.

💡 À retenir : Ne jamais oublier d'utiliser l'hypothèse de récurrence dans l'étape d'hérédité.

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

Oui, la conjonction est commutative. L'ordre des propositions ne change pas la valeur de vérité.

💡 À retenir : $P \land Q \iff Q \land P$ et $P \lor Q \iff Q \lor P$ .

Oui, la conjonction est commutative. L'ordre des propositions ne change pas la valeur de vérité.

💡 À retenir : $P \land Q \iff Q \land P$ et $P \lor Q \iff Q \lor P$.

Est-ce que je peux utiliser un exemple pour prouver une propriété ?

Non ! Un exemple ne prouve rien pour le cas général. Pour prouver, il faut un raisonnement logique. Par contre, un contre-exemple suffit pour prouver qu'une propriété est fausse.

💡 À retenir : Un exemple confirme, un contre-exemple infirme.

Chno lfar9 bin forall et exists ?

$\forall$ (pour tout) signifie que la propriété est vraie pour tous les éléments de l'ensemble. $\exists$ (il existe) signifie qu'il y a au moins un élément qui vérifie la propriété.

💡 À retenir : L'ordre des quantificateurs est crucial : $\forall x \exists y$ n'est pas $\exists y \forall x$ .

$\forall$ (pour tout) signifie que la propriété est vraie pour tous les éléments de l'ensemble. $\exists$ (il existe) signifie qu'il y a au moins un élément qui vérifie la propriété.

💡 À retenir : L'ordre des quantificateurs est crucial : $\forall x \exists y$ n'est pas $\exists y \forall x$.

Est-ce que la négation de forall x, P(x) est forall x, neg P(x) ?

Non, c'est une erreur classique. La négation est $\exists x, \neg P(x)$ . Il suffit qu'un seul élément ne vérifie pas la propriété pour que la proposition universelle soit fausse.

💡 À retenir : La négation d'un "pour tout" est un "il existe".

Non, c'est une erreur classique. La négation est $\exists x, \neg P(x)$. Il suffit qu'un seul élément ne vérifie pas la propriété pour que la proposition universelle soit fausse.

💡 À retenir : La négation d'un "pour tout" est un "il existe".

✍️ Exercices type examen national

Exercice 1

Montrer par récurrence que pour tout $n \in \mathbb{N}^*$ , $1^2 + 2^2 + \dots + n^2 = \frac{n(n+1)(2n+1)}{6}$ .

Exercice 1

Montrer par récurrence que pour tout $n \in \mathbb{N}^*$, $1^2 + 2^2 + \dots + n^2 = \frac{n(n+1)(2n+1)}{6}$.

Voir la correction détaillée : inscription gratuite

Exercice 2

Montrer que $\sqrt{2}$ est irrationnel en utilisant le raisonnement par l'absurde.

Exercice 2

Montrer que $\sqrt{2}$ est irrationnel en utilisant le raisonnement par l'absurde.

Voir la correction détaillée : inscription gratuite

Exercice 3

Montrer que pour tout $x, y \in \mathbb{R}^+$ , $\sqrt{x} + \sqrt{y} \geq \sqrt{x+y}$ .

Exercice 3

Montrer que pour tout $x, y \in \mathbb{R}^+$, $\sqrt{x} + \sqrt{y} \geq \sqrt{x+y}$.

Voir la correction détaillée : inscription gratuite

Un prof de Mathématiques 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 Mathématiques

Ensembles et applications Généralités sur les fonctions Le barycentre dans le plan Le produit scalaire dans le plan Calcul trigonométrique Les suites numériques Limites d’une fonction La rotation dans le plan Continuité d'une fonction numérique Dérivation Étude des fonctions Dénombrement Produit vectoriel dans l'espace Géométrie analytique dans l'espace