Savoir traduire et utiliser les implications et leurs cousins logiques aide à construire des démonstrations claires et à éviter les confusions.

Implication, contraposée, réciproque et équivalence

Objectif : comprendre les relations entre ces notions, savoir démontrer par implication directe ou par contraposée, et repérer les erreurs fréquentes.

Objectifs rapides

Comprendre la signification de \(P \Rightarrow Q\) (implication).
Savoir écrire et utiliser la contraposée \(\lnot Q \Rightarrow \lnot P\).
Distinguer réciproque et contraposée ; connaître l'équivalence \(P \Leftrightarrow Q\).
Pratiquer via exemples et quiz.

1. Implication

Définition

Dire "si \(P\) alors \(Q\)" se note \(P \Rightarrow Q\). Cela signifie : chaque fois que \(P\) est vraie, \(Q\) est vraie aussi. L'implication ne dit rien sur le cas où \(P\) est fausse.

Remarques

Une implication est vraie si on ne trouve aucun contre-exemple (un cas où \(P\) vrai et \(Q\) faux).
On peut prouver \(P \Rightarrow Q\) en partant de \(P\) et en déduisant \(Q\) par un raisonnement logique.

Voir la solution

Étape 1 : On traduit \(n\) pair : il existe \(k\) tel que \(n = 2k\).

Étape 2 : Calculons \(n^2 = (2k)^2 = 4k^2 = 2(2k^2)\), donc \(n^2\) s'écrit comme \(2\times\) un entier, donc est pair.

Mini-quiz

Si \(P\) = "x est multiple de 4" et \(Q\) = "x est pair", que dire de \(P \Rightarrow Q\) ?

Vrai ; tout multiple de 4 est pair.
Faux ; contre-exemple : 4 n'est pas pair.
Indéterminé sans valeur de x.

Un multiple de 4 vaut \(4k = 2(2k)\), donc est pair. C'est vrai.

2. Contraposée

Définition

La contraposée de \(P \Rightarrow Q\) est \(\lnot Q \Rightarrow \lnot P\). Une implication et sa contraposée ont toujours la même valeur de vérité : elles sont logiquement équivalentes.

Utilité

Parfois il est plus simple de démontrer \(\lnot Q \Rightarrow \lnot P\) que \(P \Rightarrow Q\). Prouver la contraposée suffit pour établir l'implication initiale.

Voir la solution par contraposée

Étape 1 : Supposons \(n\) n'est pas divisible par 3 (\(\lnot Q\)).

Étape 2 : Si \(n\) était divisible par 6, alors il serait divisible par 3 (car \(6=2\times3\)). Cela contredirait \(\lnot Q\). Donc \(n\) n'est pas divisible par 6 (\(\lnot P\)).

Mini-quiz

On veut prouver "Si \(x^2\) est pair alors \(x\) est pair". Quelle méthode est souvent plus simple ?

Faire une preuve par récurrence.
Prouver la contraposée : si \(x\) n'est pas pair alors \(x^2\) n'est pas pair.
Regarder un tableau de valeurs numériques seulement.

La contraposée est classique ici et plus directe : \(x\) impair implique \(x^2\) impair.

3. Réciproque et équivalence

Définitions

La réciproque de \(P \Rightarrow Q\) est \(Q \Rightarrow P\). Elle n'est pas forcément vraie.

On dit que \(P\) et \(Q\) sont équivalents, noté \(P \Leftrightarrow Q\), si \(P \Rightarrow Q\) et \(Q \Rightarrow P\) sont vrais. Ainsi \(P \Leftrightarrow Q\) signifie que \(P\) est vrai exactement quand \(Q\) est vrai.

Exemple résolu : montrer l'équivalence "\(n\) pair \Leftrightarrow \exists k,\; n=2k"

Étape 1 (\(\Rightarrow\)) : Si \(n\) est pair, par définition il existe \(k\) tel que \(n=2k\).

Étape 2 (\(\Leftarrow\)) : Si \(n=2k\) pour un entier \(k\), alors par définition \(n\) est pair. Les deux implications montrent l'équivalence.

Mini-quiz

Si \(P\) implique \(Q\) et la contraposée de \(P\Rightarrow Q\) est vraie, que peut-on conclure ?

Rien de sûr sur la réciproque.
Que \(Q\Rightarrow P\) est vraie.
Que \(P\Rightarrow Q\) est vraie (et la contraposée aussi) ; elles sont équivalentes entre elles.

Une implication et sa contraposée ont la même valeur de vérité ; cela ne dit rien sur la réciproque.

4. Schéma récapitulatif

Le diagramme ci-dessous montre les liens entre implication, contraposée et réciproque.

flowchart LR
      P([P]) -->|implication| Q([Q])
      notQ([not Q]) -->|contraposée| notP([not P])
      Q -->|réciproque (seulement si vraie)| P
      style P fill:#f9f,stroke:#333,stroke-width:2px
      style Q fill:#9ff,stroke:#333,stroke-width:2px
      style notQ fill:#ffd,stroke:#333,stroke-width:2px
      style notP fill:#ffd,stroke:#333,stroke-width:2px

Mini-quiz

Laquelle des assertions suivantes est toujours vraie ?

Une implication est logiquement équivalente à sa contraposée.
Une implication est toujours équivalente à sa réciproque.
La réciproque est toujours la négation de l'implication.

Implication et contraposée sont équivalentes ; la réciproque n'est pas forcément vraie.

5. Erreurs fréquentes

Confondre contraposée et réciproque.
Prouver un seul sens d'une équivalence et l'annoncer comme démontrée des deux côtés.
Oublier de vérifier le domaine des variables (entier, réel, non nul...).

Mini-quiz

On montre que "Si \(a\) est multiple de 10 alors \(a\) est multiple de 5" ; peut-on en conclure que "Si \(a\) est multiple de 5 alors \(a\) est multiple de 10" ?

Oui, toujours.
Non, il faut une démonstration séparée (la réciproque est fausse en général).
Oui, si \(a\) est positif.

Un multiple de 5 n'est pas forcément multiple de 10 (ex : 5). La réciproque est fausse ici.

Récapitulatif rapide

Principaux liens :

Implication : \(P \Rightarrow Q\).
Contraposée : \(\lnot Q \Rightarrow \lnot P\) (équivalente à \(P \Rightarrow Q\)).
Réciproque : \(Q \Rightarrow P\) (doit être prouvée séparément).
Équivalence : \(P \Leftrightarrow Q\) signifie \(P \Rightarrow Q\) et \(Q \Rightarrow P\).

Cartes mémo

Implication

\(P \Rightarrow Q\) : si \(P\) vrai alors \(Q\) vrai.

Contraposée

De \(P \Rightarrow Q\) à \(\lnot Q \Rightarrow \lnot P\) ; même valeur logique.

Réciproque

\(Q \Rightarrow P\) ; n'est pas automatiquement vraie.

Équivalence

\(P \Leftrightarrow Q\) équivaut à \(P \Rightarrow Q\) et \(Q \Rightarrow P\).

Astuce

Parfois prouver la contraposée est plus simple que la preuve directe.