命题函数

命题函数（propositional function）是1993年公布的数学名词。1993年经全国科学技术名词审定委员会审定发布。