[数]?命题常数

... propositional calculus 命题演算 propositional constant 命题常数 propositional function 命题函数 ...

?命题常元

propositional constant(命题常元)： T(1)或F(0)，或者表示一个确定的命题； propositional variable(命题变元)：可 用一个特定的命题取代。