Prépa TAFEM — ENCG · ENCG (TAFEM)

Logique et raisonnement 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

La logique mathématique est le socle du raisonnement.

Proposition : Une phrase qui est soit vraie (V), soit fausse (F).
Connecteurs logiques :
- Négation ( $\neg P$ ) : Vrai si $P$ est faux.
- Conjonction ( $P \land Q$ ) : Vrai si $P$ et $Q$ sont vrais.
- Disjonction ( $P \lor Q$ ) : Vrai si au moins l'un des deux est vrai.
- Implication ( $P \implies Q$ ) : Faux uniquement si $P$ est vrai et $Q$ est faux.
- Équivalence ( $P \iff Q$ ) : Vrai si $P$ et $Q$ ont la même valeur de vérité.
Quantificateurs : $\forall$ (pour tout) et $\exists$ (il existe). La négation de $\forall x, P(x)$ est $\exists x, \neg P(x)$ .

Méthodes à maîtriser

Raisonnement par contraposée : Pour montrer $P \implies Q$ , on montre $\neg Q \implies \neg P$ .
Raisonnement par l'absurde : Pour montrer $P$ , on suppose $\neg P$ et on cherche une contradiction.
Raisonnement par récurrence : (Initialisation, Hérédité, Conclusion).
Raisonnement par disjonction des cas : Diviser le problème en sous-ensembles.

Exemples corrigés

Contraposée : Montrer que si $n^2$ est pair, alors $n$ est pair. On montre la contraposée : si $n$ est impair, $n^2$ est impair.
Absurde : Montrer que $\sqrt{2} \notin \mathbb{Q}$ . On suppose $\sqrt{2} = p/q$ irréductible, ce qui mène à une contradiction sur la parité.

Erreurs fréquentes

Confondre $P \implies Q$ et $Q \implies P$ (la réciproque).
Oublier d'inverser le quantificateur lors de la négation (ex: la négation de $\forall x > 0$ est $\exists x \leq 0$ ).
Utiliser un raisonnement par l'absurde quand une preuve directe est possible.

L'essentiel du cours

La logique mathématique est le socle du raisonnement.

Proposition : Une phrase qui est soit vraie (V), soit fausse (F).
Connecteurs logiques :
- Négation ($\neg P$) : Vrai si $P$ est faux.
- Conjonction ($P \land Q$) : Vrai si $P$ et $Q$ sont vrais.
- Disjonction ($P \lor Q$) : Vrai si au moins l'un des deux est vrai.
- Implication ($P \implies Q$) : Faux uniquement si $P$ est vrai et $Q$ est faux.
- Équivalence ($P \iff Q$) : Vrai si $P$ et $Q$ ont la même valeur de vérité.
Quantificateurs : $\forall$ (pour tout) et $\exists$ (il existe). La négation de $\forall x, P(x)$ est $\exists x, \neg P(x)$.

Méthodes à maîtriser

Raisonnement par contraposée : Pour montrer $P \implies Q$, on montre $\neg Q \implies \neg P$.
Raisonnement par l'absurde : Pour montrer $P$, on suppose $\neg P$ et on cherche une contradiction.
Raisonnement par récurrence : (Initialisation, Hérédité, Conclusion).
Raisonnement par disjonction des cas : Diviser le problème en sous-ensembles.

Exemples corrigés

Contraposée : Montrer que si $n^2$ est pair, alors $n$ est pair. On montre la contraposée : si $n$ est impair, $n^2$ est impair.
Absurde : Montrer que $\sqrt{2} \notin \mathbb{Q}$. On suppose $\sqrt{2} = p/q$ irréductible, ce qui mène à une contradiction sur la parité.

Erreurs fréquentes

Confondre $P \implies Q$ et $Q \implies P$ (la réciproque).
Oublier d'inverser le quantificateur lors de la négation (ex: la négation de $\forall x > 0$ est $\exists x \leq 0$).
Utiliser un raisonnement par l'absurde quand une preuve directe est possible.

🌉 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 et raisonnement mathématique

1/4

Quelle est la négation de « $\exists x \in \mathbb{R}, x^2 < 0$ » ?

❓ Questions fréquentes

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

