命题变量的英文

propositional variable

• 命题:    assign a topic; se ...
• 变量:    variable; variable ...
• 命题变元:    propositional vari ...

百科释义

在数理逻辑中，命题变量(也叫做句子变量)是要么为真要么为假的变量。命题变量是命题公式的基本构件板块，用于命题逻辑和更高的逻辑中。