离散数学第二版 屈婉玲 1-5章(答案)

离散数学第二版 屈婉玲 1-5章(答案)

ID:26051011

大小:221.50 KB

页数:15页

时间:2018-11-24

离散数学第二版 屈婉玲  1-5章(答案)_第1页
离散数学第二版 屈婉玲  1-5章(答案)_第2页
离散数学第二版 屈婉玲  1-5章(答案)_第3页
离散数学第二版 屈婉玲  1-5章(答案)_第4页
离散数学第二版 屈婉玲  1-5章(答案)_第5页
资源描述:

《离散数学第二版 屈婉玲 1-5章(答案)》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库

1、《离散数学1-5章》练习题答案第2,3章(数理逻辑)1.答:(2),(3),(4)2.答:(2),(3),(4),(5),(6)3.答:(1)是,T(2)是,F(3)不是(4)是,T(5)不是(6)不是4.答:(4)5.答:P,QP6.答:P(x)Ú$yR(y)7.答:"x(R(x)Q(x))8、c、P→(P(Q→P))解:P→(P(Q→P))P(P(QP))PP1(主合取范式)m0m1m2m3(主析取范式)d、P(P(Q(QR)))解:P(P(Q(QR)))P(P(Q(QR)))PQRM0(主合取范式)m1m2m3m4m5m6m7(主析取范式)9、15b

2、、P→(Q→R),R→(Q→S)=>P→(Q→S)证明:(1)P附加前提(2)Q附加前提(3)P→(Q→R)前提(4)Q→R(1),(3)假言推理(5)R(2),(4)假言推理(6)R→(Q→S)前提(7)Q→S(5),(6)假言推理(8)S(2),(7)假言推理d、PQ,QR,RSP证明、(1)P附加前提(2)PQ前提(3)Q(1),(2)假言推理(4)QR前提(5)R(3),(4)析取三段论(6)RS前提(7)R(6)化简(8)RR矛盾(5),(7)合取所以该推理正确10.写出"x(F(x)®G(x))®($xF(x)®$xG(x))的前束范式。解:原

3、式Û"x(ØF(x)ÚG(x))®(Ø($x)F(x)Ú($x)G(x))ÛØ("x)(ØF(x)ÚG(x))Ú(Ø($x)F(x)Ú($x)G(x))Û($x)((F(x)ÙØG(x))ÚG(x))Ú("x)ØF(x)15Û($x)((F(x)ÚG(x))Ú("x)ØF(x)Û($x)((F(x)ÚG(x))Ú("y)ØF(y)Û($x)("y)(F(x)ÚG(x)ÚØF(y))(集合论部分)1、答:(4)2.答:323.答:(3)4.答:(4)5.答:(2),(4)6、设A,B,C是三个集合,证明:a、A(B-C)=(AB)-(AC)证明:(AB)-(

4、AC)=(AB)~(AC)=(AB)(~A~C)=(AB~A)(AB~C)=AB~C=A(B~C)=A(B-C)b、(A-B)(A-C)=A-(BC)证明:(A-B)(A-C)=(A~B)(A~C)=A(~B~C)=A~(BC)=A-(BC)(二元关系部分)1、答:(1)R={<1,1>,<4,2>}(2)R={<1,1>,<2,4>}2.答:RR={〈1,1〉,〈1,3〉,〈2,2〉,〈2,4〉}R-1={〈2,1〉,〈1,2〉,〈3,2〉,〈4,3〉}3.答:R={<1,1>,<2,2>,<3,3>,<4,4>,<5,5>,<6,6>,<1,2>,<1

5、,3>,<1,4>,<1,5>,<1,6>,<2,4>,<2,6>,<3,6>}154.答:R的关系矩阵=R的关系矩阵=5、解:(1)R={<2,1>,<3,1>,<2,3>};MR=;它是反自反的、反对称的、传递的;(2)R={<1,2>,<2,1>,<1,3>,<3,1>,<2,3>,<3,2>};MR=;它是反自反的、对称的;(3)R={<1,2>,<2,1>,<1,3>,<3,3>};MR=;它既不是自反的、也不是反自反的、也不是对称的、也不是反对称的、也不是传递的。6、解:R诱导的划分为{{1,5},{2,4},{3,6}}。7.画出下列集合关于

6、整除关系的哈斯图.(1){1,2,3,4,6,8,12,24}.(2){1,2,…..,9}.并指出它的极小元,最小元,极大元,最大元。1532258124241256(1)325864791(2)在图(1)极小元,最小元是1,极大元,最大元是24;在图(2)中极小元,最小元是1,极大元是5,6,7,8,9,没有最大元。第5章函数1.解(1){<1,a>,<2,a>,<3,c>}的定义域为A,值域为{a,c}。又由于它满足单值性,所以它是函数,但因为1和2都对应a,它不是单射,{a,c}≠B,它不是满射。(2){<1,c>,<2,a>,<3,b>}的定义域

7、为A,值域是B。又由于它满足单值性,所以它是函数,且是单射。满射和双射。(3){<1,a>,<1,b>,<3,c>}的定义域为A,值域是B。由于它不满足单值性,所以它不是函数,更不是单射、满射和双射。(4){<1,b>,<2,b>,<3,b>}的定义域为A,值域是{b}。由于它满足单值性,所以它是函数,因为1、2和3都对应b,所以它不是单射,由于{b}≠B,所以它不是满射。2.解(1)不同的函数共nm个。(2)显然当

8、m

9、≤

10、n

11、时,存在单射。(3)显然当

12、n

13、≤

14、m

15、时,存在满射。(4)显然当

16、m

17、=

18、n

19、时,才存在双射。3.解因为gof(x)=f(g(

20、x))=f(3x+1)=3(3x+1)=9x+3,hog(x)=g

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。