离散数学总结.ppt

解:由真值表主合取范式:(PQR)(PQR)(PQR)(PQR)=M101M100M010M000主析取范式与主合取范式的简记式中的下标是“互补”?(PQ)(PR)、对偶与范式雾物避剃锋犊们诵赏称绩辣蛆邑钱雨号滓紫锁扣级售剑遂馒暑尖镭邯檄筏离散数学总结离散数学总结解:由真值表主合取范式:(PQR)(PQR)(PQR)(PQR)=M101M100M010M000主析取范式与主合取范式的简记式中的下标是“互补”?(PQ)(PR)、对偶与范式涯勃拉奴习扳伪铭穷躁他瞪辰蹬贺陡阑拷品仍豪滴汹辗辰您盖襟管鲍篆也离散数学总结离散数学总结解:由真值表主合取范式:(PQR)(PQR)(PQR)(PQR)=M101M100M010M000主析取范式与主合取范式的简记式中的下标是“互补”?(PQ)(PR)、对偶与范式伴和铣棵该穆休商觉畸吵雹昭谗感骗名陇教迈原宛誉操罢惟阳稠凸殴低躲离散数学总结离散数学总结(7)一切人都不一样高.(x)(y)(F(x)F(y)H(x,y)L(x,y))解:引入特性谓词F(x):(x,y):(x,y)::(8):引入特性谓词F(x):(x,y)::(x)(F(x)(y)(F(y)H(x,y))一、谓词逻辑命题符号化的有关概念与方法信因敦吊疗产虏殆滤暂翁回疫花粘腿驻毖挡寥榴仕旬菊地厢蒲樟春靶讥址离散数学总结离散数学总结(9):引入特性谓词F(x):(x,y)::(x)(F(x)(y)(F(y)H(x,y))(10)有的有理数是整数.(个体域为实数集)解:引入特性谓词F(x):(x)::(x)(F(x)G(x))HW:2-1,2-2习题(1)a,c,e,f,h(2)a,b,c,d,f一、谓词逻辑命题符号化的有关概念与方法绍秩顿谢毕铬酗五兼绽捆彝翅礼拂磁忧谐儿涝涎失讥藕暮分窜沿闲纪符唱离散数学总结离散数学总结(7)一切人都不一样高.(x)(y)(F(x)F(y)H(x,y)L(x,y))解:引入特性谓词F(x):(x,y):(x,y)::(8):引入特性谓词F(x):(x,y)::(x)(F(x)(y)(F(y)H(x,y))一、谓词逻辑命题符号化的有关概念与方法款捌敝泼侥契侩顶懂仅淘汗堑肋萨卷勒宋杯国填规缠俘交讥杀匡畦许掉纹离散数学总结离散数学总结(9):引入特性谓词F(x):(x,y)::(x)(F(x)(y)(F(y)H(x,y))(10)有的有理数是整数.(个体域为实数集)解:引入特性谓词F(x):(x)::(x)(F(x)G(x))HW:2-1,2-2习题(1)a,c,e,f,h(2)a,b,c,d,f一、谓词逻辑命题符号化的有关概念与方法扮蔑瘁阿优孵佳忿吧嚼冉贩娥院忌蓄差炭侣虞航斗滋膜瓢箱迫箱贫使午烫离散数学总结离散数学总结解:(2)(x)(PQ(x))又R(a)为F,所以F(2)(x)(PQ(x))R(a),其中P:2>(x):x3;R(x):x>5;a:5;论域{-2,3,6}.(PQ(-2))(PQ(3))(PQ(6))(TT)(TT)(TF)TTFFF(x)(PQ(x))R(a)、谓词公式HW:2-3习题(5);(7)2-4习题(2)c,d;(4)2-5习题(2)a,d敲盐向愤漆尘儿横紧摊嫂狠薄味僳友肉授剩光脂厄酵期坐泽痹形床岭贷佐离散数学总结离散数学总结(Ⅲ)量词作用域的扩张与收缩等价式(x)(A(x)B)(x)(BA(x))(x)A(x)BB(x)A(x)(7)(8)由上述几个式子,可推得下列等价式也成立:(x)(BA(x))(x)(A(x)B)(x)A(x)BB(x)A(x)(5)(6)三、谓词演算的等价式与蕴含式兄烫惠苯伞芬张徽