- 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.下列是两个命题变元p,q的小项是( C )
A.p∧┐p∧q B.┐p∨q
C.┐p∧q D.┐p∨p∨q
2.令p:今天下雪了,q:路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为( D )
A.p→┐q B.p∨┐q
C.p∧q D.p∧┐q
3.下列语句中是命题的只有( A )
A.1+1=10 B.x+y=10
C.sinx+siny0 D.x mod 3=2
4.下列等值式不正确的是( C )
A.┐(x)A(x)┐A
B.(x)(B→A(x))B→(x)A(x)
C.(x)(A(x)∧B(x))(x)A(x)∧(x)B(x)
D.(x)(y)(A(x)→B(y))(x)A(x)→(y)B(y)
5.谓词公式(x)P(x,y)∧(x)(Q(x,z)→(x)(y)R(x,y,z)中量词x的辖域是( C )
A.(x)Q(x,z)→(x)(y)R(x,y,z))
B.Q(x,z)→(y)R(x,y,z)
C.Q(x,z)→(x)(y)R(x,y,z)
D.Q(x,z)
6.设A={a,b,c,d},A上的等价关系R={a,b,b,a,c,d,d,c}∪IA,则对应于R的A的划分是( D )
A.{{a},{b,c},{d}} B.{{a,b},{c},{d}}
C.{{a},{b},{c},{d}} D.{{a,b},{c,d}}
7.设A={?},B=P(P(A)),以下正确的式子是( A )
A.{?,{?}}∈B B.{{?,?}}∈B
C.{{?},{{?}}}∈B D.{?,{{?}}}∈B
8.设X,Y,Z是集合,一是集合相对补运算,下列等式不正确的是( A )
A.(X-Y)-Z=X-(Y∩Z)
B.(X-Y)-Z=(X-Z)-Y
C.(X-Y)-Z=(X-Z)-(Y-Z)
D.(X-Y)-Z=X-(Y∪Z)
9.在自然数集N上,下列定义的运算中不可结合的只有( D )
A.a*b=min(a,b)
B.a*b=a+b
C.a*b=GCD(a,b)(a,b的最大公约数)
D.a*b=a(mod b)
10.设R和S是集合A上的关系,R∩S必为反对称关系的是( A )
A.当R是偏序关系,S是等价关系; B.当R和S都是自反关系;
C.当R和S都是等价关系; D.当R和S都是传递关系
11.设R是A上的二元关系,且R·R?R,可以肯定R应是( D )
A.对称关系; B.全序关系; C.自反关系; D.传递关系
第二部分 非选择题
二、填空题
1.设论域是{a,b,c},则(x)S(x)等价于命题公式 S(a)∧S(b)∧S(c) ;()S(x)等价于命题公式 S(a)∨S(b) ∨S(c) 。
2.设R为A上的关系,则R的自反闭包r(R)= _R∪_ ,对称闭包s(R)= _R∪ 。
3.某集合A上的二元关系R具有对称性,反对称性,自反性和传递性,此关系R是 _ ,其关系矩阵是 只有主对角线上元素为1 。
三、计算题
1.(4分)如果论域是集合{a,b,c},试消去给定公式中的量词:。
2.用等值演算求下面公式的主析取范式。
3.用等值演算法求公式的主合取范式。
4.(6分)在偏序集Z,≤中,其中Z={1,2,3,4,6,8,12,14},≤是Z中的整除关系,求集合D={2,3,4,6}的极大元,极小元,最大元,最小元,最小上界和最大下界。
5.设集合A={1,2,3,4,5},A上的划分为={{1,2,3},{4,5}},试求:
写出划分诱导的等价关系R;
写出关系矩阵;
画出关系图。
6. 设A={a,b,c,d},R是A上的二元关系,且R={a,b,b,a,b,c,c,d},求r(R)、s(R)和t(R)。
解 r(R)=R∪IA={a,b,b,a,b,c,c,d,a,a,b,b,c,c,d,d}
s(R)=R∪R-1={a,b,b,a,b,c,c,d,c,b,d,c}
R2={a,a,a,c,b,b,b,d}
R3={a,b,a,d,b,a,b,c}
R4={a,a,a,c,b,b,b,d}=R2
t(R)=={a,b,b,a,b,c,c,d,a,a,a,c,b,b,b,d,a,d}
四、证明题
1.设R和S是二元关系,证明
2.设A={a,b,c},R={(a,a),(a,b),(b,c)},验证rs(R)=sr(R)。
3.设R是A上的二元关系,试证:R是传递的当且仅当,其中表示。
4.证明下列结论:
(1)
(2)
解:(
您可能关注的文档
最近下载
- 梁德清体育活动等级量表(PARS-3)及评定标准.doc VIP
- 电气设备检查记录.pdf VIP
- 辽宁省大连市高新区2024_2025学年九年级物理上学期期末考试试题.docx VIP
- 初中数学新人教版七年级上册全册教案(2024秋).doc
- 挡土墙支护加固措施方案.docx VIP
- TCECS 1405-2023 仓库防火技术规程.pdf
- Capillarity and Wetting Phenomena(毛细现象和润湿现象).pdf VIP
- 地震灾害应急通信保障工作方案.doc VIP
- 15ZJ201-平屋面-标准图集.pdf VIP
- 人民大2024Premiere视频剪辑技术 PPT课件项目2 Premiere 关键帧的使用.pptx VIP
原创力文档


文档评论(0)