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

Méthodes de raisonnement : direct, contraposée, absurde, disjonction des cas

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

Le raisonnement est l'outil fondamental pour démontrer une proposition $P \implies Q$ .

Direct : On suppose $P$ vraie et on déduit $Q$ par une suite d'implications.
Contraposée : On démontre $\text{non}(Q) \implies \text{non}(P)$ . C'est équivalent à $P \implies Q$ .
Absurde : On suppose $\text{non}(P \implies Q)$ , c'est-à-dire $P$ et $\text{non}(Q)$ sont vraies, et on cherche une contradiction.
Disjonction des cas : Pour prouver $P$ , on montre qu'elle est vraie dans plusieurs cas qui couvrent toutes les possibilités.

Méthodes à maîtriser

Pour montrer $A=B$ , montrer $A \subset B$ et $B \subset A$ .
Pour montrer $x \neq y \implies f(x) \neq f(y)$ , utiliser la contraposée : $f(x) = f(y) \implies x = y$ .
Pour montrer qu'une équation n'a pas de solution, supposer qu'il en existe une et aboutir à une absurdité.

Exemples corrigés

Contraposée : Montrer que si $n^2$ est pair, alors $n$ est pair. Correction : Supposons $n$ impair. Alors $n = 2k+1$ . Donc $n^2 = (2k+1)^2 = 4k^2+4k+1 = 2(2k^2+2k)+1$ , donc $n^2$ est impair. La contraposée est vraie.
Absurde : Montrer que $\sqrt{2} \notin \mathbb{Q}$ . Correction : Supposons $\sqrt{2} = p/q$ irréductible. Alors $p^2 = 2q^2$ . $p^2$ est pair donc $p$ est pair ( $p=2k$ ). $4k^2 = 2q^2 \implies q^2 = 2k^2$ , donc $q$ est pair. Contradiction avec "irréductible".

Erreurs fréquentes

Oublier de nier correctement les quantificateurs ( $\forall$ devient $\exists$ et inversement).
Confondre la réciproque ( $Q \implies P$ ) avec la contraposée ( $\text{non}(Q) \implies \text{non}(P)$ ).
Dans un raisonnement par l'absurde, ne pas utiliser la négation correcte de l'implication.

L'essentiel du cours

Le raisonnement est l'outil fondamental pour démontrer une proposition $P \implies Q$.

Direct : On suppose $P$ vraie et on déduit $Q$ par une suite d'implications.
Contraposée : On démontre $\text{non}(Q) \implies \text{non}(P)$. C'est équivalent à $P \implies Q$.
Absurde : On suppose $\text{non}(P \implies Q)$, c'est-à-dire $P$ et $\text{non}(Q)$ sont vraies, et on cherche une contradiction.
Disjonction des cas : Pour prouver $P$, on montre qu'elle est vraie dans plusieurs cas qui couvrent toutes les possibilités.

Méthodes à maîtriser

Pour montrer $A=B$, montrer $A \subset B$ et $B \subset A$.
Pour montrer $x \neq y \implies f(x) \neq f(y)$, utiliser la contraposée : $f(x) = f(y) \implies x = y$.
Pour montrer qu'une équation n'a pas de solution, supposer qu'il en existe une et aboutir à une absurdité.

Exemples corrigés

Contraposée : Montrer que si $n^2$ est pair, alors $n$ est pair. Correction : Supposons $n$ impair. Alors $n = 2k+1$. Donc $n^2 = (2k+1)^2 = 4k^2+4k+1 = 2(2k^2+2k)+1$, donc $n^2$ est impair. La contraposée est vraie.
Absurde : Montrer que $\sqrt{2} \notin \mathbb{Q}$. Correction : Supposons $\sqrt{2} = p/q$ irréductible. Alors $p^2 = 2q^2$. $p^2$ est pair donc $p$ est pair ($p=2k$). $4k^2 = 2q^2 \implies q^2 = 2k^2$, donc $q$ est pair. Contradiction avec "irréductible".

Erreurs fréquentes

Oublier de nier correctement les quantificateurs ($\forall$ devient $\exists$ et inversement).
Confondre la réciproque ($Q \implies P$) avec la contraposée ($\text{non}(Q) \implies \text{non}(P)$).
Dans un raisonnement par l'absurde, ne pas utiliser la négation correcte de l'implication.

🌉 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

🎯 Méthodes de raisonnement : direct, contraposée, absurde, disjonction des cas

1/4

La négation de " $\forall x \in \mathbb{R}, x^2 > 0$ " est :

La négation de "$\forall x \in \mathbb{R}, x^2 > 0$" est :

❓ Questions fréquentes

Comment savoir quelle méthode choisir ?

Analyse la structure de la proposition.
Si la conclusion est une égalité simple, tente le direct.
Si la conclusion contient "différent" ( $\neq$ ), pense à la contraposée.
Si tu dois montrer qu'un objet n'existe pas, l'absurde est souvent le plus efficace.

💡 À retenir : Le choix dépend de la forme de la conclusion.

Analyse la structure de la proposition.
Si la conclusion est une égalité simple, tente le direct.
Si la conclusion contient "différent" ($\neq$), pense à la contraposée.
Si tu dois montrer qu'un objet n'existe pas, l'absurde est souvent le plus efficace.

💡 À retenir : Le choix dépend de la forme de la conclusion.

Kifach n3ref wach l'absurde howa l7al?

Ila knti baghi tbayen chi 7aja li "impossible" (بحال شي معادلة ما عندهاش حل).
Ila knti baghi tbayen annaho "il n'existe pas" de x.
Ila knti f tri9 مسدود (ما عرفتيش تبدا بـ direct).

