論理包含
論理包含（ろんりほうがん、含意（がんい）、内含、、IMP）は、第1命題が偽または第2命題が真のときに真となる論理演算である。条件文（じょうけんぶん、）とほぼ同じものである。論理的帰結（）や伴意（）とは異なる物である。
2つの命題 "P" と "Q" に対する論理包含を "P" → "Q" などと書き、「"P" ならば "Q"」と読む。命題 "P" → "Q" に対し、"P" をその前件、"Q" をその後件などと呼ぶ。