谓词

1. 谓词

对于"张明生于北京这句话"，"张明"和"北京"叫做个体

代表个体的变元叫做个体变元，刻画个体的性质或几个个体间关系的模式叫谓词，比如这句话的"生于"

2. 量词

• 全称量词
  \(\forall x\)读作"对任一x"，这里\(\forall 是全称量词\)
• 存在量词
  \(\exists x\)读作"存在一x"，存在量词。

3. 约束变元与自由变元

在一个公式中一个变元既以约束出现，又以自由出现是允许的。但为了避免混淆，我们通常通过改名规则，使得一个公式中一个变元仅以一种形式出现

4. 谓词的等价

命题公式的推广

量词与联结词非之间的关系

量词分配率等价式

多重量词等价式

5. 谓词的蕴含

6. 谓词演算的推理规则

1. 全称指定规则(US)

2. 存在指定规则(ES)

3. 存在推广规则(EG)

4. 全称推广(UG)

5. 谓词逻辑推理实例