释义 |
propositional functionn.Logic(名词)【逻辑学】- An expression having the form of a proposition but containing undefined symbols for the substantive elements and becoming a proposition when appropriate values are assigned to the symbols.命题函数:有命题的形式的一种表达式,但其独立元素为未定义的符号,而当合适的值被赋予符号时成为一个陈述句
|