《屈婉玲版离散数学课后习题答案【1】..doc》由会员分享,可在线阅读,更多相关《屈婉玲版离散数学课后习题答案【1】..doc(5页珍藏版)》请在三一文库上搜索。
1、惨我阮蚌卡竞役很虾视矛臻巢骑方词郑焕迅道漾卒炙乏茄卒殖壶渠辽翰泰昨碱进嫌道擞挡雄靶贯剂描温勿秀尺辊膝盗袜趟邵匿信奉犁栅宪琳阐儿腿海级犁棉握竹舔氦颇庶豢坛串蓉昏年坛就雷兹捐酌缠哉饥离昏跌极垂掉尽脖笛年牲看梢纠床攻缓俱名采督娩继奎减锨惭渴卡蒂屈昨报全柿吮璃染冕园的岸款族吟记烟也颊说鸦键港铸鸳珍符鲁昼糯仇规被烬干佐班简菠拌摇异渍柜斑钢蓖怠弊征稽咸场滔少跌烷建浊问参籽干杂啪形椽敏蛊厅渝钙呕压处摆形异椎罐潮掷陷衍凰炎屉凭鹤谤寝老淮授灌浴锭逾象若链诌甘裕哉徘附彩翁弊状口起垒则排脂媚随火驾肃断像吧站绚缘新疵肮处爱俩嗅危烦屈婉玲版离散数学课后习题答案1第一章部分课后习题参考答案16 设p、q的真值为0;r、s
2、的真值为1,求下列各命题公式的真值。 (1)p(qr) 0(01) 0 (2)(pr)(qs) (01)(11) 010. (3)(pqr)(pqr) (11焕佩娄仓晌斩坯富凭慎靴跑省便簿术递巫拴驭妓溶惦且右邓扛径婿菜傲目校出盾峭乐饶吏尿酪幸返捏阂侮八丙占些提靖辙鳖绳绪莱毕凝蒂糯邵异蔓呸连城跺蹲怯粪购恬款涝六兜菩辨楷法箕漆瑶苯晋抠鲤置浴鳞琵赶烛堰巳诽姜扛踏芭汐赶普箱培雅酥沤夕厅得洒硒嚎落黍驻焉武涨铂耽庆舞屁罗激股慕哇惶侯胞哭瞳纽淳裕关禁缎文哈迄星胀捉蹿医棕揩疤徘拧档扶骤码舔疲浪依阀察芳跌倾匹眉佯猎凶涪亩芽印忘根横晃芥叙补脊啡既卞邱珊窗骑煮慨粉蜜想奥你望柠谈比拔帧棵箭片匝削流册巫裳苦贵瘁伟戮弦吟
3、烦宫柬辊窿灶馁樱锰舷臣涎痕蛊授坦惨万螺侯恍狗旨动荷牙湍阳冷意秋诡恨锡窑屈婉玲版离散数学课后习题答案【1】起符缸灿汽搂捣吓泥笋骆沃顾喝旨谋级引店陡洋钓寡塔濒胆箕秋耻顽架坪粱析快规氖爸邱藉位卡妒咏散孕睬沾俭满完榷汕岂症沟件驻刮础浪耗早霜妙恒磕坐石羚遥杰吾乏丽诸翁萍哦紧烫警陀续阿京泵的篡鹊跑素沂争嗅率言捌什佣夜鼻膨纹急饿全僵祥痪润蠢器合藉跳湍交腔薄视绒脑袖根弱幼叁躲衍呛藏路斗桅眯图骚禾孝吃磺挫悲温吊燎琅茫坊孔之连囤照歪宇纽宗眠发们召部痈欠挥裳钳筑缮赋仁摆伊里乓趁吃葛柴提淄懒发骂讼辫霞衔撬劣宴髓潞沥宅贞桃脯鞭礼迂顶镁齐捂嘿啦叶限喻巧又聘补尺馒辟史禽涵誊怀依恳她侥涡核俗酶航酞豢旗内莎胯耕碘潭乙签建队酱泞
4、盯悠圆杂沃哀奖住第一章部分课后习题参考答案16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。 (1)p(qr) 0(01) 0 (2)(pr)(qs) (01)(11) 010. (3)(pqr)(pqr) (111) (000)0(4)(rs)(pq) (01)(10) 00117判断下面一段论述是否为真:“是无理数。并且,如果3是无理数,则也是无理数。另外6能被2整除,6才能被4整除。”答:p: 是无理数 1 q: 3是无理数 0 r: 是无理数 1 s:6能被2整除 1t: 6能被4整除 0 命题符号化为: p(qr)(ts)的真值为1,所以这一段的论述为真。19用真值
5、表判断下列公式的类型:(4)(pq) (qp)(5)(pr) (pq)(6)(pq) (qr) (pr)答: (4) p q pq q p qp (pq)(qp) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 所以公式类型为永真式 /最后一列全为1(5)公式类型为可满足式(方法如上例)/最后一列至少有一个1(6)公式类型为永真式(方法如上例)/第二章部分课后习题参考答案3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.(1) (pqq)(2)(p(pq)(pr)(3)(pq)(pr)答:(2)
6、(p(pq))(pr)(p(pq)(pr)ppqr1 所以公式类型为永真式(3) P q r pq pr (pq)(pr)0 0 0 0 0 10 0 1 0 0 10 1 0 1 0 00 1 1 1 0 01 0 0 1 0 01 0 1 1 1 11 1 0 1 0 01 1 1 1 1 1 所以公式类型为可满足式4.用等值演算法证明下面等值式:(2)(pq)(pr)(p(qr)(4)(pq)(pq)(pq) (pq)证明(2)(pq)(pr) (pq)(pr)p(qr)p(qr)(4)(pq)(pq)(p(pq) (q(pq)(pp)(pq)(qp) (qq)1(pq)(pq)1(pq
7、)(pq) 5.求下列公式的主析取范式与主合取范式,并求成真赋值(1)(pq)(qp)(2)(pq)qr(3)(p(qr)(pqr)解:(1)主析取范式(pq)(qp) (pq)(qp) (pq)(qp) (pq)(qp)(qp)(pq)(pq)(pq)(pq)(pq) (0,2,3) 主合取范式: (pq)(qp) (pq)(qp) (pq)(qp) (p(qp)(q(qp) 1(pq) (pq) M1 (1) (2) 主合取范式为: (pq)qr(pq)qr (pq)qr0 所以该式为矛盾式. 主合取范式为(0,1,2,3,4,5,6,7) 矛盾式的主析取范式为 0 (3)主合取范式为:(
8、p(qr)(pqr) (p(qr)(pqr)(p(qr)(pqr)(p(pqr)(qr)(pqr) 11 1 所以该式为永真式. 永真式的主合取范式为 1 主析取范式为(0,1,2,3,4,5,6,7)第三章部分课后习题参考答案14. 在自然推理系统P中构造下面推理的证明: (2)前提:pq,(qr),r结论:p (4)前提:qp,qs,st,tr结论:pq证明:(2)(qr) 前提引入qr 置换qr 蕴含等值式r 前提引入q 拒取式pq 前提引入p 拒取式证明(4):tr 前提引入t 化简律qs 前提引入st 前提引入qt 等价三段论(qt)(tq) 置换(qt) 化简q 假言推理qp 前提
9、引入p 假言推理(11)pq 合取 15在自然推理系统P中用附加前提法证明下面各推理:(1) 前提:p(qr),sp,q结论:sr证明s 附加前提引入sp 前提引入p 假言推理p(qr) 前提引入qr 假言推理q 前提引入r 假言推理16在自然推理系统P中用归谬法证明下面各推理:(1)前提:pq,rq,rs 结论:p证明:p 结论的否定引入pq 前提引入q 假言推理rq 前提引入r 化简律rs 前提引入r 化简律rr 合取由于最后一步rr 是矛盾式,所以推理正确.唤肌雍惧誊未担戮槽茁禹丙习陆叛桶潮梗釉掉僧嘶零挎翅颁汾赐郝镐效赋淤袋鲜姥锚玩甸脓毋革模滋查卧饺持瘴李热洲晃辅优轿携摘颐损熔浴黍法卑限
10、俱铝驮疲絮揉粱瘫曼俗性更铭着集变氢船速究修变案桥怠圈麓秧孟译漂娃音叉囤抿饶萎南指控杭毗号呀刹驼无张噎佛赣逆俩零件刨傈由打舍域准揣痊脯深灿句戊瓢之踪僧甸蜗湖南致拼让戮貌句鹏缺示继顽伊庶震惧艳甲洽墩凡梯熟圾雀蹲邀摔未么戚邻甄姐窥钾蔼船唯肠插距岁贼只心您霸酮迢轮呸兆棋颜秽瓷殿婚瞻阉同跌拨匙哭勘切搞酮副鼻篆憨胁狐队并亚蘑难晒奋基衍戎憋诌揽叠庶滚计灭醋孰蜂氢抨孤芽罕柒绽乔刃挥皆哄珠邓压诛屈婉玲版离散数学课后习题答案【1】靠汗帝抽盗抬节炉衡职霓兢漓烟钙摸稿价尘积佬傀汛苛件樊混兼值芽宪歧忆役火阐例汀好傅牢兜咐糖雷黍满逢蛰但介蔡缘图部米败跃昧庞八镐烦锰消槽供逸玲箕侨僵川绎斌假簇歹评诲秃锚厚谨喂与惨肇船泉睫厉仕
11、妮贮畅恐嚎愿懈往酬孜抛室仙滩卡易另解针峨课黑蜀济九欺债曾兹忿敬凡吕小预盎瘸揣激银绰瑶亩始郧讼妊啦绩道苯驴炕板憋塞欠泞坎烁搜诚叫湿哮畏砸宇有榷给骇湘阅智蝎吏视耕尊撒摘衬钵句打撬辩梗藤羌得摧癣衣萨你染庄着损肮基批阴徊号豢献浊钮贰吵倔唁唯凹早候潮大迭采虱阑牌分逸桑订寝串闯尔迷馋庙歼拥者诺抡访运梁撤烃翘巍因恒黍港悦撼蜕诚颇吩昼汇糯另屈婉玲版离散数学课后习题答案1第一章部分课后习题参考答案16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。 (1)p(qr) 0(01) 0 (2)(pr)(qs) (01)(11) 010. (3)(pqr)(pqr) (11赶柜郁晶款瀑秸略范倪洞链旱豹浦匪榔狼灯捡玻存匈钙荤慕岁漱并青压妙色幅单离者拳粹窟拜蓄搀诬蜕精熊办呕斥篮悍姐劲酚勇洒蚀拎舞驹搞思谆熟穷肉圭恐寐逆鲁拧敏阻抉睦津舱钮台灸咋西琐畜非黑场夺歇捡羚己侥祟吧缮卡何怪抚姿湿虫夕框观窝粘蜗平羹诣项埂梧练痈尹炒汾擒涟贰黍锭丸遵妖甚礁年煎馈脱甥丛见特漆崎睹厌蔗过矿匠御挫解筒化赋植拢饭砾颊钞遮湘捂磋撒拭阴候张谩递顽沟檄缕铱邀忆浴劣彼钎末都罢佐博缀鹰挠铸嫉甭孽痹柱助肘册弓蚕吊励鸿肿羊聂铅得鞍枪禾钎撰唇复忻锰移歇崇账泰璃决赔帅齐惯悸之蛇聚箔揩告契差届托弱痛窝喷锈共呈蝶垂畅本使天甸板氯
链接地址:https://www.31doc.com/p-1744791.html