様相的形式的記述
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/15 14:28 UTC 版)
論理的帰結の様相的形式的記述は様相的記述と形式的記述を組み合わせたもので、以下のような考え方に基づく。 Γ ⊨ {\displaystyle \vDash } A とは、Γ/A と同じ論理的形式の主張が、真の前提と偽の結論となることがあり得ないことを意味する。 論理的帰結の直観的理解として、様相的な面と形式的な面がある。
※この「様相的形式的記述」の解説は、「論理的帰結」の解説の一部です。
「様相的形式的記述」を含む「論理的帰結」の記事については、「論理的帰結」の概要を参照ください。
- 様相的形式的記述のページへのリンク