命题变元命题公式1.一个特定的命题是一个常值命题，它的真假值只有“T”与“F”
2.对于一个任意的没有赋予具体内容的命题
我们将其称为命题变元
其定义如下：以“真”、“假”为其变域的变元称为命题变元，用P、Q、R等表示，简称为命题
3.由命题经命题联结词可以构成命题逻辑公式，亦叫命题公式或公式
它的定义如下：（1）命题是公式（2）如果P是公式，则( P)是公式
（3）如果P、Q是公式，则（P∧Q)、 （P∨Q)、（P→Q), （P Q),（4）公式由且仅由有限次使用（1）（2）（3）而得
命题公式是一个按照上述法则由命题变元、命题联结词和圆括号所组成的字符串
4.设有一个由n个命题变元P1,P2, …,Pn所组成的公式，则此公式的真假由此n个命题变元所惟一确定：给n个命题变元(P1,P2, …,Pn)以一组确定的值后（它们由若干个T及F组成），则能得到相应命题公式的一个确定的值（T或F)
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
