离散数学 --- 谓词逻辑 --- 谓词合式公式推理

第一部分 --- 推理形式和推理规则

1.谓词在拥有命题演算的基本蕴含公式的同时，还有着自己独有的基本蕴含公式

 

 当我们的描述在个体和整体之间转换时，就需要进行量词的消去和添加

 1.全称特指规则 --- US规则 --- 其实就是全称量词消去规则

2.全称量词消去有上面两种形式：
第一种消去全称量词的方式是代入任意一个属于给定个体域的个体变量（这个个体变量不能够被消掉全称量词后剩下的量词约束）

第二种消去全称量词的方式是代入任意一个属于给定个体域的个体常量

1.存在特指规则 ---ES规则 --- 就是用来消去存在量词的规则

<