Non, ce n'est pas la même chose. $P \implies Q$ signifie que si $P$ est vrai, alors $Q$ est obligatoirement vrai. $Q \implies P$ est la réciproque. Par exemple, " $x=2 \implies x^2=4$ " est vrai, mais " $x^2=4 \implies x=2$ " est faux car $x$ pourrait être $-2$ .

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

Non, ce n'est pas la même chose. $P \implies Q$ signifie que si $P$ est vrai, alors $Q$ est obligatoirement vrai. $Q \implies P$ est la réciproque. Par exemple, "$x=2 \implies x^2=4$" est vrai, mais "$x^2=4 \implies x=2$" est faux car $x$ pourrait être $-2$.

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

Kifach n7seb la négation dyal "quel que soit x, f(x) 0" ?

Pour nier une proposition avec un quantificateur universel ( $\forall$ ), tu dois transformer le $\forall$ en $\exists$ et nier la condition.

Le $\forall$ devient $\exists$ .
$f(x) > 0$ devient $f(x) \leq 0$ . Donc : "Il existe au moins un $x$ tel que $f(x) \leq 0$ ".

💡 À retenir : La négation de $\forall$ est $\exists$ et vice-versa.

Pour nier une proposition avec un quantificateur universel ($\forall$), tu dois transformer le $\forall$ en $\exists$ et nier la condition.

Le $\forall$ devient $\exists$.
$f(x) > 0$ devient $f(x) \leq 0$. Donc : "Il existe au moins un $x$ tel que $f(x) \leq 0$".

💡 À retenir : La négation de $\forall$ est $\exists$ et vice-versa.

C'est quoi la différence entre une implication et une équivalence ?

L'implication ( $P \implies Q$ ) est un sens unique : $P$ suffit à garantir $Q$ .
L'équivalence ( $P \iff Q$ ) est un double sens : $P$ est vrai si et seulement si $Q$ est vrai. C'est une condition nécessaire et suffisante.

💡 À retenir : L'équivalence est une implication dans les deux sens.

L'implication ($P \implies Q$) est un sens unique : $P$ suffit à garantir $Q$.
L'équivalence ($P \iff Q$) est un double sens : $P$ est vrai si et seulement si $Q$ est vrai. C'est une condition nécessaire et suffisante.

💡 À retenir : L'équivalence est une implication dans les deux sens.

Wach darouri nst3ml l'absurde f ga3 l'exercices ?

Non, pas du tout. Le raisonnement par l'absurde est un outil puissant, mais il ne faut l'utiliser que si la preuve directe ou la contraposée ne fonctionnent pas. Si tu peux démontrer directement, c'est toujours mieux et plus rapide.

💡 À retenir : L'absurde est un recours, pas une obligation.

Comment prouver qu'une proposition est fausse ?

Pour prouver qu'une proposition est fausse, il suffit de trouver un contre-exemple. Si tu as une proposition du type "Pour tout $x$ , $P(x)$ est vraie", il suffit de trouver une seule valeur de $x$ pour laquelle $P(x)$ est fausse.

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

Pour prouver qu'une proposition est fausse, il suffit de trouver un contre-exemple. Si tu as une proposition du type "Pour tout $x$, $P(x)$ est vraie", il suffit de trouver une seule valeur de $x$ pour laquelle $P(x)$ est fausse.

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

C'est quoi le raisonnement par récurrence ?

C'est une méthode pour prouver une propriété $P(n)$ pour tout entier $n \geq n_0$ :

Initialisation : Vérifier que $P(n_0)$ est vraie.
Hérédité : Supposer que $P(n)$ est vraie et démontrer que $P(n+1)$ est vraie.
Conclusion : La propriété est vraie pour tout $n \geq n_0$ .

💡 À retenir : N'oublie jamais l'étape d'initialisation.

C'est une méthode pour prouver une propriété $P(n)$ pour tout entier $n \geq n_0$ :

Initialisation : Vérifier que $P(n_0)$ est vraie.
Hérédité : Supposer que $P(n)$ est vraie et démontrer que $P(n+1)$ est vraie.
Conclusion : La propriété est vraie pour tout $n \geq n_0$.

