离散数学版屈婉玲(答案).docVIP

离散数学版屈婉玲(答案).doc

此“教育”领域文档为创作者个人分享资料,不作为权威性指导和指引,仅供参考
  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学版屈婉玲(答案)

《离散数学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 ,QP 6.答:P(x)( (yR(y) 7.答:(x(R(x)Q(x)) 8、 c、P→(P(Q→P)) 解:P→(P(Q→P)) P(P(QP)) PP 1 (主合取范式) m0 m1m2 m3 (主析取范式) d、P(P(Q(QR))) 解:P(P(Q(QR))) P(P(Q(QR))) PQR M0 (主合取范式) m1 m2m3 m4 m5m6 m7 (主析取范式) 9、 b、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,RS P 证明、 (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))的前束范式。 解:原式( (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) ( ((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.答:32 3.答:(3) 4. 答:(4) 5.答:(2),(4) 6、设A,B,C是三个集合,证明: a、A (B-C)=(AB)-(AC) 证明: (AB)-(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,3,1,4, 1,5,1,6,2,4,2,6,3,6} 4. 答: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.画出下列集合关于整除关系的哈斯图. (1){1, 2, 3, 4, 6, 8, 12, 24}. (2){1,2,…..,9}. 并指出它的极小元,最小元,极大元,最大元。 在图(1)极小元,最小元是1,极大元,最大元是2

文档评论(0)

panguoxiang + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档