「logical consequence」を解説文に含む見出し語の検索結果(1～10/41件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/06/20 22:13 UTC 版)「ホーン節」の記事における「論理プログラミングにおける用法」の解説論理プログラミングにお...
ナビゲーションに移動検索に移動論理的帰結（ろんりてききけつ、伴意、英: logical consequence, entailment）は、論理学における最も基本的な概念であり、複数の文（また...
ナビゲーションに移動検索に移動論理的帰結（ろんりてききけつ、伴意、英: logical consequence, entailment）は、論理学における最も基本的な概念であり、複数の文（また...
ナビゲーションに移動検索に移動論理的帰結（ろんりてききけつ、伴意、英: logical consequence, entailment）は、論理学における最も基本的な概念であり、複数の文（また...
ナビゲーションに移動検索に移動論理的帰結（ろんりてききけつ、伴意、英: logical consequence, entailment）は、論理学における最も基本的な概念であり、複数の文（また...
別表記：コーラレリ「corollary」の意味・「corollary」とは「corollary」とは、一つの事実や原理から自然に導き出される結論や結果を指す英単語である。数学や論理学で頻繁に用いられ、...
別表記：コーラレリ「corollary」の意味・「corollary」とは「corollary」とは、一つの事実や原理から自然に導き出される結論や結果を指す英単語である。数学や論理学で頻繁に用いられ、...
別表記：エルゴ「ergo」の意味・「ergo」とは「ergo」はラテン語の語彙で、英語においては「したがって」や「その結果」といった意味を持つ接続詞である。論理的な推論や結論を導く際に使用される。例え...
別表記：エルゴ「ergo」の意味・「ergo」とは「ergo」はラテン語の語彙で、英語においては「したがって」や「その結果」といった意味を持つ接続詞である。論理的な推論や結論を導く際に使用される。例え...
Graham Priest生誕1948年時代20世紀の哲学者、21世紀の哲学者地域西洋哲学学派分析哲学研究分野論理学、形而上学主な概念矛盾許容論理、真矛盾主義、マイノング主義テンプレートを表示グレアム...
< 前の結果 | 次の結果 >