>>216
Ａ⇒Ｂっていうのは「Aでない、または、Bである」だから。
Aが偽のとき、Aでないは真になる。だからＡ⇒Ｂも真になる。