- 1、本文档共5页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学模拟题及答案
填空
1.不能再分解的命题称为____________,至少包含一个联结词的命题称为____________。
2.一个命题公式A(P, Q, R)为真的所有真值指派是000, 001, 010, 100,则其主析取范式是__________________,其主合取范式是_________________。
3.设 A={a,b,c},B={b,c,d,e},C={b,c},则( A ??B )????C= ____________。
4.幂集 P(P(?)) = ________________。
5.设A为任意集合,请填入适当运算符,使式子A________A=?;A________A’=?成立。
6.设A={0,1,2,3,6},R={〈x,y〉|x≠y∧(x,y∈A)∧y≡x(mod 3)},则D(R)=____________,R(R)=____________。
7.称集合S是给定非空集合A的覆盖:若S={S1,S2,…,Sn},其中SiA,Si≠?,i=1,2,…,n,且______ _____;进一步若_____ _______,则S是集合A的划分。
8.两个重言式的析取是____ ____式,一个重言式和一个永假式的合取式是 式。
9.公式 ┐(P∨Q) ←→(P∧Q)的主析取范式是 。
10. 已知Π={{a}{b,c}}是A={a,b,c}的一个划分,由Π决定的A上的一个等价关系是 。
证明及求解
1.求命题公式(→Q)→(∨P)的主析取范式。
2.推理证明题
1)(P∨Q,(Q∨R,R(S(P(S。
2) ((x)(P(x)(Q(y)∧R(x)),(x)P(x)(Q(y)∧((x)(P(x)∧R(x))
3.设A={0,1,2,3},R={〈x,y〉|x,y∈A∧(y=x+1∨y=)},S={〈x,y〉|x,y∈A∧(x=y+2)}。试求RSR。
4.证明:R是传递的(R*R(R。
5.设R是A上的二元关系,S={a, b| 存在c∈A,使a, c∈R,且c, b∈R}。证明:若R是等价关系,则S也是等价关系。
6.若f:A→B和g:B→C是双射,则(g(f)-1=f-1(g-1。
7.符号化下列命题,并证明结论的有效性。
只要今天天气不好,就一定有考生不能提前进入考场,当且仅当所有考生提前进入考场,考试才能准时进行。所以,如果考试准时进行,那么天气就好。
8.画出集合S={1,2,3,4,5,6}在偏序关系“整除”下的哈斯图,并讨论:
1)写出 {1,2,3,4,5,6}的最大(小)元和极大(小)元;
2)分别写出{2,3,6}和{2,3,5}的上(下)界、上(下)确界。
9. 设R是A={1,2,3,4,5}上的二元关系,R={2,1,2,5,2,4,3,4,4,4,5,2},求r(R)、s(R)和t(R),并作出它们及R的关系图。
∨∨∨;∧∧∧
3.{a,d,e}
4.{??{?}}
5.?;n=S; Si∩Sj=???≤ij≤n
8.重言永假∨
10. {a,a,b,b,b,c,c,b,c,c}
二、证明及求解
1.解:((p(q)(( (q∨p)((((p(q)∨(p∨(q)
(((p∨q)∨(p∨(q)
(((p∧(q)∨(p∨(q)
(((p∨p∨(q)∧((q∨p∨(q)
((p∨(q)
(M1
(m0∨m2∨m3
2.1)证明:
(1)P 附加前提
(2)(P∨Q P
(3)Q T(1)(2),I
(4)(Q∨R P
(5)R T(3)(4),I
(6)R(S P
(7)S T(5)(6),I
(8)P(S CP
2) 证明
(1)(xP(x) P
(2)P(a) ES(1)
(3)(x(P(x)(Q(y)∧R(x)) P
(4)P(a)(Q(y)∧R(a) US(3)
(5)Q(y)∧R(a) T(2)(4),I
(6)Q(y) T(5),I
(7)R(a) T(5),I
(8)P(a)∧R(a) T(2)(7),I
(9)(x(P(x)∧R(x)) EG(8)
(10)Q(y)∧(x(P(x)∧R(x)) T(6)(9),I
3.解:
R={0,1,1,2,2,3,0,0,2
文档评论(0)