离散数学试卷A答案

合集下载

离散数学试题(A卷答案)

离散数学试题(A卷答案)

离散数学试题(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 ) ⇔0M ∧1M⇔2m ∨3m ∨4m ∨5m ∨6m ∨7m二、(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 上的二元关系,则由定理4.19知,tsr (R )是包含R 的且具有自反性、对称性和传递性的关系。

安徽大学大二计算机专业离散数学试卷及答案13

安徽大学大二计算机专业离散数学试卷及答案13

安徽大学20 xx —20 xx 学年第 2 学期《 离散数学(下) 》考试试卷(A 卷)(闭卷 时间120分钟)一、单项选择题(每小题2分,共20分) 1.设R 为实数集合,则下列集合关于加法运算不是,R <+>的子代数的是( ) A.偶数集合; B.奇数集合; C.自然数集合; D.整数集合。

2.下列关于群的说法正确的是( )A.质数阶的群必为循环群;B.有限群必为循环群;C.循环群必为质数阶群;D.循环群必为有限群。

3.设R 为实数集合,则20(),0a M R a b R b ⎧⎫⎛⎫=∈⎨⎬⎪⎝⎭⎩⎭关于矩阵的加法和乘法构成( ) A.有幺元的交换环; B.无幺元的非交换环; C.无幺元的交换环; D.有幺元的非交换环。

4.设I 为整数集合,则下列关系是代数,I <+>上的同余关系的是( )A.||0x y x y ⇔-≤;B.(00)(00)x y x y x y ⇔<∧<∨≥∧≥;C.xy x y ⇔≤; D.(0)(00)xy x y x y ⇔==∨≠∧≠。

5.下列集合关于整除关系构成格的是( )A.{1,2,3,4,6};B.{1,2,3,6};C.{2,3,6};D.{1,2,3}。

6.在布尔代数,,,,0,1B '<*⊕>中任取两元素,a b ,下列命题与a b ≤不一定等价的是() A.a b a *=; B.a b b ⊕=; C.0a b '*=; D.1a b '⊕=。

7.在布尔代数>'⊕*<1,0,,,,B 上定义的n 元布尔表达式所对应的不同主析取范式总个数为( ) A.n2; B.nBB; C.nB2; D.nB 。

8.设无向图,G V E =<>中{1,2,3,4,5}V =,{(1,2),(2,3),(3,4),(4,5),(5,1),(2,5)}E =, 则{2,4}V '=不是图G 的( )A.点割;B.支配集;C.点覆盖;D.独立集。

离散数学考试试题(A卷及答案)

离散数学考试试题(A卷及答案)

离散数学考试试题(A卷及答案)离散数学考试试题(A卷及答案)⼀、(10分)判断下列公式的类型(永真式、永假式、可满⾜式)?1)((P→Q)∧Q)?((Q∨R)∧Q) 2)?((Q→P)∨?P)∧(P∨R)3)((?P∨Q)→R)→((P∧Q)∨R)解:1)永真式;2)永假式;3)可满⾜式。

⼆、(8分)个体域为{1,2},求?x?y(x+y=4)的真值。

解:?x?y(x+y=4)??x((x+1=4)∨(x+2=4))((1+1=4)∨(1+2=4))∧((2+1=4)∨(2+1=4))(0∨0)∧(0∨1)1∧1?0三、(8分)已知集合A和B且|A|=n,|B|=m,求A到B的⼆元关系数是多少?A到B的函数数是多少?解:因为|P(A×B)|=2|A×B|=2|A||B|=2mn,所以A到B的⼆元关系有2mn个。

因为|BA|=|B||A|=mn,所以A到B的函数mn个。

四、(10分)已知A={1,2,3,4,5}和R={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>},求r(R)、s(R)和t(R)。

解:r(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<1,1>,<2,2>,<3,3>,<4,4>,<5,5>}s(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<3,2>,<4,3>,<4,5>}t(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<1,1>,<1,3>,<2,2>,<2,4>,<1,4>}五、(10分) 75个⼉童到公园游乐场,他们在那⾥可以骑旋转⽊马,坐滑⾏铁道,乘宇宙飞船,已知其中20⼈这三种东西都乘过,其中55⼈⾄少乘坐过其中的两种。

