bn:01604270n
Noun Concept
Categories: 数学に関する記事, 命題, 論理式, 数理論理学, 述語論理
JA
命題関数
JA
命題関数(めいだいかんすう、英:Propositional function) とは、数理論理学において、各変数の変域と終集合とがそれぞれ「真な命題」と「偽な命題」のみから成る、集合に等しいような写像である。 Wikipedia
Definitions
Relations
Sources
JA
命題関数(めいだいかんすう、英:Propositional function) とは、数理論理学において、各変数の変域と終集合とがそれぞれ「真な命題」と「偽な命題」のみから成る、集合に等しいような写像である。 Wikipedia
Wikipedia
Wikidata