論理包含とは？
ろんりほうがん
論理包含とは、「PならばQ」という形の命題で、前提Pが成り立つときには必ず結論Qも成り立つという論理関係です。
論理包含（ろんりほうがん）は、論理学における基本的な連結詞のひとつで、「P → Q」（PならばQ）と表記されます。Pを前件（前提）、Qを後件（結論）と呼び、「Pが真であるときにはQも必ず真である」という関係を表します。この関係は含意（がんい、implication）とも呼ばれます。
論理包含の真偽は次の規則で決まります。
- P が真 かつ Q が真 → P→Q は真
- P が真 かつ Q が偽 → P→Q は偽（唯一の偽になるケース）
- P が偽 かつ Q が真 → P→Q は真（前件が偽なら全体は真）
- P が偽 かつ Q が偽 → P→Q は真（同上）
「前件が偽のときに命題全体が真」となる点は直感に反して見えますが、これは「Pが成り立つ場面では必ずQが成り立つ」という約束だけをしており、Pが成り立たない場面については何も主張していないと解釈することで理解できます。
論理包含は数学の証明・プログラムの条件分岐・法律の条文など、日常の多くの推論で暗黙に使われています。また、集合論における包含関係（A⊆B）とも深く対応しており、「xはAに属する → xはBに属する」という形で集合の包含を命題として表現できます。
使い方・例文
「雨が降るならば地面は濡れる」という命題は論理包含の典型例であり、数学の証明問題でも「整数nが偶数ならばn²も偶数である」という形でよく登場します。
この用語をシェア
最終更新: