第二章谓词逻辑简析.ppt

2.7谓词演算的推理理论 在谓词演算中，C是一组前提A1，A2，…，An的有效结论，仍然定义为A1∧A2∧…∧An?C。 命题演算推理中的P规则、T规则、CP规则、所有的等价式和蕴含式在谓词推理中都是对的，都可以使用 2.5节中介绍的谓词演算中的等价式与蕴含式也可以在谓词推理中使用 其它规则 1.全称指定规则(US规则) (?x)A(x)?A(c) 此式成立的条件是： ①c是个体域中任一客体。 ②用c取代A(x)中x时，一定在x出现的所有地方进行取代。 全称指定规则说明：若个体域中的所有客体都满足谓词A，则个体域中任一客体c也满足谓词A。 利用这个规则，可以从带有全称量词的前提中，推导出不带全称量词的特殊结论。 2.全称推广规则(UG规则) A(y)?(?x)A(x) 此式成立的条件是： ① y是个体域中任一客体且对y，A(y)为真。 ② x是不出现在A(y)中的客体变元。 【例】个体域为实数集合R，G(x,y)表示xy，设A(y)?(?x)G(x,y)， A(y)满足条件①，一定能推出(?z)A(z)?(?z)(?x)G(x,z)?(?z)(?x)(xz)，这是一个真命题。 若推成(?x)A(x)?(?x)(