谓词逻辑课件.pptVIP

 在命题逻辑中，若 H1?H2?H3?....?Hn?C是永真式，则称由 前提H1,H2,H3,.…,Hn逻辑推出结论C，其中H1,H2,H3,.…,Hn , C均为命题公式。 推理的形式结构为 H1?H2?H3?....?Hn?C 或 前提： H1,H2,H3,.…,Hn 结论： C 谓词演算可以看作命题演算的推广，因为谓词演算的等价式和蕴含式很多是命题演算中有关公式的推广，所以命题演算中的推理规则，如P、T和CP规则在谓词演算中仍适用。由于谓词逻辑中存在量词，所以在谓词演算中的某些前提和结论可能受到量词的约束。为了使谓词演算的推理过程使用命题逻辑有关的等价式和蕴含式，使整个推理过程按命题演算的推理过程进行，必须在谓词演算过程中消去和添加量词，这样就必须有相应的规则。 （2）全称推广规则（UG） 如果论域D中的任意一个个体c，都能使A(c)成立，则由该规则可得结论成立。注意，此时的个体c不是论域中某一特定的个体，而是泛指论域中所有的个体。 （3） 存在指定规则（ES） 该规则中，c是个