- 1、本文档共6页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
离散数学考试试题(A卷及答案)
一、(10分)求(P?Q)?(P∧?(Q∨?R))的主析取范式
解:(P?Q)?(P∧?(Q∨?R))??(?(P∨Q))∨(P∧?Q∧R))
?(P∨Q)∨(P∧?Q∧R))
?(P∨Q∨P)∧(P∨Q∨?Q)∧(P∨Q∨R)
?(P∨Q)∧(P∨Q∨R)
?(P∨Q∨(R∧?R))∧(P∨Q∨R)
?(P∨Q∨R)∧(P∨Q∨?R)∧(P∨Q∨R)
?M0∧M1
?m2∨m3∨m4∨m5∨m6∨m7
二、(10分)在某次研讨会的休息时间,3名与会者根据王教授的口音分别作出下述判断:甲说:王教授不是苏州人,是上海人。
乙说:王教授不是上海人,是苏州人。
丙说:王教授既不是上海人,也不是杭州人。
王教授听后说:你们3人中有一个全说对了,有一人全说错了,还有一个人对错各一半。试判断王教授是哪里人?
解 设设P:王教授是苏州人;Q:王教授是上海人;R:王教授是杭州人。则根据题意应有:甲:?P∧Q
乙:?Q∧P丙:?Q∧?R
王教授只可能是其中一个城市的人或者3个城市都不是。所以,丙至少说对了一半。因此,可得甲或乙必有一人全错了。又因为,若甲全错了,则有?Q∧P,因此,乙全对。同理,乙全错则甲全对。所以丙必是一对一错。故王教授的话符号化为:
((?P∧Q)∧((Q∧?R)∨(?Q∧R)))∨((?Q∧P)∧(?Q∧R))
?(?P∧Q∧Q∧?R)∨(?P∧Q∧?Q∧R)∨(?Q∧P∧?Q∧R)
?(?P∧Q∧?R)∨(P∧?Q∧R)
??P∧Q∧?R
?T
因此,王教授是上海人。
三、(10分)证明tsr(R)是包含R的且具有自反性、对称性和传递性的最小关系。
证明设R是非空集合A上的二元关系,则tsr(R)是包含R的且具有自反性、对称性和传递性的关系。
若R是包含R的且具有自反性、对称性和传递性的任意关系,则由闭包的定义知r(R)?R。则sr(R)?s(R)=R,进而有tsr(R)?t(R)=R。
综上可知,tsr(R)是包含R的且具有自反性、对称性和传递性的最小关系。
四、(15分)集合A={a,b,c,d,e}上的二元关系R为R={a,a,a,b,a,c,a,d,
a,e,b,b,b,c,b,e,c,c,c,d,c,e,d,d,d,e,e,e},(1)写出R的关系矩阵。
(2)判断R是不是偏序关系,为什么?解 (1)R的关系矩阵为:
?1
?
?0
?M(R)??0
?
?0
0?
0
?
1 1 1 1?
?
1 1 0 1?
0 1 0 1?
?
0 0 1 1?
?0 0 0 1?
?
(2)由关系矩阵可知,对角线上所有元素全为1,故R是自反的;r+r ≤1,故R是反对称的;可
ij ji
计算对应的关系矩阵为:
由以上矩阵可知R是传递的。
?1
?
?0
?M(R2)??0
?
?0
0?
0
?
1 1 1 1?
?
1 1 0 1?
?0 1 0 1??M(R)
?
0 0 1 1?
?0 0 0 1?
?
五、(10分)设A、B、C和D为任意集合,证明(A-B)×C=(A×C)-(B×C)。证明:因为
x,y∈(A-B)×C?x∈(A-B)∧y∈C
?(x∈A∧x?B)∧y∈C
?(x∈A∧y∈C∧x?B)∨(x∈A∧y∈C∧y?C)
?(x∈A∧y∈C)∧(x?B∨y?C)
?(x∈A∧y∈C)∧?(x∈B∧y∈C)
?x,y∈(A×C)∧x,y?(B×C)
?x,y∈(A×C)-(B×C)所以,(A-B)×C=(A×C-B×C)。
六、(10分)设f:A?B,g:B?C,h:C?A,证明:如果h?g?f=I
,f?h?g=I
,g?f?h=I
,则f、
g、h均为双射,并求出f-1、g-1和h-1。
A B C
解 因IA恒等函数,由h?g?f=IA可得f是单射,h是满射;因IB恒等函数,由f?h?g=IB可得g是单射,f是满射;因IC恒等函数,由g?f?h=IC可得h是单射,g是满射。从而f、g、h均为双射。
由h?g?f=IA,得f-1=h?g;由f?h?g=IB,得g-1=f?h;由g?f?h=IC,得h-1=g?f。
七、(15分)设G,*是一代数系统,运算*满足交换律和结合律,且a*x=a*y?x=y,证明:若G
有限,则G是一群。
证明 因G
您可能关注的文档
- 老人逝世追悼词 .docx
- 老人突然跌倒怎么办紧急处理方法有哪些.docx
- 老人与海分析和总结.docx
- 老人与海英文读后感1500字(精).docx
- 老师给我的爱演讲稿范文5篇.docx
- 老师国庆节演讲稿.docx
- 老师好观后感_电影《老师好》观后感范文精选5篇.docx
- 老师教师节演讲稿范文五篇范文.docx
- 老师开家长会的总结语_工作总结.docx
- 老师我想对你说诗歌_诗歌.docx
- 福建省平潭县新世纪学校2025届高三物理第一学期期中考试试题含解析.doc
- 甘肃省武威市古浪县职业技术教育中心 2025届物理高一第一学期期中检测模拟试题含解析.doc
- 广西桂林市2025届高三物理第一学期期中质量跟踪监视试题含解析.doc
- 2025届浙江省宁波市北仑区物理高二第一学期期中复习检测试题含解析.doc
- 山东实验中学2025届物理高三上期中检测试题含解析.doc
- 2025届内蒙古包头市示范名校高一物理第一学期期中检测试题含解析.doc
- 山东省荣成市第六中学2025届高三物理第一学期期中复习检测模拟试题含解析.doc
- 2025届黑龙江省大兴安岭漠河县一中高二物理第一学期期末质量跟踪监视试题含解析.doc
- 2025届上海闵行区物理高一第一学期期中质量跟踪监视模拟试题含解析.doc
- 江西省吉安市2025届物理高一第一学期期末复习检测模拟试题含解析.doc
文档评论(0)