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