「内含」
ナイガン
構成する漢字
読み方
ナイガン
各漢字の音読みを機械的に組み合わせた候補です。実在する語の正式な読みを保証するものではありません。意味と使い方
論理包含（ろんりほうがん、含意（がんい）、内含、英: implication、IMP）は、第1命題が偽または第2命題が真のときに真となる論理演算である。条件文（じょうけんぶん、英: conditional）とほぼ同じものである。論理的帰結（英: logical consequence）や伴意（英: entailment）とは異なる物である。
2つの命題
P
{\displaystyle P}
と
Q
{\displaystyle Q}
に対する論理包含を
P
⟹
Q
{\displaystyle P\implies Q}
(または
P
→
Q
{\displaystyle P\to Q}
)と書き、「
P
{\displaystyle P}
ならば
Q
{\displaystyle Q}
」、「
P
{\displaystyle P}
は
Q
{\displaystyle Q}
を含意する」、「
P
{\displaystyle P}
は
Q
{\displaystyle Q}
の十分条件」と読む。また
P
⟹
Q
{\displaystyle P\implies Q}
の形をした命題を仮言命題（hypothetical proposition）、
P
{\displaystyle P}
をその前件（antecedent）、
Q
{\displaystyle Q}
をその後件（consequent）などと呼ぶ。