>>94
A→B とは、
「Aでなければどーでもいいが、そうでない（Aが成立する）ならBだ」という意味。
Aでなければどーでもいい、とは、¬A だし、
そうでなければ B なんだから、¬A∨B ということ。

Aじゃない場合、どーでもいいのを真とするのは疑問に思うかもしれないが、
¬Aが真、A→Bが真、というだけではBについて何も結論できない。
「A→Bが真」であることと「Bが真」であることは全然違うので
混同しないように。