💡 À retenir : N'oublie jamais l'étape d'initialisation.

Chno hiya la contraposée dyal "Si il pleut, alors le sol est mouillé" ?

La contraposée est : "Si le sol n'est pas mouillé, alors il ne pleut pas". C'est une règle logique qui est toujours équivalente à la proposition de départ.

💡 À retenir : $P \implies Q$ est équivalent à $\neg Q \implies \neg P$ .

La contraposée est : "Si le sol n'est pas mouillé, alors il ne pleut pas". C'est une règle logique qui est toujours équivalente à la proposition de départ.

💡 À retenir : $P \implies Q$ est équivalent à $\neg Q \implies \neg P$.

Est-ce que la négation de "x 0 et x < 5" est "x <= 0 et x = 5" ?

Non, c'est une erreur classique. Selon les lois de De Morgan, la négation de ( $P \land Q$ ) est ( $\neg P \lor \neg Q$ ). La négation de " $x > 0$ et $x < 5$ " est " $x \leq 0$ ou $x \geq 5$ ".

💡 À retenir : Le "et" devient "ou" lors de la négation.

Non, c'est une erreur classique. Selon les lois de De Morgan, la négation de ($P \land Q$) est ($\neg P \lor \neg Q$). La négation de "$x > 0$ et $x < 5$" est "$x \leq 0$ ou $x \geq 5$".

💡 À retenir : Le "et" devient "ou" lors de la négation.

Comment savoir quel type de raisonnement choisir ?

Analyse la structure : Si tu vois "pour tout $n$ ", pense à la récurrence.
Si la conclusion est une négation, pense à l'absurde.
Si l'implication directe est difficile, essaie la contraposée.
Si tu as des cas distincts, utilise la disjonction des cas.

💡 À retenir : L'entraînement permet de choisir le bon outil rapidement.

Analyse la structure : Si tu vois "pour tout $n$", pense à la récurrence.
Si la conclusion est une négation, pense à l'absurde.
Si l'implication directe est difficile, essaie la contraposée.
Si tu as des cas distincts, utilise la disjonction des cas.

💡 À retenir : L'entraînement permet de choisir le bon outil rapidement.

Wach l'implication P implies Q est vraie si P est faux ?

Oui, en logique, si l'hypothèse $P$ est fausse, l'implication est considérée comme "vraiment vraie" (on dit qu'elle est vraie par vacuité). C'est un point contre-intuitif mais fondamental.

💡 À retenir : Une implication n'est fausse que si $P$ est vrai et $Q$ est faux.

Oui, en logique, si l'hypothèse $P$ est fausse, l'implication est considérée comme "vraiment vraie" (on dit qu'elle est vraie par vacuité). C'est un point contre-intuitif mais fondamental.

💡 À retenir : Une implication n'est fausse que si $P$ est vrai et $Q$ est faux.

Peut-on utiliser des symboles logiques dans la rédaction de l'examen ?

Oui, mais avec modération. Il est préférable de rédiger des phrases complètes pour assurer la clarté. Utilise les symboles ( $\implies, \iff, \forall, \exists$ ) pour structurer ton raisonnement, mais ne remplace pas les connecteurs logiques par des symboles au milieu d'une phrase française.

💡 À retenir : La clarté prime sur la notation symbolique.

Oui, mais avec modération. Il est préférable de rédiger des phrases complètes pour assurer la clarté. Utilise les symboles ($\implies, \iff, \forall, \exists$) pour structurer ton raisonnement, mais ne remplace pas les connecteurs logiques par des symboles au milieu d'une phrase française.

💡 À retenir : La clarté prime sur la notation symbolique.

C'est quoi une condition nécessaire et suffisante ?

Une condition nécessaire et suffisante (CNS) signifie qu'il y a équivalence. $P$ est une CNS pour $Q$ si $P \iff Q$ . Cela veut dire que $P$ implique $Q$ et que $Q$ implique $P$ .

💡 À retenir : CNS = Équivalence.

Une condition nécessaire et suffisante (CNS) signifie qu'il y a équivalence. $P$ est une CNS pour $Q$ si $P \iff Q$. Cela veut dire que $P$ implique $Q$ et que $Q$ implique $P$.