离散数学谓词逻辑课件.pptVIP

2-7 谓词演算的推理理论 推理方法： 直接推理、条件论证、反证法 所用公式：43页和70页的I1——I19，E1——E33 推理规则：P、T、CP、US、ES、EG、UG 后四个规则，是处理量词的，因为推理时要使用不含量词的命题公式，所以要去掉量词，如果结论有量词，还要添加量词。 下面介绍四个新规则： 一.全称指定规则 US(Universal Specialization) 形式： ?xA(x)?A(c)或?xA(x) ?A(y) (其中c是论域内指定客体) 含义：如果?xA(x)为真，则在论域内任何指定客体c，都使得A(c)为真。 作用：去掉全称量词。 条件：（1）c为任意客体常量。 （2）取代x的y应为任意的，不在A(x)中约束出现的个体变量。 （3）用c或y去取代A(x)中x时，一定要在x自由出现的一切地方进行取代。 二.全称推广规则UG (Universal Generalization) 形式： A(y)??xA(x) (其中y是论域内任何指定客体) 含义：如果在论域内任何指定客体y都使 得A(y)为真，则?xA(x)为真。 作用：添加全称量词。 条件：(1)无论A(y)中变量y取何值， A(y)均为真。 (2)x不是A(y)中的符号。 注意：y一定