1. 谓词
对于"张明生于北京这句话"，"张明"和"北京"叫做个体
代表个体的变元叫做个体变元，刻画个体的性质或几个个体间关系的模式叫谓词，比如这句话的"生于"
2. 量词
- 全称量词
\(\forall x\)读作"对任一x"，这里\(\forall 是全称量词\) - 存在量词
\(\exists x\)读作"存在一x"，存在量词。
3. 约束变元与自由变元
在一个公式中一个变元既以约束出现，又以自由出现是允许的。但为了避免混淆，我们通常通过改名规则，使得一个公式中一个变元仅以一种形式出现
4. 谓词的等价
命题公式的推广
量词与联结词非之间的关系
量词分配率等价式
多重量词等价式
5. 谓词的蕴含
6. 谓词演算的推理规则
1. 全称指定规则(US)
2. 存在指定规则(ES)
3. 存在推广规则(EG)
4. 全称推广(UG)
5. 谓词逻辑推理实例
