?命题变量

...务参数类型的概念的作用也十分类似于在动态逻辑中用于刻画各个可能世界（possibleworld）的命题变量 （propositional variable）．稍有不同的是。

[数]?命题变元

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