論理的帰結
(logical consequence から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/15 14:28 UTC 版)
ナビゲーションに移動 検索に移動論理的帰結（ろんりてききけつ、伴意、英: logical consequence, entailment）は、論理学における最も基本的な概念であり、複数の文（または命題）の集合と1つの文（命題）の間が「～だから、当然～」という繋がり方をする関係を指す。例えば、「カーミットは緑色だ」という文は、「全てのカエルは緑色だ」と「カーミットはカエルだ」の論理的帰結である。
このような論理的帰結の確かさは、前提が真かどうか、および完全かどうかに依存する。この前提は全てのカエルが緑色でない場合は真ではないことになる。演繹による推論や論理的帰結は認識論の重要な面であり、因果に関する一般的仮説を伝達する意味を持つ。
形式的な論理的帰結関係はモデル理論的なものと証明論的なもの（あるいは両方）がある。
論理的帰結は、文の集合から文の集合への関数としても表現できる（タルスキ風の定式化）し、2つの文の集合の間の関係としても表現できる（multiple-conclusion logic）。
記述
ここでは、論理的帰結の典型的な記述について述べる。
Γ は任意の前提の集合、A は任意の結論とする。Γ/A は Γ を前提、A を結論とする論理的主張（Logical argument）である。Γ 
- logical consequenceのページへのリンク
