版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
?失散数学?试题及详解?失散数学?试题及详解PAGEPAGE14?失散数学?试题及详解PAGE一、填空题1设会合A,B,此中A={1,2,3},B={1,2},那么A-B=________{3}____________;(A)-(B)=_____{{3},{1,3},{2,3},{1,2,3}}_______.2.2.设有限会合A,|A|=n,那么|(A×A)|=__2n23.设会合A={a,b},B={1,2},那么从A到B的全部映照是__1={(a,1),(b,1)},2={(a,2),(b,2)},={(a,1),(b,2)},={(a,2),(b,1)};_,此中双射的是____,4._3434.命题公式G=(PQ)∧R,那么G的主析取范式是______(P∧Q∧R)__________________.5.设G是完整二叉树,G有7个点,此中4个叶点,那么G的总度数为___12_______,分枝点数为_______3_________.6设A、B为两个会合,A={1,2,4},B={3,4},那么从AB=_______{4}__________________;AB=_____{1,2,3,4}____________;A-B=____{1,2}_________________.3.7.设R是会合A上的等价关系,那么R所拥有的关系的三个特征是__自反性;对称性;传达性_______________________________.8.设命题公式G=(P(QR)),那么使公式G为真的解说有____(1,0,0)________,____(1,0,1)_________,____(1,1,0)______________________.9.设会合A={1,2,3,4},A上的关系R1={(1,4),(2,3),(3,2)},R1={(2,1),(3,2),(4,3)},那么R1?R2=_{(1,3),(2,2),(3,1)}__________,R2?R1=___{(2,4),(3,3),(4,2)}_______,R12=_____{(2,2),(3,3)}__________________.10.设有限集A,B,|A|=m,|B|=n,那么||(AB)|=___2mn_____.11设
A,B,R
是三个会合,此中
R是实数集,A={x|-1
≤x≤1,x
R},B={x|0
≤x<2,x
R},那么A-B=_{x|-1
≤x<0,x
R}_______,B-A=__{x|1<x<2,x
R}_____,A∩B=
___{x|0≤x≤1,x
R}_______________________,.13.设会合A={2,3,4,5,6},R是A上的整除,那么R以会合形式(列举法)记为__{(2,2),(2,4),(2,6),(3,3),(3,6),(4,4),(5,5),(6,6)}_____________________________.6.14.设一阶逻辑公式G=xP(x)xQ(x),那么G的前束范式是__x(P(x)∨Q(x))_.15.设G是拥有8个极点的树,那么G中增添__21_______条边才能把G变为完整图。16.设谓词的定义域为{a,b},将表达式xR(x)→xS(x)中量词除去,写成与之对应的命题公式是____(R(a)∧R(b))→(S(a)∨S(b))_______________________.17.设会合A={1,2,3,4},A上的二元关系R={(1,1),(1,2),(2,3)},S={(1,3),(2,3),(3,2)}。那么RS=_{(1,3),(2,2)}_____________________________,R2=___{(1,1),(1,2),(1,3)}.______________________.二、选择题1设会合A={2,{a},3,4},B={{a},3,4,1},E为全集,那么以下命题正确的选项是(C)。(A){2}A(B){a}A(C){{a}}BE(D){{a},1,3,4}B.2设会合A={1,2,3},A上的关系R={(1,1),(2,2),(2,3),(3,2),(3,3)},那么R不具备(D).(A)自反性(B)传达性(C)对称性(D)反对称性3设半序集(A,≤)关系≤的哈斯图以下所示,假定A的子集B={2,3,4,5},那么元素(B)。(A)下界(B)上界(C)最小上界(D)以上答案都不对以下语句中,(B)是命题。(A)请把门关上(B)地球外的星球上也有人3(C)x+5>6(D)下午有会吗?5设I是以下一个解说:P(a,a)P(a,b)P(b,a)P(b,b)D={a,b},0101那么在解说I下取真值为1的公式是(D).
6为B的65421(A)xyP(x,y)(B)xyP(x,y)(C)xP(x,x)(D)xyP(x,y).6.假定供选择答案中的数值表示一个简单图中各个极点的度,能画出图的是(C).(A)(1,2,2,3,4,5)(B)(1,2,3,4,5,5)(C)(1,1,1,2,3)(D)(2,3,3,4,5,6).7.设G、H是一阶逻辑公式,P是一个谓词,G=xP(x),H=xP(x),那么一阶逻辑公式GH(C).(A)恒真的(B)恒假的(C)可知足的(D)前束范式.8设命题公式G=(PQ),H=P(QP),那么G与H的关系是(A)。(A)GH(B)HG(C)G=H(D)以上都不是.9设A,B为会合,当(D)时A-B=B.(A)A=B(B)AB(C)BA(D)A=B=.10设会合A={1,2,3,4},A上的关系R={(1,1),(2,3),(2,4),(3,4)},那么R拥有(B)。(A)自反性(B)传达性(C)对称性(D)以上答案都不对11以下对于会合的表示中正确的为(B)。(A){a}{a,b,c}(B){a}{a,b,c}(C){a,b,c}(D){a,b}{a,b,c}12命题xG(x)取真值1的充分必需条件是().对随意x,G(x)都取真值1.(B)有一个x0,使G(x0)取真值1.有某些x,使G(x0)取真值1.(D)以上答案都不对.13.设G是连通平面图,有5个极点,6个面,那么G的边数是(A).(A)9条(B)5条(C)6条(D)11条.14.设G是5个极点的完整图,那么从G中删去(A)条边能够获得树.(A)6(B)5(C)10(D)4.0111115.设图G的相邻矩阵为10100,那么G的极点数与边数分别为(D).110111010110110(A)4,5(B)5,6(C)4,10(D)5,8.三、计算证明题1.设会合A={1,2,3,4,6,8,9,12},R为整除关系。画出半序集(A,R)的哈斯图;写出A的子集B={3,6,9,12}的上界,下界,最小上界,最大下界;写出A的最大元,最小元,极大元,极小元。12869423(1)1(2)B无上界,也无最小上界。下界1,3;最大下界是无最大元,最小元是1,极大元8,12,90+;极小元是1.2.设会合A={1,2,3,4},A上的关系R={(x,y)|x,yA且xy},求画出R的关系图;写出R的关系矩阵.R={(1,1),(2,1),(2,2),(3,1),(3,2),(3,3),(4,1),(4,2),(4,3),(4,4)}.(1)142310001100(2)MR110111113.设R是实数会合,,,是R上的三个映照,(x)=x+3,(x)=2x,(x)=x/4,试求复合映照?,?,?,?,??.(1)?=((x))=(x)+3=2x+3=2x+3.(2)?=((x))=(x)+3=(x+3)+3=x+6,(3)?=((x))=(x)+3=x/4+3,(4)?=((x))=(x)/4=2x/4=x/2,(5)??=?(?)=?+3=2x/4+3=x/2+3.4.设I是以下一个解说:D={2,3},abf(2)f(3)P(2,2)P(2,3)P(3,2)P(3,3)32320011试求(1)P(a,f(a))∧P(b,f(b));xyP(y,x).P(a,f(a))∧P(b,f(b))=P(3,f(3))∧P(2,f(2))=P(3,2)∧P(2,3)=1∧0=0.(2)xyP(y,x)=x(P(2,x)∨P(3,x))(P(2,2)∨P(3,2))∧(P(2,3)∨P(3,3))(0∨1)∧(0∨1)1∧11.设会合A={1,2,4,6,8,12},R为A上整除关系。画出半序集(A,R)的哈斯图;写出A的最大元,最小元,极大元,极小元;(3)写出A的子集B={4,6,8,12}的上界,下界,最小上界,最大下界.1)8124621无最大元,最小元1,极大元8,12;极小元是1.(3)B无上界,无最小上界。下界1,2;最大下界2.6.设命题公式G=(P→Q)∨(Q∧(P→R)),G=(P→Q)∨(Q∧(P→R))
求G的主析取范式。=(P∨Q)∨(Q∧(P∨R))(P∧Q)∨(Q∧(P∨R))(P∧Q)∨(Q∧P)∨(Q∧R)=(P∧Q∧R)∨(P∧Q∧R)∨(P∧Q∧R)∨(P∧Q∧R)∨(P∧Q∧R)∨(P∧Q∧R)=(P∧Q∧R)∨(P∧Q∧R)∨(P∧Q∧R)∨(P∧Q∧R)∨(P∧Q∧R)=m3∨m4∨m5∨m6∨m7=(3,4,5,6,7).7.(9分)设一阶逻辑公式:G=(xP(x)∨yQ(y))→xR(x),把
G化成前束范式
.G=(xP(x)∨
yQ(y))→
xR(x)(xP(x)∨yQ(y))∨xR(x)=(xP(x)∧yQ(y))∨xR(x)=(xP(x)∧yQ(y))∨zR(z)=xyz((P(x)∧Q(y))∨R(z))9.设R是会合A={a,b,c,d}.R是A上的二元关系,R={(a,b),(b,a),(b,c),(c,d)},求出r(R),s(R),t(R);画出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,b)(c,d),(d,c)},t(R)=R∪R2∪R3∪R4={(a,a),(a,b),(a,c),(a,d),(b,a),(b,b),(b,c),(b,d),(c,d)};关系图:adadadbcbcbcr(R)s(R)t(R)经过求主析取范式判断以下命题公式能否等价:G=(P∧Q)∨(P∧Q∧R)(2)H=(P∨(Q∧R))∧(Q∨(P∧R))G=(P∧Q)∨(P∧Q∧R)(P∧Q∧R)∨(P∧Q∧R)∨(P∧Q∧R)m6∨m7∨m3(3,6,7)=(P∨(Q∧R))∧(Q∨(P∧R))(P∧Q)∨(Q∧R))∨(P∧Q∧R)(P∧Q∧R)∨(P∧Q∧R)∨(P∧Q∧R)∨(P∧Q∧R)∨(P∧Q∧R)(P∧Q∧R)∨(P∧Q∧R)∨(P∧Q∧R)m6∨m3∨m7(3,6,7)G,H的主析取范式同样,因此G=H.13.设R和S是会合A={a,b,c,d}上的关系,此中R={(a,a),(a,c),(b,c),(c,d)},S={(a,b),(b,c),(b,d),(d,d)}.试写出R和S的关系矩阵;计算R?S,R∪S,R-1,S-1?R-1.1010010000100011(1)MR001MS0000000000001(2)R?S={(a,b),(c,d)},R∪S={(a,a),(a,b),(a,c),(b,c),(b,d),(c,d),(d,d)},R-1={(a,a),(c,a),(c,b),(d,c)},--S1?R1={(b,a),(d,c)}.四、证明题利用形式演绎法证明:{P→Q,R→S,P∨R}蕴涵Q∨S。证明:{P→Q,R→S,P∨R}蕴涵Q∨S(1)P∨RP(2)R→PQ(1)(3)P→QP(4)R→QQ(2)(3)(5)Q→RQ(4)(6)R→SP(7)Q→SQ(5)(6)(8)Q∨SQ(7)2.设A,B为随意会合,证明:(A-B)-C=A-(B∪C).证明:(A-B)-C=(A∩~B)∩~CA∩(~B∩~C)A∩~(B∪C)A-(B∪C)3.(本题10分)利用形式演绎法证明:{A∨B,C→B,C→D}蕴涵A→D。证明:{A∨B,C→B,C→D}蕴涵A→D(1)AD(附带)(2)A∨BP(3)BQ(1)(2)(4)C→BP(5)B→CQ(4)(6)CQ(3)(5)(7)C→DP(8)DQ(6)(7)(9)A→DD(1)(8)因此{A∨B,C→B,C→D}蕴涵A→D.(本题10分)A,B为两个随意会合,求证:A-(A∩B)=(A∪B)-B.证明:A-(A∩B)=A∩~(A∩B)=A∩(~A∪~B)(A∩~A)∪(A∩~B)∪(A∩~B)(A∩~B)=A-B(A∪B)-B(A∪B)∩~B(A∩~B)∪(B∩~B)(A∩~B)∪A-B因此:A-(A∩B)=(A∪B)-B.参照答案一、填空题1.{3};{{3},{1,3},{2,3},{1,2,3}}.2n2.7.1={(a,1),(b,1)},={(a,2),(b,2)},={(a,1),(b,2)},4={(a,2),(b,1)};3,.234(P∧Q∧R).12,3.{4},{1,2,3,4},{1,2}.自反性;对称性;传达性.(1,0,0),(1,0,1),(1,1,0).{(1,3),(2,2),(3,1)};{(2,4),(3,3),(4,2)};{(2,2),(3,3)}.2mn.15.{x|-1≤x<0,xR};{x|1<x<2,xR};{x|0≤x≤1,xR}.12;6.{(2,2),(2,4),(2,6),(3,3),(3,6),(4,4),(5,5),(6,6)}.18.x(P(x)∨Q(x)).21.(R(a)∧R(b))→(S(a)∨S(b)).{(1,3),(2,2)};{(1,1),(1,2),(1,3)}.二、选择题1.C.2.D.3.B.4.B.5.D.6.C.7.C.8.A.9.D.10.B.11.B.13.A.14.A.三、计算证明题1.812(1)469231(2)B无上界,也无最小上界。下界1,3;最大下界是无最大元,最小元是1,极大元8,12,90+;极小元是1.2.R={(1,1),(2,1),(2,2),(3,1),(3,2),(3,3),(4,1),(4,2),(4,3),(4,4)}.(1)14231000(2)MR1100111011113.(1)?=((x))=(x)+3=2x+3=2x+3.(2)?=((x))=(x)+3=(x+3)+3=x+6,(3)?=((x))=(x)+3=x/4+3,(4)?=((x))=(x)/4=2x/4=x/2,??=?(?)=?+3=2x/4+3=x/2+3.(1)P(a,f(a))∧P(b,f(b))=P(3,f(3))∧P(2,f(2))P(3,2)∧P(2,3)1∧00.(2)xyP(y,x)=x(P(2,x)∨P(3,x))(P(2,2)∨P(3,2))∧(P(2,3)∨P(3,3))(0∨1)∧(0∨1)1∧11.5.(1)128462(2)无最大元,最小元1,极大元8,12;极小元是1.(3)B无上1界,无最小上界。下界1,2;最大下界2.G=(P→Q)∨(Q∧(P→R))(P∨Q)∨(Q∧(P∨R))(P∧Q)∨(Q∧(P∨R))(P∧Q)∨(Q∧P)∨(Q∧R)=(P∧Q∧R)∨(P∧Q∧R)∨(P∧Q∧R)∨(P∧Q∧R)∨(P∧Q∧R)∨(P∧Q∧R)=(P∧Q∧R)∨(P∧Q∧R)∨(P∧Q∧R)∨(P∧Q∧R)∨(P∧Q∧R)=m∨m∨m∨m∨m=(3,4,5,6,7).345677.G=(xP(x)∨yQ(y))→xR(x)(xP(x)∨yQ(y))∨xR(x)=(xP(x)∧yQ(y))∨xR(x)=(xP(x)∧yQ(y))∨zR(z)=xyz((P(x)∧Q(y))∨R(z))(1)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,b)(c,d),(d,c)},t(R)=R∪R2∪R3∪R4={(a,a),(a,b),(a,c),(a,d),(b,a),(b,b),(b,c),(b,d),(c,d)};关系图:adadadbc
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
评论
0/150
提交评论