含意

論理記号の中で含意というものがあることを初めて知りました。

含意の読み方は「がんい」

論理包含とも呼ばれます。

ja.wikipedia.org

含意の簡単な使い方です。

　　P→Q

　　PならばQ

イメージとしては条件文に近いです。

ただ、単純に「ならば」で語れないようなものな気がします。

もう少し深く勉強します・・・