离散数学--7 谓词演算的推理理论.pptVIP

第二章谓词逻辑 2-7 谓词演算的推理理论 授课人：李朔 Email:chn.nj.ls@ 一、谓词演算推理规则 谓词演算的推理方法,可以看作是命题演算推理方法的扩张。 在一阶逻辑中，推理的形式结构仍为 H1 ? H2 ?…? Hn?B。 若该式为逻辑有效式，则称推理正确，称B是H1 ，H2 ，…，Hn，的逻辑结论，记H1 ? H2 ?…? Hn ? B。 一般的，将逻辑有效蕴含式称为推理定律。命题逻辑中的重言蕴含式，在一阶逻辑中的代入实例，都是一阶逻辑中的推理定律。另外，每个等值式都可产生两条推理定律。 一、谓词演算推理规则 谓词演算推理规则 P规则：前提在推导过程中的任何时候都可以引入使用。 T规则：在推导过程中，如果有一个或多个公式重言蕴涵这公式S，则公式S可以引入推导之中。 命题演算推理中的P规则、T规则（置换规则、合取引入规则）在谓词推理中都是对的，都可以使用； 一、谓词演算推理规则 在谓词推理中，某些前提与结论可受量词限制，为了使用等价式和蕴含式，必须在推理过程中有消去和添加的规则，使推理类似于命题演算中的推理理论。 在推理过程中，除了用到命题逻辑中的推理规则外，还须用到下面4条规则。其中A ? B不一定表示A→B是逻辑有效式(非永真)，而仅表示在一定条件下，当A为真时，B也为真的推理关系。 全称指定规则（简称US规则） 全称推广规则（简称UG规