Salut,
Certes, c'est uniquement un problème de vocabulaire, mais ça me semble quand même on ne peut plus important de comprendre que la
négation de
\!=\!0 \Rightarrow x\!=\!0\Big))
c'est
absolument pas du tout \!\ne\! 0\Big))
.
La
"négation", en Français comme en math, c'est la phrase qui dit "tout le contraire" de celle de départ, c'est à dire qui est vrai lorsque celle de départ est fausse et réciproquement.
Et la
négation de
\! =\! 0 \Rightarrow x\!=\!0\Big))
c'est
\! =\! 0\ \text{et}\ x\!\not=\!0\Big))
.
Par contre la phrase
\!\ne\! 0\Big))
, elle, c'est la
contraposée de
\! =\! 0 \Rightarrow x\!=\!0\Big))
.
Et là où ça semble quand même un minimum pas con de les différencier, ben c'est que la contraposées, en fait elle dit
exactement la même chose que la phrase de départ (i.e. elle est vrai ssi la phrase de départ est vrai).
Bref, confondre les deux (négation et contraposée), ça veut très exactement dire... qu'on confond le vrai et le faux... ce qui est évidement légèrement gênant pour raisonner....