命题变元

  推理的基本要素就是表达判断的一种陈述句，这种陈述句具有真值，所谓真值就是语句为真或为假的性质。当一个陈述句对其判断为真时，就说这个陈述句的真值为真；当一个一个陈述句对其判断为假时，就说它的真值为假。具有唯一真值的陈述句称作命题，亦可简称为语句。

例如： （1）8是偶数。 （2）雪是黑的。   （3）请勿吸烟！ （4）你好吗？ （5）x+y>5

上面1 2 是命题，3 4 分别是感叹句和疑问句，命题只有陈述句。  5 具有不确定因素所以不是命题。

  在数理逻辑中，我们通常会用大写字母A,B,C,D........Z或用数字例如 [20]等表示命题， 例如 P：今天上午下雨。P就表示“今天上午下雨”这个命题的名。表示命题的符号称为标识符。

  一个命题的标识符如果表示确定命题，就称为命题常量，如果命题标识符只标志为命题的位置，就称为命题变元，因为命题变元可以表示任意命题。所以它不能确定真值，因此命题变元不是命题。