数学っつか、論理学だろ。
論理学の命題論理公理系LPでは
=を→と←の両方が成り立つと定義して、

(A⇒B)=(¬B⇒¬A)は定理だが、
(A⇒B)=(B⇒A)は定理ではない。