厳密含意のソースを表示

{{出典の明記|date=2024年2月25日 (日) 16:43 (UTC)}}
[[論理学]]において'''厳密含意'''（げんみつがんい、記号：◻または⥽）は、[[様相論理]]上の[[論理演算]]によって定義される命題上の論理的関係である。これは、様相論理の必然演算子が適用された古典論理の実質含意に論理的に等価である。任意の2つの命題 <math>p</math> と <math>q</math> について、<math>p \implies q</math> を「 <math>p</math>  が  <math>q</math>  を'''実質含意'''する」と言い、一方 <math>\Box (p \implies q)</math> を「 <math>p</math>  が  <math>q</math>  を'''厳密含意'''する」と言う。

厳密条件式は、[[C・I・ルイス]]が自然言語で[[直説法]]を適切に表現できる論理の条件式を見つけようとしたことによる生まれたものである。
[[Category:必然性]]
[[Category:様相論理]]
[[Category:論理結合子]]
[[Category:条件]]