判断题 如果一个命题标识符表示确定的命题，就称为命题常量。

判断题 命题逻辑就是研究命题和命题之间关系的符号逻辑系统。

判断题 不能分解成更简单的陈述语句，称为复合命题。