厳密含意 この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)出典検索?: "厳密含意" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2024年2月) 論理学において厳密含意(記号:◻または⥽)は、様相論理上の論理演算によって定義される命題上の論理的関係である。これは、様相論理の必然演算子が適用された古典論理の実質含意に論理的に等価である。任意の2つの命題 p {\displaystyle p} と q {\displaystyle q} について、 p ⟹ q {\displaystyle p\implies q} を「 p {\displaystyle p} が q {\displaystyle q} を実質含意する」と言い、一方 ◻ ( p ⟹ q ) {\displaystyle \Box (p\implies q)} を「 p {\displaystyle p} が q {\displaystyle q} を厳密含意する」と言う。 厳密条件式は、C・I・ルイスが自然言語で直説法を適切に表現できる論理の条件式を見つけようとしたことによる生まれたものである。