第二章-谓词逻辑.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。 利用这个