离散数学屈婉玲版课后习题.doc
《离散数学屈婉玲版课后习题.doc》由会员分享,可在线阅读,更多相关《离散数学屈婉玲版课后习题.doc(39页珍藏版)》请在咨信网上搜索。
1、(完整word版)离散数学屈婉玲版课后习题第一章部分课后习题参考答案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,所以这
2、一段的论述为真。19用真值表判断下列公式的类型:(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 所以公式类型为永真式(5)公式类型为可满足式(方法如上例)(6)公式类型为永真式(方法如上例)第二章部分课后习题参考答案3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.(1) (pqq) (2)(p(pq)(pr)(3)(pq)(pr)答:(2)(p(pq))
3、(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)(pq) 5
4、.求下列公式的主析取范式与主合取范式,并求成真赋值(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)主合取范式为:(p(qr)(p
5、qr) (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(3) 拒取式证明(4):tr 前提引入t 化简律qs 前提引入st 前提引入qt 等价三段论(qt)(tq) 置换(qt) 化简q 假言推理qp 前提引入p
6、假言推理(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 是矛盾式,所以推理正确.第四章部分课后习题参考答案3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:(1) 对于任意x
7、,均有2=(x+)(x).(2) 存在x,使得x+5=9.其中(a)个体域为自然数集合. (b)个体域为实数集合.解:F(x): 2=(x+)(x). G(x): x+5=9.(1)在两个个体域中都解释为,在(a)中为假命题,在(b)中为真命题。(2)在两个个体域中都解释为,在(a)(b)中均为真命题。4. 在一阶逻辑中将下列命题符号化:(1) 没有不能表示成分数的有理数.(2) 在北京卖菜的人不全是外地人.解:(1)F(x): x能表示成分数 H(x): x是有理数命题符号化为: (2)F(x): x是北京卖菜的人 H(x): x是外地人命题符号化为: 5. 在一阶逻辑将下列命题符号化: (
8、1) 火车都比轮船快. (3) 不存在比所有火车都快的汽车. 解:(1)F(x): x是火车; G(x): x是轮船; H(x,y): x比y快命题符号化为: (2) (1)F(x): x是火车; G(x): x是汽车; H(x,y): x比y快命题符号化为: 9.给定解释I如下: (a) 个体域D为实数集合R. (b) D中特定元素=0. (c) 特定函数(x,y)=xy,x,y. (d) 特定谓词(x,y):x=y,(x,y):xy,x,y. 说明下列公式在I下的含义,并指出各公式的真值:(1)(2)答:(1) 对于任意两个实数x,y,如果xy, 那么xy. 真值1.(2) 对于任意两个实
9、数x,y,如果x-y=0, 那么xy. 真值0.10. 给定解释I如下: (a) 个体域D=N(N为自然数集合). (b) D中特定元素=2. (c) D上函数=x+y,(x,y)=xy. (d) D上谓词(x,y):x=y.说明下列各式在I下的含义,并讨论其真值.(1) xF(g(x,a),x)(2) xy(F(f(x,a),y)F(f(y,a),x)答:(1) 对于任意自然数x, 都有2x=x, 真值0.(2) 对于任意两个自然数x,y,使得如果x+2=y, 那么y+2=x. 真值0.11. 判断下列各式的类型:(1) (3) yF(x,y).解:(1)因为 为永真式; 所以 为永真式;(
10、3)取解释I个体域为全体实数F(x,y):x+y=5所以,前件为任意实数x存在实数y使x+y=5,前件真;后件为存在实数x对任意实数y都有x+y=5,后件假,此时为假命题再取解释I个体域为自然数N,F(x,y)::x+y=5所以,前件为任意自然数x存在自然数y使x+y=5,前件假。此时为假命题。/错误的吧此公式为非永真式的可满足式。13. 给定下列各公式一个成真的解释,一个成假的解释。(1) (F(x)(2) x(F(x)G(x)H(x)解:(1)个体域:本班同学F(x):x会吃饭, G(x):x会睡觉.成真解释F(x):x是泰安人,G(x):x是济南人.(2)成假解释(2)个体域:泰山学院的
11、学生F(x):x出生在山东,G(x):x出生在北京,H(x):x出生在江苏,成假解释.F(x):x会吃饭,G(x):x会睡觉,H(x):x会呼吸. 成真解释.第六章部分课后习题参考答案5.确定下列命题是否为真:(1) 真 (2) 假(3) 真(4) 真(5)a,ba,b,c,a,b,c 真(6)a,ba,b,c,a,b 真(7)a,ba,b,a,b 真(8)a,ba,b,a,b 假6设a,b,c各不相同,判断下述等式中哪个等式为真:(1)a,b,c,=a,b,c 假(2)a ,b,a=a,b 真(3)a,b=a,b 假(4),a,b=,a,b 假8求下列集合的幂集:(1)a,b,c P(A)=
12、 ,a,b,c,a,b,a,c,b,c,a,b,c(2)1,2,3 P(A)= , 1, 2,3, 1,2,3 (3) P(A)= , (4), P(A)= , 1, 2,3, 1,2,3 14化简下列集合表达式:(1)(AB)B )-(AB)(2)(ABC)-(BC)A解:(1)(AB)B )-(AB)=(AB)B )(AB)=(AB)(AB))B=B=(2)(ABC)-(BC)A=(ABC)(BC)A=(A(BC)(BC )(BC)A=(A(BC)A=(A(BC)A=A18某班有25个学生,其中14人会打篮球,12人会打排球,6人会打篮球和排球,5人会打篮球和网球,还有2人会打这三种球。已
13、知6个会打网球的人都会打篮球或排球。求不会打球的人数。解: 阿A=会打篮球的人,B=会打排球的人,C=会打网球的人 |A|=14, |B|=12, |AB|=6,|AC|=5,| ABC|=2, |C|=6,CAB如图所示。25-(5+4+2+3)-5-1=25-14-5-1=5不会打球的人共5人21.设集合A1,2,2,3,1,3,计算下列表达式:(1)A(2)A(3)A(4)A解: (1)A=1,22,31,3=1,2,3,(2)A=1,22,31,3=(3)A=123= (4)A=27、设A,B,C是任意集合,证明(1)(A-B)-C=A- BC(2)(A-B)-C=(A-C)-(B-C
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 屈婉玲版 课后 习题
1、咨信平台为文档C2C交易模式,即用户上传的文档直接被用户下载,收益归上传人(含作者)所有;本站仅是提供信息存储空间和展示预览,仅对用户上传内容的表现方式做保护处理,对上载内容不做任何修改或编辑。所展示的作品文档包括内容和图片全部来源于网络用户和作者上传投稿,我们不确定上传用户享有完全著作权,根据《信息网络传播权保护条例》,如果侵犯了您的版权、权益或隐私,请联系我们,核实后会尽快下架及时删除,并可随时和客服了解处理情况,尊重保护知识产权我们共同努力。
2、文档的总页数、文档格式和文档大小以系统显示为准(内容中显示的页数不一定正确),网站客服只以系统显示的页数、文件格式、文档大小作为仲裁依据,平台无法对文档的真实性、完整性、权威性、准确性、专业性及其观点立场做任何保证或承诺,下载前须认真查看,确认无误后再购买,务必慎重购买;若有违法违纪将进行移交司法处理,若涉侵权平台将进行基本处罚并下架。
3、本站所有内容均由用户上传,付费前请自行鉴别,如您付费,意味着您已接受本站规则且自行承担风险,本站不进行额外附加服务,虚拟产品一经售出概不退款(未进行购买下载可退充值款),文档一经付费(服务费)、不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
4、如你看到网页展示的文档有www.zixin.com.cn水印,是因预览和防盗链等技术需要对页面进行转换压缩成图而已,我们并不对上传的文档进行任何编辑或修改,文档下载后都不会有水印标识(原文档上传前个别存留的除外),下载后原文更清晰;试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓;PPT和DOC文档可被视为“模板”,允许上传人保留章节、目录结构的情况下删减部份的内容;PDF文档不管是原文档转换或图片扫描而得,本站不作要求视为允许,下载前自行私信或留言给上传者【精***】。
5、本文档所展示的图片、画像、字体、音乐的版权可能需版权方额外授权,请谨慎使用;网站提供的党政主题相关内容(国旗、国徽、党徽--等)目的在于配合国家政策宣传,仅限个人学习分享使用,禁止用于任何广告和商用目的。
6、文档遇到问题,请及时私信或留言给本站上传会员【精***】,需本站解决可联系【 微信客服】、【 QQ客服】,若有其他问题请点击或扫码反馈【 服务填表】;文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“【 版权申诉】”(推荐),意见反馈和侵权处理邮箱:1219186828@qq.com;也可以拔打客服电话:4008-655-100;投诉/维权电话:4009-655-100。