1)谓词公式
谓词公式的一般形式：
P(X1,X2,...Xn)
其中：
P—谓词符号(简称谓词)。
Xi(i=1,2,…n)—参数项（简称项）项可以是常量、变量或函数。
P(X1,X2,...Xn)—n元谓词公式。
谓词公式的基本组成：谓词符号、常量符号、变量符号、函数符号；这些组成之间用括号和逗号隔开，表示论域内的关系。谓词公式是谓词逻辑的基本单元，也称为原子公式。
2)连词和量词
通过引入连词和量词，可以把谓词公式(原子公式)组合为复合谓词公式。
复合谓词公式也称为逻辑语句。
①连词。自动推理中的连词系统如表10-1所示。
表10-1 自动推理中连词系统
全称量词∀：符号(∀x)P(x)：表示对于某个论域中的所有(任意一个)个体x,都有P(x)真值为T。
存在量词：符号(∃x)P(x)：表示某个论域中至少存在一个个体x，使P(x)真值为T。
若限定不允许对谓词和函数名进行量化处理，且参数项不能是谓词公式，则这样的谓词逻辑是一阶的。需要注意的是，谓词、函数名的出现位置不允许使用变量，参数项不能是谓词公式。
