論理記号の中で含意というものがあることを初めて知りました。 含意の読み方は「がんい」 論理包含とも呼ばれます。 ja.wikipedia.org 含意の簡単な使い方です。 P→Q PならばQ イメージとしては条件文に近いです。 ただ、単純に「ならば」で語れないようなも…