一阶逻辑等值演算与推理课件.pptVIP

第五章一阶逻辑等值演算与推理;要求：

深刻理解并记住重要等值式，并能熟练地应用它们

熟练地使用置换规则、换名规则、代替规则

准确地求出给定公式的前束范式

正确地使用UI,UG,EG,EI规则，特别要注意它们之间的关系

对给定的推理，正确地构造出它的证明

;一、量词否定等值式;证：设个体域中的客体变元为;二、量词辖域的扩张与收缩等值式;例：证明：;类似的可以推出：;三、量词分配等值式;四、多个量词的使用;全称量词与存在量词在公式中出现的次序，不能随意更换。具有两个量词的谓词公式，有如下一些蕴含关系。;五、量词分配中的一些推理关系式;说明:以上五种单个量词的谓词演算式可类似推

广到多个量词的情况。;5.2一阶逻辑前束范式;例:求下列公式的前束范式.;15;４、;１、全称量词消去规则（UＩ）;例：证明苏格拉底的三段论;（3）存在量词引入规则（ＥＧ）;证明：;;（10）;证法2：用CP规则;下列推理是否严密？;25;分析带量词的谓词公式，在进行逻辑推证时，必须正确使用US,UG,ES,EG这几个消去量词和扩张量词的规则。在推理过程中，谓词公式只能应用表2-1所列的蕴含式和等价式，除表中所列的代量词公式外，一般的

不能在量词后面的辖域内进行蕴含推导或等价变换。

如：;27;谢谢大家！