离散数学命题演算的变量用什么表示

命题变元可以表示任意命题。
离散数学中命题变量的含义，课本上说：命题标识符用来标识一组命题的任一个或仅表示任一个命题的所在位置,此时被称为命题变量.比如你住在宿舍你的床位是101－1，101－1是命题标识符，101是一组命题。
在数理逻辑中，为了表达概念，陈述理论和规则，常常需要应用语言进行描述，但是日常使用的自然语言进行描述，往往叙述时不够确切，也易产生二义性，因此就需要引入一种目标语言，这种目标语言和一些公式符号，就形成了数理逻辑的形式符号体系。所谓目标语言就是表达判断的一些语言的汇集，而判断就是对事物有肯定或否定的一种思维形式，因此能表达判断的语言事故陈述句，它称作命题。
一个命题，总是具有一个“值”，称为真值。真值只有“真”和“假”两种，记作true（真）和false（假），分别用符号t和f表示。只有具有确定真值的陈述句才是命题，一切没有判断内容的句子，无所谓是非的句子，如感叹句，疑问句，祈使句等都不能作为命题。命题有两种类型：第一种类型是不能分解为更简单的陈述语句，称作原子命题；第二种类型是有联结词，标点符号和原子命题复合构成的命题，称作复合命题。所有这些命题，都应具有确定的真值。
一个命题标识符如表示确定的命题，就称为命题常量，如果命题标识符只表示任意命题的位置标志就称为命题变元。因为命题变元可以表示任意命题，所以不能确定真值，故命题变元不是命题。当命题变元p用一个特定命题取代时，p才能确定真值，这时也称对p进行指派。当命题变元表示原子命题时，该变元称为原子变元。