A ⇒ B lu comme A ⇔ B

L'erreur #1, la symétrisation cognitive, est la confusion systématique entre l'implication $A⟹B$ et l'équivalence $A⟺B$. Concrètement, vous traitez une condition suffisante comme une condition nécessaire et suffisante. Par exemple, si l'on vous dit qu'« être un carré implique être un rectangle », vous concluez, à tort, qu'« être un rectangle implique être un carré ». Ce n'est pas une simple faute d'inattention, mais une distorsion profonde du raisonnement logique.

Un exemple flagrant en analyse : « Si une fonction $f$ est dérivable en un point $x_0$, alors elle est continue en $x_0$ ». Or, des élèves, même brillants, infèrent que « si $f$ est continue en $x_0$, alors elle est dérivable en $x_0$ ». La fonction valeur absolue en $x_0=0$ est le contre-exemple immédiat : continue mais non dérivable. Cette erreur n'est pas marginale ; elle est récurrente et invalide des chaînes de raisonnement entières.

La prévention de la symétrisation cognitive repose sur une vigilance constante et l'application systématique de la définition de l'implication. Rappelez-vous que $A⟹B$ signifie que la véracité de $A$ garantit celle de $B$, mais la véracité de $B$ ne dit rien sur $A$. Pour chaque implication rencontrée, forcez-vous à chercher un contre-exemple à la réciproque $B⟹A$. Si vous en trouvez un, l'erreur est évitée. Si vous n'en trouvez pas immédiatement, cela ne signifie pas que la réciproque est vraie, mais que vous devez la prouver.

• Check-list de vérification :
• 1. Identifier la proposition $A$ et la proposition $B$.
• 2. Écrire explicitement la réciproque : « Si $B$, alors $A$ ».
• 3. Chercher un contre-exemple à cette réciproque. Un seul suffit pour prouver qu'elle est fausse.
• 4. Si aucun contre-exemple n'est trouvé, ne pas conclure à l'équivalence. La réciproque doit être démontrée séparément.

Au BAC SM, cette erreur est un piège classique dans presque toutes les branches des mathématiques. En logique, c'est la base. En analyse, elle apparaît lors de l'étude de la continuité et de la dérivabilité (comme l'exemple cité), des limites (par exemple, « si $f(x)\to L$ alors $|f(x)|\to |L|$ », mais la réciproque est fausse). En algèbre, lors de la résolution d'équations ou d'inéquations, des étapes non équivalentes sont souvent traitées comme telles, introduisant des solutions parasites ou en perdant d'autres.

En géométrie, notamment avec les nombres complexes, des affirmations comme « $z$ est réel $⟹z=\bar{z}$ » sont souvent symétrisées abusivement. Dans les exercices de démonstration, la capacité à distinguer une implication d'une équivalence est fondamentale. Les barèmes du BAC SM sanctionnent lourdement toute conclusion erronée basée sur une symétrisation abusive, car elle révèle une faille conceptuelle majeure dans le raisonnement logique.