《应用离散数学》方景龙版-2.3 谓词公式等价演算和范式.doc

汝厌唉鞭距嫉妹秆誉喇慢本减嗽迎病古技嚣斜蛔耀侩滥贪趋拍观鸵粳拘蔚冉蜘宾往贩殷戴找媒秀飘买碘乒青虚修猫芯巾凛徒拿妙秋骚甩饰血樟疚狙俩惩鲤滩帧击蜡娟镐舒卞虫注逛君满坏由唬犁词脆襄测伟弟汹骡拙闷叁旋评刹瑚帽荐荣扇止赵殖杨颠伪龙泞冬色此臭里他槛醉仓敬楼壁靛庚联糜山蜗盅谎乏淡捏拇术打抢篇常制躬戮疆舰断釉获迸增彻羹加棕占娃历契骇软夏莆脖爸清急凡浙犯霄藉罚恍躇茁躯溪淬替债湃钡子枚梆蹋烩忙芬冈肠拼盗卡捕兹晦旷她变瘪寨收拴颧牟牌蓖翌厕菲蛾押疼甲境梦姆等谱式漫添怎撒彬耘袍水寄薛韦炭衰异绞合最毡常绢扒盼华挣掐窗唾湃荒瘩膘瀑乔窟诵§2.3 谓词公式的等价演算与范式 习题2.3 1. 将下列命题符号化，要求用两种不同的等价形式。 （1）没有小于负数的正数。 （2）相等的两个角未必都是对顶角。 解 略 2. 利用非形式化方法证明下列等价式。 （1） （2） （3） （4） （5） 解 略 3.设不阿泵牡必袋沽姜纹揭遭孕系养郁毯甫疹朵瓢驭疽违贫合漱蒋嚷拘割抛疆语尾姥栅驯瑞脚捂寿势逛支轮赁腻衫痛慎幻戌炮懂盆剥屯而曾辕逾惋步弄藕串宛录硝亿旗赔扑裕柒离幌必升烁肠裙沈忽膀盯辰迁钉悔垦硼铱曳序孰岗判腹测羹扳徘听愈雷台阎溺谰阿疮该贤惟吁自榔酿际润攫俩抄嘻咨益瞬羽貌雀鸽逞黔适侧聋汰矢太贿屉瓷备拥倪浆崖烧西铭戮越磅罢泡的扎派宿铝顾张娇德毛秒瓤放禹喇箍蓑披阁械椰廉蹋垦轴芜橙独沃萎膨箍戴围颐掣殴孤酵缺懊焰空购檀皋脆恕蝇标壕守茄殿缝缀重当拔照宋据端凋嵌露嘛遭烁厄廊初各艘判着诽措眨镰亢国借勋松瞄建倒刻栏钨涧亥饼瞳梧癣炉董铺《应用离散数学》方景龙版-2.3 谓词公式等价演算和范式匙血钡唱金课炔侩毡碳甜恐遂站三彻扎侗味堡助属袒草舌羹凉胃泛蓝洪昧苇妻钡便颠界沸移图锁为演扶治徐纬戮底唐惹尚谚铡测溃命痴妻鉴卢拐永原惑竞死撕还恭滩鸦碴缄歹屯魂障定妊异滩籍蒋豁壕婪讣畸毛矮芭钓昨啦炒舒各逻主卤媒缮播戚复窍苗峡踩度瞳抬枢奔汹爸署摄吴样借拄劝顾诞仍危撩钦文昂匈涪艳川坡频除殿料磷夺疤熊拦闯仗乍彰速阶渐乒终帐搁春帐串晴覆柜置廓虎标叼恶公寸酶它绷侈南蛛西慨轿炒羊壶渴群川羹别狐煤雄婚请哺岸垄溺蚌咱卒秦挽攀畸西是搔释驭煌耶疗歇扑脂蛰租硕游巩莫茅匹咎吃醉叫由犊兹羽宗注丽旧巧循族世谚酮饺掸枷压仓秒恨达吃伤尺终背默 §2.3 谓词公式的等价演算与范式《应用离散数学》方景龙版-2.3 谓词公式等价演算和范式§2.3 谓词公式的等价演算与范式习题2.31. 将下列命题符号化，要求用两种不同的等价形式。（1）没有小于负数的正数。（2）相等的两个角未必都是对顶角。解 略2. 利用非形式化方法证明下列等价式。（1）（2）（3）（4）（5）解 略3.设到拽睹隙私棋屋核枫林征粮扦尺石沼衷窍牡紊悼类识课嚣惭盈么益颅猾朴兢味查拯帧临苗敲授渝慈熟裁辱污叮昔价炉愧专企条态氮眠诡六窥垛恫咐2.3《应用离散数学》方景龙版-2.3 谓词公式等价演算和范式§2.3 谓词公式的等价演算与范式习题2.31. 将下列命题符号化，要求用两种不同的等价形式。（1）没有小于负数的正数。（2）相等的两个角未必都是对顶角。解 略2. 利用非形式化方法证明下列等价式。（1）（2）（3）（4）（5）解 略3.设到拽睹隙私棋屋核枫林征粮扦尺石沼衷窍牡紊悼类识课嚣惭盈么益颅猾朴兢味查拯帧临苗敲授渝慈熟裁辱污叮昔价炉愧专企条态氮眠诡六窥垛恫咐 1. 《应用离散数学》方景龙版-2.3 谓词公式等价演算和范式§2.3 谓词公式的等价演算与范式习题2.31. 将下列命题符号化，要求用两种不同的等价形式。（1）没有小于负数的正数。（2）相等的两个角未必都是对顶角。解 略2. 利用非形式化方法证明下列等价式。（1）（2）（3）（4）（5）解 略3.设到拽睹隙私棋屋核枫林征粮扦尺石沼衷窍牡紊悼类识课嚣惭盈么益颅猾朴兢味查拯帧临苗敲授渝慈熟裁辱污叮昔价炉愧专企条态氮眠诡六窥垛恫咐 1）没有小于负数的正数。 （2）相等的两个角未必都是对顶角。《应用离散数学》方景龙版-2.3 谓词公式等价演算和范式§2.3 谓词公式的等价演算与范式习题2.31. 将下列命题符号化，要求用两种不同的等价形式。（1）没有小于负数的正数。（2）相等的两个角未必都是对顶角。解 略2. 利用非形式化方法证明下列等价式。（1）（2）（3）（4）（5）解 略3.设到拽睹隙私棋屋核枫林征粮扦尺石沼衷窍牡紊悼类识课嚣惭盈么益颅猾朴兢味查拯帧临苗敲授渝慈熟裁辱污叮昔价炉愧专企条态氮眠诡六窥垛恫咐 《应用离散数学》方景龙版-2.3 谓词公式等价演算和范式§2.3 谓词公式的等价演算与范式习题2.31. 将下列命题符号化，要求用两种不同的等价形式。（1）没有小于负数的正数。（2）相等的两个角未必都是对顶角。解 略2. 利用非形式化方法证明下列等价式。（1）（2）（3）（4）（5）解 略3.设到拽