「議論領域」を解説文に含む見出し語の検索結果(1～10/126件中)
ナビゲーションに移動検索に移動議論領域（ぎろんりょういき、英: domain of discourse, universe of discourse）は、演繹、特に一階述語論理で使われる用語で...
ナビゲーションに移動検索に移動議論領域（ぎろんりょういき、英: domain of discourse, universe of discourse）は、演繹、特に一階述語論理で使われる用語で...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 08:00 UTC 版)「量化」の記事における「量化の範囲」の解説それぞれの量化は、1つの特定の変項に関するもの...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/12 02:07 UTC 版)「数理論理学」の記事における「他の古典論理」の解説一階述語論理の他にも多くの論理体系が考...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 07:56 UTC 版)「全称記号」の記事における「記号の意味」の解説「Px」という開論理式 (open for...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/02 14:51 UTC 版)「ウィラード・ヴァン・オーマン・クワイン」の記事における「集合論」の解説クワインは論理学...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 08:00 UTC 版)「量化」の記事における「量化子の記法」の解説全称量化子は "A" を逆さにした "∀" ...
命題関数（めいだいかんすう、英：Propositional function） とは、数理論理学において、各変数の変域と終集合とがそれぞれ「真な命題」と「偽な命題」のみから成る、集合に等しいような写像...
命題関数（めいだいかんすう、英：Propositional function） とは、数理論理学において、各変数の変域と終集合とがそれぞれ「真な命題」と「偽な命題」のみから成る、集合に等しいような写像...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/12 02:07 UTC 版)「数理論理学」の記事における「一階述語論理」の解説詳細は「一階述語論理」を参照 一階論理...
< 前の結果 | 次の結果 >
>>
「議論領域」の辞書の解説