🌐日本語EnglishEspañolItalianoPortuguêsРусскийفارسی한국어日本語EntityQ3606768· pop 9· linked from 31 articles命題関数expression in propositional calculusArticle · 日本語命題関数（めいだいかんすう、英：Propositional function） とは、数理論理学において、各変数の変域と終集合とがそれぞれ「真な命題」と「偽な命題」のみから成る、集合に等しいような写像である。命題関数は真理関数でもある。Abstract from DBpedia / Wikipedia · CC BY-SAAvailable in 9 languagesEspañol日本語PortuguêsItalianoKazakhUkrainianفارسی한국어via Wikidata sitelinks · CC0Connectionsbinary relationEntityopen formulaEntityCategoriesConcepts in logicFunctions and mappingsLogical expressionsMathematical relationsPredicate logic