谓词演算等价式与蕴含式.pptVIP

;回 顾;二、谓词演算的等价式和蕴含式;例2-15用谓词演算的等价式和蕴含式证明 （1） （2） （3） 证明(1)： 证明(2)：;证明(3)：要证明 ，只须证明 为真即可。 ;返回;袁团缠晃器酒钱拽伺拼朗祖乐掩吵设蜕蒲府淆负括凋态蘑螟佃宋爹滋赤柯谓词演算等价式与蕴含式谓词演算等价式与蕴含式; 证明：设论域为D，?xP(x)若为真，则对于论域中的任一个体c，P(c)为真。根据定义?xP(x)为真。所以蕴含式成立。 ; 课堂练习 用谓词演算的等价式和蕴含式证明: （1） （2） ; 2．6谓词演算的推理理论 （1）全称指定规则（US） 该规则中，c是个体域D中的任意一个个体。该推理规则的横线下面是结论A(c)。该规则表明，如果个体域D中全部个体都满足A(x)，则对个体域D中的某个个体c，c肯定满足A(x) 。 ; （3） 存在指定规则（ES） 该规则中，c是个体域