命题常元

命题常元(propositional constant)亦称命题定元、命题常项、特定的命题，初等代数中的常数或常元在命题代数中的对应概念。在命题代数W中，用一个字母表示W的某个固定的命题，这个字母称为W的常元或定元，如F，T都是命题常元。在命题逻辑中，命题又有命题常元和命题变元之分，一个确定的具体的命题，称为命题常元；一个不确定的泛指的任意命题，称为命题变元，显然，命题变元不是命题，只有用一个特定的命题，即对该命题变元赋值0或1才能确定它的真值。