(完整版)离散数学试题及答案,推荐文档

(完整版)离散数学试题及答案,推荐文档

11 设 A,B,R 是三个集合,其中 R 是实数集,A = {x | -1≤x≤1, xR}, B = {x | 0≤x < 2, xR},则
A-B = __________________________ , B-A = __________________________ ,
A∩B = __________________________ , . 13. 设集合 A={2, 3, 4, 5, 6},R 是 A 上的整除,则 R 以集合形式(列举法)记为___________ _______________________________________________________. 14. 设一阶逻辑公式 G = xP(x)xQ(x),则 G 的前束范式是__________________________
二、选择题
1. C. 2. D. 3. B. 4. B.
5. D. 6. C. 7. C.
8. A. 9. D. 10. B. 11. B.
第 5 页 共 18 页
13. {(2, 2),(2, 4),(2, 6),(3, 3),(3, 6),(4, 4),(5, 5),(6, 6)}.
14. x(P(x)∨Q(x)). 15. 21.
16. (R(a)∧R(b))→(S(a)∨S(b)). 17. {(1, 3),(2, 2)}; {(1, 1),(1, 2),(1, 3)}.
8. 设命题公式 G=(P(QR)),则使公式 G 为真的解释有
__________________________,_____________________________,
__________________________.

离散数学试卷及答案

离散数学试卷及答案

