离散数学课件第1部分5(下)学习课件.pptVIP

第一章 逻辑与证明 谓词逻辑的推理方法，可以看作是命题逻辑推理方法的扩张。 因为谓词逻辑的很多等价式和蕴含式，是命题逻辑有关公式的推广，所以命题逻辑中的推理规则，如P、T和CP规则等亦可在谓词的推理理论中应用。 在谓词推理中，某些前提与结论可能是受量词限制的，为了使用等价式和蕴含式，必须在推理过程中有消去和添加量词的规则，以便使谓词逻辑的推理过程可类似于命题逻辑中推理理论那样进行。 由前面的叙述我们知道： 谓词逻辑推理方法： 真值表法、直接证法、间接证法。 所用公式：命题逻辑部分使用的I1~I16的蕴含规则，以及 E1~E22的等价式规则。 推理规则：P、T、CP、US、ES、EG、UG 后四个规则，是处理量词的，因为推理时要使用不含量词的命题公式，所以要去掉量词，如果结论有量词，还要添加量词。 后面介绍四个新规则。 一.全称特指规则 US (Universal Specialization) 形式： ?xA(x)?A(c) (其中c是论域内指定客体) 含义：如果?xA(x)为真，则在论域内任 何指定客体c，都使得A(c)为真。 作用：去掉全称量词。 要求：c不是A(x)中的符号。 二.全称推广规则UG (Universal Ge