Confondre contraposée et réciproque

L'erreur #4 consiste à confondre la contraposée d'une implication avec sa réciproque. Face à une implication $P\Rightarrow Q$, nombreux sont les élèves qui, au lieu de considérer la contraposée $\neg Q\Rightarrow \neg P$, pensent à la réciproque $Q\Rightarrow P$. Ces deux propositions n'ont pas la même valeur de vérité. Par exemple, soit l'implication « Si un nombre est divisible par 4, alors il est divisible par 2 ». Cette proposition est vraie. Sa contraposée est « Si un nombre n'est pas divisible par 2, alors il n'est pas divisible par 4 », ce qui est également vrai. En revanche, sa réciproque est « Si un nombre est divisible par 2, alors il est divisible par 4 », ce qui est faux (par exemple, 6 est divisible par 2 mais pas par 4). Confondre ces structures mène inévitablement à des démonstrations invalides.

Pour prévenir cette erreur, adoptez une heuristique de vérification systématique. Chaque fois que vous manipulez une implication, surtout dans le cadre d'une démonstration par contraposition, écrivez explicitement les trois formes : l'implication originale, sa réciproque et sa contraposée. Évaluez la valeur de vérité de chacune, même mentalement, avec un contre-exemple simple si nécessaire. Cette démarche active le système 2 et force la distinction.

• Implication : $P\Rightarrow Q$
• Réciproque : $Q\Rightarrow P$
• Contraposée : $\neg Q\Rightarrow \neg P$

Rappelez-vous que seule l'implication originale et sa contraposée sont logiquement équivalentes. La réciproque est une proposition distincte. Entraînez-vous à réciter cette règle comme un mantra : « La contraposée est la négation de la conclusion qui implique la négation de la prémisse. »

Au BAC SM, cette erreur est particulièrement préjudiciable dans les exercices de logique, d'analyse et d'arithmétique. Elle apparaît typiquement dans les questions demandant de démontrer une propriété par contraposition. Par exemple, pour montrer que « si $n^2$ est pair, alors $n$ est pair », l'élève doit utiliser la contraposée « si $n$ est impair, alors $n^2$ est impair ». Confondre cela avec la réciproque « si $n$ est pair, alors $n^2$ est pair » (qui est vraie mais ne constitue pas une démonstration par contraposition de l'énoncé initial) ou pire, avec une affirmation fausse, invalidera toute la preuve.

On la retrouve aussi dans des contextes plus complexes, comme la démonstration de la continuité d'une fonction en un point (en utilisant la définition avec les quantificateurs), ou des propriétés d'injectivité/surjectivité. Un énoncé comme « Si $f(x)=f(y)$ alors $x=y$ » (injectivité) est souvent confondu avec sa réciproque ou sa contraposée. La rigueur exigée au BAC SM ne tolère aucune approximation sur ces fondements logiques. Une erreur de ce type peut coûter des points cruciaux et témoigne d'une faiblesse dans la maîtrise des outils de base du raisonnement mathématique.