A⇒B　は　￢AⅤBです。
たとえていえば「１＝２　ならば　私は法王だ」は正しい文です。

でも違和感が残る。この違和感はなんなんだろう。と、考えなくてはならない
ときもあります。たとえば、こんなときは論理について深くかんがえなくては
ならない。ところが、考えるのには論理をつかっているわけですから、自家撞着
におちいらないようにしなくてはならない。

この話題はこれで終わり。