- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学期末考试
————————————————————————————————作者:
————————————————————————————————日期:
2
离散数学考试一试题(A卷及答案)
一、(10分)求(PQ)(P∧(Q∨R))的主析取范式
解:(PQ)(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。
3
综上可知,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},
写出R的关系矩阵。
判断R是不是偏序关系,为什么?解(1)R的关系矩阵为:
11111
01101
M(R)00101
00011
00001
由关系矩阵可知,对角线上所有元素全为1,故R是自反的;rij+rji≤1,故R是反对称的;可计
算对应的关系矩阵为:
1
1
1
1
1
0
1
1
0
1
M(R2)
0
0
1
0
1
M(R)
0
0
0
1
1
0
0
0
0
1
由以上矩阵可知
R是传达的。
五、(10分)设A、B、C和D为随意会合,证明
(A-B)×C=(A×C)-(B×C)。
证明:因为
x,y∈(A-B)×Cx∈(A-B)∧y∈C
(
x∈∧x
B)
∧
y
∈
C
A
(x∈A∧y∈C∧xB)∨(x∈A∧y∈C∧yC)
(
x∈∧
y
∈
C)
∧
(
x
B
∨
y
C)
A
(
x∈∧
y
∈
C)
∧
(
x∈∧
y
∈
C)
A
B
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:CA,证明:如果hgf=IA,fhg=IB,gfh=IC,则f、g、
-1
-1
-1
h均为双射,并求出f、g
和h
。
解因IA恒等函数,由
hg
f=IA可得f是单射,h是满射;因IB恒等函数,由fhg=IB可得g是单
射,f是满射;因IC恒等函数,由
g
fh=IC可得h是单射,g是满射。进而f、g、h均为双射。
由hgf=IA,得f-1=hg;由fhg=IB,得g-1=fh;由gfh=IC,得h-1=gf。
七、(15分)设G,*是一代数系统,运算*知足互换律和联合律,且a*x=a*yx=y,证明:若G
4
有限,G是一群。
明
因G有限,不妨G={a1,a2,?,an}。由a*x=a*y
x=y得,若x≠y,a*x≠a*y。
于是可,随意的
a∈G,有aG=G。又因运算*足交律,所以
aG=G=Ga。令e∈G使得a*e=
a。随意的b∈G,令c*a=b,b*e=(c*a)*e=c*(a*e)=c*a=b,再由运算*足交律得
e*b=b,所
以e是对于运算*的幺元。随意
a∈G,由aG=G可知,存在b∈G使得a*b=e,再由运算*足交律
得b*a=e,所以b是a的逆元。由a的随意性知,G中每个元素都存在逆元。故
G是一群。
八、(20分)(1)
原创力文档


文档评论(0)