谓词公式

　　单个谓词是谓词公式，称为原子谓词公式

　　若A是谓词公式，则A 也是谓词公式

　　若A,B都是谓词公式，则A ∧ B , A ∨ B , A → B  也都是谓词公式

　　若A是谓词公式，则( X ) A , ( X ) A  也都是谓词公式

　　有限步应用1~4步所得到的公式也是谓词公式

　　连接词的优先级别从高到低排列：

　　量词的辖域

　　位于量词后面的单个谓词或者用括弧括起来的谓词公式。

　　辖域内与量词中同名的变元称为约束变元，不同名的变元称为自由变元。

　　例如：

　　，该辖域内的X是约束变元，而在R ( X , Y )  中的X则是自由变元。

　　公式中的所有Y都是自由变元。