お疲れ様です。
論理学を基礎から勉強しているのですが
含意、もしくは論理包含演算が理解できず困っています。

http://ja.wikipedia.org/wiki/%E8%AB%96%E7%90%86%E5%8C%85%E5%90%AB%E6%BC%94%E7%AE%97

上記URLを見まして、解説を見たのですが・・・なんというか、しっくり来ません。
特に

>第一命題が偽のときは、第二命題の真偽に関わらず、真を取る。

が直感的に理解できず、苦しんでいます。
簡単な説明も書いてあるのですが、けむにまかれたような微妙な気持ちです。
右のベン図から、上記の疑問点のような真理値を取ることは理解できるのですが
なぜ「〜ならば」と訳される演算がこのような真理値を取るのでしょうか？
ご教授いただければ幸いです。