「全称記号」を解説文に含む見出し語の検索結果(11~20/252件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/04/09 07:24 UTC 版)「双対」の記事における「論理の双対」の解説命題を論理式として表したとき、論理和 W...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/27 08:05 UTC 版)「任意」の記事における「数学などにおける「任意」」の解説数学や論理学において「任意の〜」...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/07/08 16:55 UTC 版)「命題関数」の記事における「限定作用素」の解説F(x) を 1 変数の命題関数とするとき...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/06 12:23 UTC 版)「メタクラス」の記事における「Smalltalk-80のMOP」の解説Smalltalk...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/15 14:29 UTC 版)「排中律」の記事における「バートランド・ラッセルと『数学原理』」の解説バートランド・ラッ...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/07/21 22:25 UTC 版)「ゲーム意味論」の記事における「古典論理」の解説最も単純なゲーム意味論の応用として、命題...
命題関数(めいだいかんすう、英:Propositional function) とは、数理論理学において、各変数の変域と終集合とがそれぞれ「真な命題」と「偽な命題」のみから成る、集合に等しいような写像...
命題関数(めいだいかんすう、英:Propositional function) とは、数理論理学において、各変数の変域と終集合とがそれぞれ「真な命題」と「偽な命題」のみから成る、集合に等しいような写像...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...