离散数学试题与答案试卷一一、填空 20% (每小题2分)1.设 }7|{)},5()(|{<∈=<∈=+x E x x B x N x x A 且且(N :自然数集,E + 正偶数) 则 =⋃B A 。

2.A ,B ,C 表示三个集合,文图中阴影部分的集合表达式为 。

3.设P ,Q 的真值为0,R ,S 的真值为1,则)()))(((S R P R Q P ⌝∨→⌝∧→∨⌝的真值= 。

4.公式P R S R P ⌝∨∧∨∧)()(的主合取范式为 。

5.若解释I 的论域D 仅包含一个元素,则 )()(x xP x xP ∀→∃ 在I 下真值为 。

6.设A={1,2,3,4},A 上关系图为则 R 2 = 。

7.设A={a ,b ,c ,d},其上偏序关系R 的哈斯图为则 R= 。

8.图的补图为 。

9.设A={a ,b ,c ,d} ,A 上二元运算如下:A BC* a b c d a b c da b c d b c d a c d a b d a b c那么代数系统<A ,*>的幺元是 ,有逆元的元素为 ,它们的逆元分别为 。

10.下图所示的偏序集中,是格的为 。

二、选择 20% (每小题 2分)1、下列是真命题的有( ) A . }}{{}{a a ⊆;B .}}{,{}}{{ΦΦ∈Φ;C . }},{{ΦΦ∈Φ;D . }}{{}{Φ∈Φ。

2、下列集合中相等的有( )A .{4,3}Φ⋃;B .{Φ,3,4};C .{4,Φ,3,3};D . {3,4}。

3、设A={1,2,3},则A 上的二元关系有( )个。

A . 23 ; B . 32 ; C . 332⨯; D . 223⨯。

4、设R ,S 是集合A 上的关系,则下列说法正确的是( ) A .若R ,S 是自反的, 则S R 是自反的; B .若R ,S 是反自反的, 则S R 是反自反的; C .若R ,S 是对称的, 则S R 是对称的; D .若R ,S 是传递的, 则S R 是传递的。

《离散数学》试卷A及答案

《离散数学》试卷A及答案

《离散数学》试卷(A)适用专业: 考试日期:试卷类型:闭卷 考试时间:120分钟 试卷总分:100分一、单项选择题(本大题共8小题,每小题3分,共24分)1、下述哪一个不是命题?( ) A 、离散数学是计算机系的一门必修课 B 、不存在最大偶数。

C 、若我有空,我就看书。

D 、请勿随地叶痰!2、设A={a,b,c},B={1,2,3},以下哪一个关系是从A 到B 的双射函数?( ) A 、f={<a,2>,<b,2>,<c,1>} B 、f={<a,3>,<b,1>,<c,2>} C 、f={<a,1>,<b,2>,<c,3>,<a,3>} D 、f={<a,1>,<b,2>,<a,3>}3.设<G, 。

>是群,且|G|>1,则下列命题不成立的是( )A.G 中有幺元B. G 中有零元C.G 中任一元素有逆元D. G 中除幺元外无其它幂等元 4、设A={}c b a ,,,则下列是集合A 的划分的是( ) A.{}{}{}c c b ,, B. {}{}{}c a b a ,,, C.{}{}c b a ,, D.{}{}{}c b a ,, 5.设集合A={a,{b}},下面四个命题为真的是A.a 包含于AB.φ∈AC.{b}包含于AD.φ包含于A 6、下列是命题公式p ∧(q ∨⌝r)的成真指派的是( ) A.110,111,100 B.110,101,011 C 所有指派 D.无 7、与一阶公式P(x)→VxQ(x)等值的公式是A.P(y)→VyQ(y)B.P(y)→VxQ(y)C.P(x)→VyQ(y)D.P(z)→VyQ(y)8、设A 和B 都是命题,则A →B 的真值为假当且仅当( ) A 、A 为0 ,B 为1 B 、A 为0 ,B 为0 C 、A 为1 ,B 为1 D 、A 为1 ,B 为0二、填空题(本大题共7小题,每空3分,共21分)1..设A={a,b,c},F 是A 上的二元关系,F={<a,c>,<b,a>,<c,b>},则其自反闭包为r(F)= 。

离散数学期末试题及答案A

离散数学期末试题及答案A

学年第二学期期末考试《离散数学》试卷( A )使用班级:命题教师:主任签字:一、单项选择题(本大题共15小题,每小题1分,共15分)在每小题列出的四个选项中只有一个选项是符合题目要求的,请将正确选项前的字母填在题后的括号内。

1.一个连通的无向图G,如果它的所有结点的度数都是偶数,那么它具有一条( )A.汉密尔顿回路B.欧拉回路C.汉密尔顿通路D.初级回路2.设G是连通简单平面图,G中有11个顶点5个面,则G中的边是( )A.10B.12C.16D.143.在布尔代数L中,表达式(a∧b)∨(a∧b∧c)∨(b∧c)的等价式是( )A.b∧(a∨c)B.(a∧b)∨(a’∧b)C.(a∨b)∧(a∨b∨c)∧(b∨c)D.(b∨c)∧(a∨c)4.设i是虚数,·是复数乘法运算,则G=<{1,-1,i,-i},·>是群,下列是G的子群是( )A.<{1},·>B.〈{-1},·〉C.〈{i},·〉D.〈{-i},·〉5.设Z为整数集,A为集合,A的幂集为P(A),+、-、/为数的加、减、除运算,∩为集合的交运算,下列系统中是代数系统的有( )A.〈Z,+,/〉B.〈Z,/〉C.〈Z,-,/〉D.〈P(A),∩〉6.下列各代数系统中不含有零元素的是( )A.〈Q,*〉Q是全体有理数集,*是数的乘法运算B.〈Mn(R),*〉,Mn(R)是全体n阶实矩阵集合,*是矩阵乘法运算C.〈Z,ο〉,Z是整数集,ο定义为xοxy=xy,∀x,y∈ZD.〈Z,+〉,Z是整数集,+是数的加法运算7.设A={1,2,3},A上二元关系R的关系图如下:R具有的性质是A.自反性B.对称性C.传递性D.反自反性8.设A={a,b,c},A上二元关系R={〈a,a〉,〈b,b〉,〈a,c〉},则关系R的对称闭包S(R)是( )A.R∪I AB.RC.R∪{〈c,a〉}D.R∩I A9.设X={a,b,c},Ix是X上恒等关系,要使Ix∪{〈a,b〉,〈b,c〉,〈c,a〉,〈b,a〉}∪R为X上的等价关系,R应取( )A.{〈c,a〉,〈a,c〉}B.{〈c,b〉,〈b,a〉}C.{〈c,a〉,〈b,a〉}D.{〈a,c〉,〈c,b〉}10.下列式子正确的是( )A. ∅∈∅B.∅⊆∅C.{∅}⊆∅D.{∅}∈∅11.设解释R如下:论域D为实数集,a=0,f(x,y)=x-y,A(x,y):x<y.下列公式在R下为真的是( )A.( ∀x)( ∀y)( ∀z)(A(x,y))→A(f(x,z),f(y,z))B.( ∀x)A(f(a,x),a)C.(∀x)(∀y)(A(f(x,y),x))D.(∀x)(∀y)(A(x,y)→A(f(x,a),a))12.设B是不含变元x的公式,谓词公式(∀x)(A(x)→B)等价于( )A.(∃x)A(x)→BB.(∀x)A(x)→BC.A(x)→BD.(∀x)A(x)→(∀x)B13.谓词公式(∀x)(P(x,y))→(∃z)Q(x,z)∧(∀y)R(x,y)中变元x( )A.是自由变元但不是约束变元B.既不是自由变元又不是约束变元C.既是自由变元又是约束变元D.是约束变元但不是自由变元14.若P:他聪明;Q:他用功;则“他虽聪明,但不用功”,可符号化为( )A.P∨QB.P∧┐QC.P→┐QD.P∨┐Q15.以下命题公式中,为永假式的是( )A.p→(p∨q∨r)B.(p→┐p)→┐pC.┐(q→q)∧pD.┐(q∨┐p)→(p∧┐p)二、填空题(每空1分,共20分)16.在一棵根树中,仅有一个结点的入度为______,称为树根,其余结点的入度均为______。

离散数学试题及答案

离散数学试题及答案

离散数学考试试题(A卷及答案)一、(10分)某项工作需要派A、B、C和D 4个人中的2个人去完成,按下面3个条件,有几种派法?如何派?(1)若A去,则C和D中要去1个人;(2)B和C不能都去;(3)若C去,则D留下。

解设A:A去工作;B:B去工作;C:C去工作;D:D去工作。

则根据题意应有:A→C⊕D,⌝(B ∧C),C→⌝D必须同时成立。

因此(A→C⊕D)∧⌝(B∧C)∧(C→⌝D)⇔(⌝A∨(C∧⌝ D)∨(⌝C∧D))∧(⌝B∨⌝C)∧(⌝C∨⌝D)⇔(⌝A∨(C∧⌝ D)∨(⌝C∧D))∧((⌝B∧⌝C)∨(⌝B∧⌝D)∨⌝C∨(⌝C∧⌝D))⇔(⌝A∧⌝B∧⌝C)∨(⌝A∧⌝B∧⌝D)∨(⌝A∧⌝C)∨(⌝A∧⌝C∧⌝D)∨(C∧⌝ D∧⌝B∧⌝C)∨(C∧⌝ D∧⌝B∧⌝D)∨(C∧⌝ D∧⌝C)∨(C∧⌝ D∧⌝C∧⌝D)∨(⌝C∧D∧⌝B∧⌝C)∨(⌝C∧D∧⌝B∧⌝D)∨(⌝C∧D∧⌝C)∨(⌝C∧D∧⌝C∧⌝D)⇔F∨F∨(⌝A∧⌝C)∨F∨F∨(C∧⌝ D∧⌝B)∨F∨F∨(⌝C∧D∧⌝B)∨F∨(⌝C∧D)∨F⇔(⌝A∧⌝C)∨(⌝B∧C∧⌝ D)∨(⌝C∧D∧⌝B)∨(⌝C∧D)⇔(⌝A∧⌝C)∨(⌝B∧C∧⌝ D)∨(⌝C∧D)⇔T故有三种派法:B∧D,A∧C,A∧D。

二、(15分)在谓词逻辑中构造下面推理的证明:某学术会议的每个成员都是专家并且是工人,有些成员是青年人,所以,有些成员是青年专家。

解:论域:所有人的集合。

S(x):x是专家;W(x):x是工人;Y(x):x是青年人;则推理化形式为:∀x(S(x)∧W(x)),∃x Y(x)∃x(S(x)∧Y(x))下面给出证明:(1)∃x Y(x) P(2)Y(c) T(1),ES(3)∀x(S(x)∧W(x)) P(4)S( c)∧W( c) T(3),US(5)S( c) T(4),I(6)S( c)∧Y(c) T(2)(5),I(7)∃x S((x)∧Y(x)) T(6) ,EG三、(10分)设A、B和C是三个集合,则A⊂B⇒⌝(B⊂A)。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

第1学期
《离散数学》试卷 A
(试卷共6页,答题时间120分钟)
一、选择题(每小题 2分,共 20 分。

请将答案填在下面的表格内)
1、从集合分类的角度看,命题公式可分为( )
A.永真式、矛盾式
B. 永真式、可满足式、矛盾式
C. 可满足式、矛盾式
D. 永真式、可满足式 2、设B 不含有x ,))((B x A x →∃等值于 ( )
A.
B
x xA →∀)( B.))((B x A x ∨∃
C.B x xA →∃)(
D.))((B x A x ∧∃
3、设S,T,M 是集合,下列结论正确的是( )
A .如果S ∪T=S ∪M ,则T=M
B .如果S-T=Φ,则S=T
C .S S S =⊕
D .)(~T S T S I =- 4、设R 是集合A 上的偏序关系,则R 不一定是( )
A.自反的
B. 对称的
C. 反对称的
D. 传递的
5 设R 为实数集,定义R 上4个二元运算,不满足结合律的是( )。

A. f 1(x,y)= x+y B. f 2(x,y)=x-y C. f 3(x,y)=xy
D. f 4(x,y)=max{x,y}
6、设<L,∨∧,>是一个格,则它不满足( )
A.交换律
B. 结合律
C. 吸收律
D. 消去律 7、设A={1,2},则群>⋂<),(A P 的单位元和零元是( )
A. Φ与A
B. A 与Φ
C. {1}与Φ
D. {1}与A
8、下列编码是前缀码的是( ).
A.{1,11,101}
B.{1,001,0011}
C. {1,01,001,000}
D.{0,00,000}
9、下图中既是欧拉图又是哈密顿图的是( )
A . 9K
B .10K
C .3,2K
D .3,3K 10、下图所示的二叉树中序遍历的结果是( )
A .abcde
B .edcba
C .bdeca
D .badce
二、填空题(每题3分,共24分)
1、含3个命题变项的命题公式的主合取范式为76430M M M M M ∧∧∧∧, 则它的主析取范式为 。

(的形势表示成m m ∨)
2、〈4Z ,⊕〉模4加群, 则3是 阶元,3⊕3= ,3的逆元是 。

3、设V=<Z,+>,其中“+”是普通加法。

Z x ∈∀,
令ϕ1(x)=x, ϕ2(x)=-x,ϕ3(x)=x+5, ϕ4(x)=2x ,其中有 个自同构.
4、设⎪⎪⎭⎫ ⎝⎛=645132654321π是集合A={1,2,3,4,5,6}上的一个置换,则
把它表示成不相交的轮换的积是 。

4、已知n 阶无向简单图G 有m 条边,则G 的补图有 条边。

5、一个有向图是强连通的充分必要条件是 。

7、已知n 阶无向图G 中有m 条边,各顶点的度数均为3。

又已知2n-3=m , 则m= .
8、在下图中从A 点开始,用普里姆算法构造最小生成树,加入生成树的第三条边是 ( )。

A B
C 24
三、计算题(每题9分,共 36分)
1、已知命题公式)()(p q q p ∨⌝→→⌝,
(1) 构造真值表。

(2) 求主析取范式(要求通过等值演算推出)。

2、R 1={<1,2>,<1,3>,<2,3>}, R 2={<2,2>,<2,3>,<3,4>},求:
(1)21R R - (2)11-R (3) 求12R R ο 3、设<A,R>为一个偏序集,其中,A={1,2,3,4,6,9,12,24},R 是A 上的整除关系。

(1)画R 出的哈斯图;
(2)求A 的极大元和极小元; (3)求B={4,6}的上确界和下确界。

4、画一棵带权为1,1,1,3,3,5,8的最优二叉树T ,并计算它的权W (T )。

四、证明题(共 20分)
1、(7分)前提: r p q s q p ⌝∨→→,),(
结论: s r →
2、(7分)A={(0,0),(0,1),(1,0),(1,3),(2,2),(2,3),(3,1)}, R={<(a,b),(c,d)>| (a,b),(c,d)∈A 且a+b=c+d }. (1)证明:R 是A 上的等价关系. (2)给出R 确定的对A 的划分(分类).
3、(6分)设><ο,G 是群, },|{x y y x G y G x x S οο=∈∀∈=且对于, 证明S 是G 的子群.
《离散数学》试卷 A
参考答案
一、选择题(每小题 2分,共 20 分。

请将答案填在下面的表格内)
二、填空题(每题3分,共24分) 1、521m m m ∨∨ 2、4,2,1
3、2
4、(123)(45)。

4、
n n n --2
)
1( 5、存在经过每个顶点的回路 7、 9 . 8、 d,c 或 c ,d
三、计算题(每题9分,共 36分)
1
(2) 主析取范式(5分):
)()()()()()(p q q p p q q p p q q p ∨⌝∨∨⌝⇔∨⌝→∨⇔∨⌝→→⌝ ⇔∧∨⌝∧∨⌝∧⌝⇔∨⌝∨⌝∧⌝⇔)()()()()(q p q p q p p q q p )3,2,0(320∑⇔∨∨⇔m m m
2、(每小题3分)
(1)21R R -= {<1,2>,<1,3>}
(2)11-R ={<2,1>,<3,1>,<3,2>}
(1) 求12R R ο={<1,2>,<1,3>,<1,4>,<2,4>}
3、 (每小题3分)
(1)(4分)
49
(2)(3分)A 的极大元9,24; 极小元1; (3)(2分)B={4,6}的上确界12 下确界2。

4、画图(7分) W (T )=55(2分
)
3
1
122
四、证明题(共 20分)
1、(7分)证明:附加前提证明法..1分 ① r ② r p ⌝∨
③ p ①②………….. 3分 ④ )(s q p →→
⑤ s q → ③④ ………….. 5分 ⑥ q
⑦ s ⑤⑥ …………. 7分 2、证明:(1)(5分)
自反性。

对于),(),(,
),(b a R b a b
a b a A b a +=+∈∀ 自反性成立
对称性。

对于d c b a d c R b a A d c b a +=+∈∀),,(),(,),(),,(如果
),(),(b a R d c b a d c 所以+=+ 对称性成立 传递性。

),,(),(),
,(),(,),(),,(),,(y x R d c d c R b a A y x d c b a 如果∈∀ ),(),(,
,,y x R b a y x b a y x d c d c b a 从而
所以
+=++=++=+
传递性成立
(2)A/R={{(0,0)},{(0,1),(1,0)},{(1,3),(2,2),(3,1)},{(2,3)}}
(2分)
3、证明:(每步各2分)
(1)S 不空:><ο,G 是群,设e 是><ο,G 的单位元,那么 S e ye ey G y ∈=∈∀,,都有,所以 S 不空。

(2)221121,,,,yx y x yx y x G y S x x ==∈∀∈∀都有那么对于
)()()()()()(212121212121x x y x yx x y x yx x y x x y x x =====那么
所以,,21S x x ∈
(3)1111,
,,----==∈∀∈∀yxx x xyx x yx xy S y S x 都有那么对于
y x yx 11--=即
所以,S x ∈-1 S 是G 的子群.。

相关文档
最新文档