この節は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "論理包含" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2024年3月) 論理包含と条件文は同じものとすることが多い。しかし必ずしもそうではなく、論理包含は「断言」的関係、条件文は「予想」的関係だとして区別し、また、次のように表現し分けることもある。 (、P は Q に包含される) (if P then Q、もし P ならば Q が成り立つ) ただし、上記の利用法とは異なり は伴意の記号としても使われることに注意。 例[編集] P が偽ならば、Q の真偽にかかわらず「P ならば Q」が真である (en:Vacuous truth)、という