💡 À retenir : L'absurde est ton joker quand le direct bloque.

Est-ce que la contraposée est toujours plus simple ?

Non, pas forcément. Elle est utile quand la négation de la conclusion est plus facile à manipuler que la conclusion elle-même (ex: nier une égalité donne une inégalité, nier une inégalité donne une égalité).

💡 À retenir : Choisis la méthode qui simplifie les calculs.

Kifach nnegue (néguer) "pour tout x, f(x) 0" ?

La négation est : "il existe au moins un x tel que f(x) $\leq$ 0".

💡 À retenir : $\forall$ devient $\exists$ et le signe d'inégalité s'inverse.

La négation est : "il existe au moins un x tel que f(x) $\leq$ 0".

💡 À retenir : $\forall$ devient $\exists$ et le signe d'inégalité s'inverse.

Est-ce qu'on peut utiliser plusieurs méthodes dans un même exercice ?

Oui, absolument. Tu peux utiliser une disjonction des cas, et à l'intérieur de chaque cas, utiliser un raisonnement direct ou par l'absurde.

💡 À retenir : La logique est flexible, utilise les outils nécessaires.

Chno hiya l far9 bin l'absurde w l contraposée ?

La contraposée sert à démontrer une implication ( $P \implies Q$ ).
L'absurde sert à démontrer une proposition seule ( $P$ est vraie) en supposant $\text{non}(P)$ .

💡 À retenir : Contraposée = Implication ; Absurde = Négation de la thèse.

La contraposée sert à démontrer une implication ($P \implies Q$).
L'absurde sert à démontrer une proposition seule ($P$ est vraie) en supposant $\text{non}(P)$.

💡 À retenir : Contraposée = Implication ; Absurde = Négation de la thèse.

Si je suppose non(P) et que je trouve une contradiction, est-ce que j'ai fini ?

Oui, si tu arrives à une contradiction logique (comme $0=1$ ou $x \neq x$ ), alors ton hypothèse de départ était fausse, donc $P$ est vraie.

💡 À retenir : Contradiction = Preuve de la vérité.

Oui, si tu arrives à une contradiction logique (comme $0=1$ ou $x \neq x$), alors ton hypothèse de départ était fausse, donc $P$ est vraie.

💡 À retenir : Contradiction = Preuve de la vérité.

Comment rédiger le raisonnement par disjonction des cas ?

Définis clairement tes cas (ex: $x \geq 0$ et $x < 0$ ).
Vérifie que ces cas couvrent tout l'ensemble de définition.
Traite chaque cas séparément.
Conclus que dans tous les cas, la propriété est vraie.

💡 À retenir : Sois exhaustif dans tes cas.

Définis clairement tes cas (ex: $x \geq 0$ et $x < 0$).
Vérifie que ces cas couvrent tout l'ensemble de définition.
Traite chaque cas séparément.
Conclus que dans tous les cas, la propriété est vraie.

💡 À retenir : Sois exhaustif dans tes cas.

Est-ce que le raisonnement par équivalence est toujours possible ?

C'est l'idéal, mais c'est souvent difficile. Il faut que chaque étape soit réversible. Si tu n'es pas sûr, fais deux implications ( $P \implies Q$ et $Q \implies P$ ).

💡 À retenir : L'équivalence est puissante mais exigeante.

C'est l'idéal, mais c'est souvent difficile. Il faut que chaque étape soit réversible. Si tu n'es pas sûr, fais deux implications ($P \implies Q$ et $Q \implies P$).

💡 À retenir : L'équivalence est puissante mais exigeante.

Est-ce que je dois toujours écrire "raisonnement par l'absurde" au début ?

Oui, c'est une bonne pratique pour guider le correcteur. Écris : "Supposons par l'absurde que...".

💡 À retenir : La clarté de la rédaction compte autant que le résultat.

Kifach n7seb l'ensemble des solutions b l'absurde ?

Tu supposes qu'il existe une solution $x_0$ qui ne vérifie pas les conditions, et tu montres que cela mène à une contradiction.

💡 À retenir : L'absurde aide à exclure des valeurs.

Tu supposes qu'il existe une solution $x_0$ qui ne vérifie pas les conditions, et tu montres que cela mène à une contradiction.

💡 À retenir : L'absurde aide à exclure des valeurs.

Est-ce que "non(P ou Q)" est "non(P) ou non(Q)" ?

Non, c'est "non(P) et non(Q)" (Lois de De Morgan).

💡 À retenir : Attention aux parenthèses et aux connecteurs !

✍️ Exercices type examen national

Exercice 1

Montrer que pour tout $x \in \mathbb{R}^+$ , $\sqrt{x+1} - \sqrt{x} = \frac{1}{\sqrt{x+1} + \sqrt{x}}$ .

Exercice 1

Montrer que pour tout $x \in \mathbb{R}^+$, $\sqrt{x+1} - \sqrt{x} = \frac{1}{\sqrt{x+1} + \sqrt{x}}$.

Voir la correction détaillée : inscription gratuite

Exercice 2

Soit $n \in \mathbb{N}$ . Montrer que si $n^2$ est pair, alors $n$ est pair.

Exercice 2

Soit $n \in \mathbb{N}$. Montrer que si $n^2$ est pair, alors $n$ est pair.

Voir la correction détaillée : inscription gratuite

Exercice 3

Montrer que pour tout $x \in \mathbb{R}$ , $x^2 - x + 1 \neq 0$ .

Exercice 3

Montrer que pour tout $x \in \mathbb{R}$, $x^2 - x + 1 \neq 0$.

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

Logique mathématique : connecteurs logiques, quantificateurs et négation 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