离散数学模拟题及答案.docVIP

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

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

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

1亿VIP精品文档

相关文档