>>531
>>（A⇒X）⇒（B⇒X）　と　B⇒A　は　同値
>同値ではないね。
任意のXについて、です

>Aが偽、Bが真、Xが真のとき、（A⇒X）⇒（B⇒X）は真、B⇒A は偽。

Xが偽のとき、（A⇒X）⇒（B⇒X）が偽になるのは　Aが偽、Bが真の時しかなく
そのとき　B⇒Aは　偽

したがって、任意のXの場合、B⇒A　が　真　となることはあり得ない