判断题 谓词P中的所有个体都是个体常量、变元或函数，则该谓词P为二阶谓词。

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

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