論理的帰結
(logical consequence から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/15 14:28 UTC 版)
論理的帰結(ろんりてききけつ、伴意、英: logical consequence, entailment)は、論理学における最も基本的な概念であり、複数の文(または命題)の集合と1つの文(命題)の間が「~だから、当然~」という繋がり方をする関係を指す。例えば、「カーミットは緑色だ」という文は、「全てのカエルは緑色だ」と「カーミットはカエルだ」の論理的帰結である。
- 1 論理的帰結とは
- 2 論理的帰結の概要
- 3 関連項目
- logical consequenceのページへのリンク