一、句子的谓词符号化

谓词逻辑，也叫一阶逻辑，它对每个最简单的命题尽一步进行分解。

1·个体词：可以独立存在的客体。

2·谓词：描述一个个体词的属性或多个个体词之间的关系（可用一元函数和多元函数来理解）。

3·量词：表达个体词数量的关系。

两种量词的使用：全称量词与存在量词

二、给定公式的解释，求真值

三、自由变元和约束变元

量词的辖域：紧挨着量词的谓词或括号内子公式。

约束变元：有量词约束，在对应量词的辖域范围内。

自由变元：没有量词约束。

不含自由变元的公式称为封闭的公式（简称闭式），封闭公式在给定了解释的情况下就成为命题。

四、公式的分类和等价

与命题公式类似，谓词公式也可分为三种类型：

1·重言式（永真式）：公式在所有解释下为真。

2·矛盾式（永假式）：公式在所有解释下为假。

3·可满足式：至少有一个解释使公式为真。

谓词公式的基本等价关系

谓词逻辑中使用等值演算法判定类型或等价关系，基本思路和命题逻辑类似：

1·先消掉等价，蕴含；

2·括号（）前面有非的，用德摩根律；

3·多层结构变单层

4·把相同的变元或子公式放到一块来化简或消掉；

5·量词前面有否定的，用量词转换率；

6·量词辖域内有无关析取项或合取项的可以移出“

7·注意观察是否能够使用量词分配率。