离散数学期末考试题(附答案和含解析3)
离散数学期末考试题及详细答案

离散数学期末考试题及详细答案一、选择题(每题5分,共20分)1. 在离散数学中,下列哪个概念用来描述元素与集合之间的关系?A. 并集B. 交集C. 子集D. 元素答案:D2. 布尔代数中,下列哪个运算符表示逻辑“与”?A. ∨B. ∧C. ¬D. →答案:B3. 下列哪个命题的否定是正确的?A. 如果今天是周一,则明天是周二。
B. 如果今天是周一,则明天不是周二。
答案:B4. 在图论中,一个图的顶点数为n,边数为m,下列哪个条件可以保证该图是连通的?A. m > nB. m ≥ nC. m = nD. m > n-1答案:D二、填空题(每题5分,共20分)1. 在集合论中,一个集合的幂集包含该集合的所有______。
答案:子集2. 如果一个函数f: A → B是单射的,那么对于任意的a1, a2 ∈ A,如果a1 ≠ a2,则f(a1) ≠ f(a2)。
这种性质称为函数的______。
答案:单射性3. 在图论中,一个图的直径是指图中任意两个顶点之间的最短路径的最大值。
如果一个图的直径为1,则该图被称为______。
答案:完全图4. 一个布尔表达式可以表示为一系列逻辑运算符和变量的组合。
布尔表达式(A ∧ B) ∨ (¬ A ∧ C)的真值表中,当A为真,B为假,C为真时,整个表达式的值为______。
答案:真三、简答题(每题10分,共30分)1. 请简述什么是图的哈密顿回路,并给出一个例子。
答案:哈密顿回路是图中的一个回路,它恰好访问每个顶点一次。
例如,在一个完全图中,任意一个顶点出发,依次访问其他顶点,最后回到出发点的路径就是一个哈密顿回路。
2. 请解释什么是二元关系,并给出一个二元关系的例子。
答案:二元关系是定义在两个集合上的一个关系,它关联了第一个集合中的元素和第二个集合中的元素。
例如,小于关系是实数集合上的一个二元关系,它关联了每一对实数,如果第一个数小于第二个数。
离散数学期末试卷及答案

一.判断题(共10小题,每题1分,共10分)在各题末尾的括号内画 表示正确,画 表示错误:1.设p、q为任意命题公式,则(p∧q)∨p ⇔ p ( )2.∀x(F(y)→G(x)) ⇔ F(y)→∃xG(x)。
( )3.初级回路一定是简单回路。
( )4.自然映射是双射。
( )5.对于给定的集合及其上的二元运算,可逆元素的逆元是唯一的。
( )6.群的运算是可交换的。
( )7.自然数集关于数的加法和乘法<N,+, >构成环。
( )8.若无向连通图G中有桥,则G的点连通度和边连通度皆为1。
( )9.设A={a,b,c},则A上的关系R={<a,b>,<a,c>}是传递的。
( )10.设A、B、C为任意集合,则A⨯(B⨯C)=(A⨯B)⨯C。
( )二、填空题(共10题,每题3分,共30分)11.设p:天气热。
q:他去游泳。
则命题“只有天气热,他才去游泳”可符号化为。
12.设M(x):x是人。
S(x):x到过月球。
则命题“有人到过月球”可符号化为。
13.p↔q的主合取范式是。
14.完全二部图K r,s(r < s)的边连通度等于。
15.设A={a,b},,则A上共有个不同的偏序关系。
16.模6加群<Z6,⊕>中,4是阶元。
17.设A={1,2,3,4,5}上的关系R={<1,3>,<1,5>,<2,5>,<3,3>,<4,5>},则R的传递闭包t(R) = 。
.18.已知有向图D的度数列为(2,3,2,3),出度列为(1,2,1,1),则有向图D的入度列为。
19.n阶无向简单连通图G的生成树有条边。
20.7阶圈的点色数是。
三、运算题(共5小题,每小题8分,共40分)21.求∃xF(x)→∃yG(x,y)的前束范式。
22.已知无向图G有11条边,2度和3度顶点各两个,其余为4度顶点,求G 的顶点数。
离散数学期末试卷(4套附答案)

一、单项选择题(每小题3分,共30分)1.下列为两个命题变元p,q的最小项的是( ) A .p∧q∧⎤ pB .⎤ p∨qC .⎤ p∧qD .⎤ p∨p∨q 2.下列句子不是命题的是( ) A .中华人民共和国的首都是北京 B .张三是学生 C .雪是黑色的D .太好了!3.对于公式(∀x ) (∃y )(P (x )∧Q (y ))→(∃x )R (x ,y ),下列说法正确的是( ) A .y 是自由变元 B .y 是约束变元C .(∃x )的辖域是R(x , y )D .(∀x )的辖域是(∃y )(P (x )∧Q (y ))→(∃x )R (x ,y )4.7.集合A={1,2,…,10}上的关系R={(x ,y )|x +y =10,x ∈A ,y ∈A},则R 的性质是( )A .自反的B .对称的C .传递的、对称的D .反自反的、传递的 5.设论域为{l ,2},与公式)(x xA ∃等价的是( ) A.A (1)∨A (2)B. A (1)→A (2)C.A (1)D. A (2)→A (1)6. 下列关系矩阵所对应的关系具有反自反性的是( ) A .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001110101B .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡101100001 C .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001100100D .⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡0010101017. 下列运算不满足...交换律的是( ) A .a *b =a+2bB .a *b =min(a ,b )C .a *b =|a -b |D .a *b =2ab8..设A 是奇数集合,下列构成独异点的是( ) A.<A ,+> B.<A ,-> C.<A ,×> D.<A ,÷> 9. 右图的最大入度是( ) A .0 B .1 C .2D .3第9题图拟题学院(系): 高密校区 适用专业: 学年 2学期 离散数学 (B卷) 试题标准答案10. 设有向图D 的节点数大于1,D=(V ,E )是强连通图,当且仅当( ) A. D 中至少有一条通路 B. D 中至少有一条回路C. D 中有通过每个结点至少一次的通路D. D 中有通过每个结点至少一次的回路 二、填空题(每空3分,共30分)1.设A ={1,2,3,4},B ={2,4,6},则A -B =________,A ⊕B =________。
离散数学期末考试题(附答案和含解析)

一、填空2.A ,B ,C 表示三个集合,文图中阴影部分的集合表达式为 (B ⊕C)-A4.公式P R S R P ⌝∨∧∨∧)()(的主合取范式为 )()(R S P R S P ∨⌝∨⌝∧∨∨⌝ 。
5.若解释I 的论域D 仅包含一个元素,则 )()(x xP x xP ∀→∃ 在I 下真值为 1 。
6.设A={1,2,3,4},A 上关系图如下,则 R^2= {(1,1),(1,3),(2,2),(2,4)} 。
//备注:⎪⎪⎪⎪⎪⎭⎫⎝⎛=0000100001010010R⎪⎪⎪⎪⎪⎭⎫⎝⎛=00000000101001012R7.设A={a ,b ,c ,d},其上偏序关系R 的哈斯图如下,则R= {(a,b),(a,c), (a,d), (b,d), (c,d)} U {(a,a),(b,b)(c,c)(d,d)} 。
//备注:偏序满足自反性,反对称性,传递性8.图的补图为 。
//补图:给定一个图G ,又G 中所有结点和所有能使G 成为完全图的添加边组成的图,成为补图. 自补图:一个图如果同构于它的补图,则是自补图 9.设A={a ,b ,c ,d} ,A 上二元运算如下:* a b c d a b c da b c d b c d a c d a b d a b c那么代数系统<A ,*>的幺元是 a ,有逆元的元素为 a,b,c,d ,它们的逆元分别为 a,b,c,d 。
//备注:二元运算为x*y=max{x,y},x,y ∈A 。
10.下图所示的偏序集中,是格的为 c 。
//(注:什么是格?即任意两个元素有最小上界 和最大下界的偏序)二、选择题1、下列是真命题的有( C 、D )A . }}{{}{a a ⊆;B .}}{,{}}{{ΦΦ∈Φ;C .}},{{ΦΦ∈Φ; D .}}{{}{Φ∈Φ。
2、下列集合中相等的有( B 、C )A .{4,3}Φ⋃;B .{Φ,3,4};C .{4,Φ,3,3};D . {3,4}。
离散数学期末考试题(附答案和含解析3)

一、单项选择题2.设集合A={1,2,3},下列关系R 中不.是等价关系的是( D ) A.R={<1,1>,<2,2>,<3,3>}; B.R={<1,1>,<2,2>,<3,3>,<3,2>,<2,3>};C. R={<1,1>,<2,2>,<3,3>,<1,2>,<2,1>,<1,3>,<3,1>,<2,3>,<3,2>};D. R={<1,1>,<2,2>,<3,3>,<1,2 >}.3.在公式(x ∀)F (x ,y )→(∃ y )G (x ,y )中变元x 是( B )A .自由变元;(前面无∀或∃量词)B .既是自由变元,又是约束变元;C .约束变元;(前面有∀或∃量词)D .既不是自由变元,又不是约束变元.4.设A={{1,2,3},{4,5},{6,7,8}},下列选项正确的是( C )A .1∈A ;B .{1,2,3}⊆A ;C .{{4,5}}⊆A ;D .∈A. 5.设论域为{l ,2},及公式)()(x A x ∃等价的是( A )A.A (1)∨A (2);B. A (1)→A (2);C.A (1)∧A (2);D. A (2)→A (1).6.一棵树有5个3度结点,2个2度结点,其它的都是l 度结点,那么这棵树的结点数是( B )A.13 ;B.14 ;C.16 ;D.17 .//设一度结点数为n,则有:5×3+2×2+n=2[(5+2+n)-1]解得:n=7, 所以这棵树的结点数为:m=5+2+7=14.7.设A 是偶数集合,下列说法正确的是( A )A .<A ,+>是群;B .<A ,×>是群;C .<A ,÷>是群;D .<A ,+>, <A ,×>,<A ,÷>都不是群。
国家开放大学电大本科《离散数学》2022-2023期末试题及答案(试卷号:1009)

国家开放大学电大本科《离散数学> 2022-2023期末试题及答案(试卷号:1009)一、单项选择题(每小题3分,本息共16分)1, 若集合A = <1,2,3},则下列表述正确的是〈 )•A. {1,2,3}€AB. AC(1,2}C. U,2,3}gAD. {1,2}£A2. 设 A = {1,2,3},B = (1,2,3,4},人到 B 的关系 R = {O ,>> |工 £ A ,了 £ B },则 R =().A. {<1,2>,V2,3>}B. {V1,1>,V1,2>,V1,3>,V1,4>,V1,5>}C. «1,1>,<2,1>)D. {<2,】>,V3,】>,V3,2>}3. 无向图G 的边数是10,则图G 的结点度数之和为(A. 10B. 20C. 30D. 54. 如图一所示,以下说法正确的是〈 )•A. e 是割点B. {a,e}是点割集C. (b.e}是点割集D. {d}是点割集5-设个体域为整数集,则公式Vx3y (x+y = 2)的解释可为().A. 任意整数工,对任意整数y 满足工+了 = 2B. 对任意整数工,存在整数y 满足工+了 = 2C. 存在一整数z,对任意整数y 满足工+了 = 2D. 存在一整数工,有整数了满足x+jr = 2则人 CHBUC )等于 _____ .7. 设 A = {1,2},B = <2,3},C=(3,4},从 A 到 B 的函数/= (VI,2>,V2,3>},从 B到 C 的函数 g = (V2,3>,V3,4>},则 Ran (g 0/)等于 ______ .8. 设G 是汉密尔顿图,S 是其结点集的一个子集,若S 的元素个数为6,则在G-S 中的连通分支数不超过 ________ .二、填空霆(每小题3分,本题共15分)9.设G是有8个结点的连通图,结点的度数之和为24,则可从G中删去 ________ 条边后使之变成树.10.设个体域D = {1,2, 3, 4},则谓词公式(VQ A S)消去量词后的等值式为H.将语句“昨夭下雨,今天仍然下雨.”翻译成命题公式.12. 将i 吾句“我们下午2点或者去礼堂看电彩或者去教室看书.”翻译成命飓公式. 得分评卷人13. 不存在集合A 与B,使得AEB 与AQB 同时成立.14. 如图二所示的图G 存在一条欧拉回路.15. 设 A = {l,2,3},R = (<x,y>l=£A<yCA 且 1+»=4}击={〈工,3>0£人,36人且 工=)},试求 R,S,R" ,r (S ).16. 设图 G = <VtE>»V=(v! 试(1) 画出G 的图形表示; (2) 写出其邻接矩阵; (3) 求出每个结点的度数; (4)画出图G 的补图的图形•17. 求-I (PVQ )VR 的析取范式与主合取范式•18. 试证明门 PVQ»P -*(i (n PVn Q)〉.(仅 一、单项选择题(每小题3分,本题共15分)1.C2. D3. B二、填空题(每小题3分,本题共15分)6. {b t c)7. {3,4)(或 C ) 8.6 9.5评卷人三、逻辑公式翻译(每小题6分,本题共12分)四、判断说明题(判断各题正误,并说明理由.每小题7分,本题共14 分)评卷人五、计算题(每小题12分,本题共36分)评卷人六、证明题(本题共8分)10.A(1)AA(2) AA(3) AA(4)三、逻辑公式翻译(每小题6分,本题共12分)11.设P:昨天下雨,Q:今天下雨. (2分)则命题公式为:PAQ. (6分)12.设P:我们下午2点去礼堂看电影,Q:我们下午2点去教室看书. (2分)则命题公式为门(P-Q). (6分)注:或者(1 PAQ)V(PAi Q)四、判断说明题(每小题7分,本题共14分)13.错误•(3分)例:设A = {a},B^{a,{a}}(5 分)则有AEB且AWB. (7分)说明:举出符合条件的反例均给分.14.正确. (3分)因为图G为连通的,且其中每个顶点的度数均为偶数. (7分)如果具体指出一条欧拉回路也同样给分.五、计算题(每小题12分,本题共36分)15.解:R = {V1,3>,V2,2>,V3,1>} (3分)S = {<1,1>,<2,2>,<3,3>} (6分)7?~* = (<3,1>,<2,2>,<1,3>} (9分)r(S) = (<l,l>,<2,2>,<3,3>} (12分)说明:对于每一个求解项,如果部分正确,可以给对应1分・16.解:(1)(2)邻接矩阵10 0.(3)deg(pi) = 2deg(v2)=2deg(v3)=Odcg(vj = 2 (9 分)(4)补图(12 分)17.解门(PVQ)VR«=>(-, PA-i Q)VR 析取范式(5分)PVR)A(n QVR) (7分)«((n PVK)V(QA-i Q))A(-| QVR) (9分) E((I P VK) V(QA-i Q))A((n QV^>V(P An P)) (10分)«(-i PVR VQ) A(" VR Vi Q) A(i QVk VP)A(i QVRV") ⑴分) «(PV-i QVR)A(i PVQVR)A(rPVi QVR) 主合取范式(12 分)六、证明题(本题共8分)18.证明:(Di PVQ P(1 分)<2)P P(附加前提) (3分)(3)Q T(l)(2)/ (5 分)(4)PAQ T(2)(3)/ (6 分)(5)n(i PV-i Q) T(4)E (7 分)(6)P^n (n PV-i Q) CP 规则(8 分)说明:(D因证明过程中,公式引用的次序可以不同,一般引用前提正确得1分,利用两个公式得出有效结论得1或2分,最后得出结论得2或1分.(2)可以用真值表验证.采用反证法可参照给分.。
离散数学期末考试题及答案

离散数学期末考试题及答案一、选择题(每题2分,共20分)1. 以下哪个选项是图的边数与顶点数的关系?A. 边数小于顶点数B. 边数等于顶点数C. 边数大于顶点数D. 边数与顶点数无固定关系答案:D2. 有限自动机的英文缩写是什么?A. FAB. PDAC. TMAD. NFA答案:A3. 布尔代数中,德摩根定律是指什么?A. ¬(A ∧ B) 等于¬ A ∨ ¬ BB. ¬(A ∨ B) 等于¬ A ∧ ¬ BC. A ∧ B 等于¬(A ∨ B)D. A ∨ B 等于¬(¬ A ∧ ¬B)答案:B4. 在命题逻辑中,以下哪个符号表示蕴含?A. ∧B. ∨C. →D. ↔答案:C5. 集合A = {1, 2, 3},B = {2, 3, 4},则A ∪ B等于:A. {1, 2, 3, 4}B. {1, 2, 3}C. {2, 3, 4}D. {1, 3, 4}答案:A6. 以下哪个选项是正确的递归定义?A. 一个数是偶数当且仅当它是2的倍数B. 一个数是偶数当且仅当它不是2的倍数C. 一个数是偶数当且仅当它是另一个偶数加1D. 以上都是正确的递归定义答案:A7. 有向图和无向图的主要区别是什么?A. 有向图的边有方向,无向图的边没有方向B. 有向图的顶点有方向,无向图的顶点没有方向C. 有向图的边可以相交,无向图的边不可以相交D. 有向图可以有环,无向图不可以有环答案:A8. 在命题逻辑中,以下哪个公式是矛盾的?A. A ∧ ¬ AB. A ∨ ¬ AC. A → BD. A ∧ B ∧ ¬ A答案:A9. 以下哪个是图的同义术语?A. 网络B. 矩阵C. 树D. 以上全部答案:A10. 以下哪个命题逻辑公式是有效的?A. (A → B) ∧ (B → A)B. (A ∧ B) → AC. (A ∨ B) → AD. (A ∧ B) → B答案:B二、填空题(每题2分,共20分)11. 在命题逻辑中,_________ 表示一个命题是真的,而 _________ 表示一个命题是假的。
大学期末离散数学试卷答案

姓名:XXX 学号:XXXXXX 班级:XXX 专业:XXX一、选择题(每题2分,共20分)1. 下列集合中,哪个集合是空集?A. {x | x∈N, x>0}B. {x | x∈Z, x=0}C. {x | x∈R, x≠0}D. {x | x∈Q, x=√2}答案:C解析:空集是不包含任何元素的集合,根据定义,只有选项C中x等于0的整数集合不包含任何元素,故为空集。
2. 设A={1,2,3},B={2,3,4},则A∩B的元素个数是?A. 2B. 3C. 4D. 0答案:A解析:集合A与集合B的交集是指同时属于A和B的元素组成的集合,根据定义,A∩B={2,3},共有2个元素。
3. 设A={1,2,3,4,5},B={3,4,5,6,7},则A∪B的元素个数是?A. 10B. 8C. 5D. 3答案:A解析:集合A与集合B的并集是指属于A或B的元素组成的集合,根据定义,A∪B={1,2,3,4,5,6,7},共有10个元素。
4. 设R为实数集,R上的二元关系“≤”是?A. 自反性B. 对称性C. 传递性D. 反自反性答案:C解析:传递性是指如果a≤b且b≤c,则a≤c。
在实数集上,“≤”满足传递性。
5. 设R为实数集,R上的二元关系“<”是?A. 自反性B. 对称性C. 传递性D. 反自反性答案:C解析:传递性是指如果a<b且b<c,则a<c。
在实数集上,“<”满足传递性。
6. 设A={1,2,3},B={4,5,6},则A×B的元素个数是?A. 3B. 6C. 9D. 12答案:B解析:A×B表示A与B的笛卡尔积,即所有可能的有序对组成的集合。
A×B={(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)},共有6个元素。
7. 设A={1,2,3},B={4,5,6},则A∩B的元素个数是?A. 0B. 1C. 2D. 3答案:A解析:A与B的交集为空集,因为它们没有共同元素。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
A一、单项选择题2.设集合A={1,2,3},下列关系R 中不是等价关系的是( D )A.R={<1,1>,<2,2>,<3,3>}; B.R={<1,1>,<2,2>,<3,3>,<3,2>,<2,3>};C. R={<1,1>,<2,2>,<3,3>,<1,2>,<2,1>,<1,3>,<3,1>,<2,3>,<3,2>};D. R={<1,1>,<2,2>,<3,3>,<1,2 >}.3.在公式()F (x ,y )→( y )G (x ,y )中变元x 是( B )x ∀∃A .自由变元;(前面无∀或∃量词) B .既是自由变元,又是约束变元;C .约束变元;(前面有∀或∃量词) D .既不是自由变元,又不是约束变元.4.设A={{1,2,3},{4,5},{6,7,8}},下列选项正确的是( C )A .1∈A ;B .{1,2,3}A ;C .{{4,5}}A ;D .∅∈A.⊆⊆5.设论域为{l ,2},与公式等价的是( A ))()(x A x ∃A.A (1)A (2); B. A (1)A (2); C.A (1)∧A (2);D. A (2)A (1).∨→→6.一棵树有5个3度结点,2个2度结点,其它的都是l 度结点,那么这棵树的结点数是( B )A.13;B.14 ;C.16 ;D.17 .//设一度结点数为n,则有:5×3+2×2+n=2[(5+2+n)-1]解得:n=7, 所以这棵树的结点数为:m=5+2+7=14.7.设A 是偶数集合,下列说法正确的是( A )A .<A ,+>是群;B .<A ,×>是群;C .<A ,÷>是群;D .<A ,+>, <A ,×>,<A ,÷>都不是群。
8.下列图是欧拉图的是( D)10.下面不满足结合律的运算是( C )A.;B.;C.;D.),min(b a b a = ),max(b a b a = )(2b a b a+= abb a 2= 二、填空题12.设f ∶R→R,f(x)=x+3,g∶R→R,g(x)=2x+1,则复合函数 ,=))(g (fx 42+x=)x )(f (g 72+x //f(g(x))=f(2x+1)=(2x+1)+3=2x+4=))(g (f x //=g(f(x))=g(x+3)=2(x+3)+1=2x+7=))(f (g x//备注:f g=f g(x)=g(f(x))13.设S 是非空有限集,代数系统<P (S ),∪>中,其中P (S )为集合S 的幂集,则P (S )对∪运算的单位元是,零元是 S 。
φ14.设<A ,≤>是格,其中A={1,2,3,4,6,8,12,24},≤为整除关系,则3的补元是8 。
//(注:什么是格? 即任意两个元素有最小上界和最大下界的偏序)15.命题公式的成真指派为 00,01,11 ,成假指派为 10 。
)(Q P P ∧→16.设A={<2,2>,<3,4>,<3,5>},B={<1,3>,<2,5>,<3,4>},那么dom (A∩B)={3} , ran (A∪B)= {2,3,4,5}//关系R 的定义域:domR={∃x|y(<x,y>∈R)},即R 中所有有序对的第一元素构成的集合。
关系R 的值域:ranR={∃y|x(<x,y>∈R)},即R 中所有有序对的第二元素构成的集合。
关系R 的域:fldR=domR ∪ranR17. 在根树中,若每一个结点的出度 最多为(或≤)m,则称这棵树为m 叉树。
如果每一个结点的出度都为(或=)m 或0,则称这棵树为完全m 叉树。
如果这棵树的叶 都在同一层 ,那么称为正则m 叉树。
18.<Zn, >是一个群,其中Zn={0,1,2,……,n-1},,则在⊕n y x y x mod )(+=⊕<Z6, >中,1的阶是 6 ,4的阶是 3 。
//单位元是e =0⊕19. n 点完全图记为K n ,那么当 n ≤ 4 时,K n 是平面图,当 n ≥ 5 时,K n 是非平面图。
20. 若图中存在 回路 ,它经过图中所有的结点恰好 一次 ,则称该图为汉密尔顿图(哈密顿图) 。
// 欧拉图三、计算题21. 求命题公式的主析取范式。
)()(P Q Q P ∨⌝→→⌝解:)()(P Q Q P ∨⌝→→⌝⇔)()(P Q Q P ∨⌝→∨⇔)()(P Q Q P ∨⌝∨∨⌝⇔)()(P Q Q P ∨⌝∨⌝∧⌝⇔))(())(()(Q Q P Q P P Q P ⌝∨∧∨⌝∧⌝∨∨⌝∧⌝⇔))()()()()(Q P Q P Q P Q P Q P ⌝∧∨∧∨⌝∧⌝∨⌝∧∨⌝∧⌝==⇔))()()(Q P Q P Q P ∧∨⌝∧∨⌝∧⌝111000m m m ∨∨∑)3,2,0(22. 设A ={1,2,3,4},给上的二元关系R ={<1,2>,<2,1>,<2,3>,<3,4>},求R 的A 传递闭包。
解:由R ={<1,2>,<2,1>,<2,3>,<3,4>},得,从而,⎪⎪⎪⎪⎪⎭⎫⎝⎛=0000100001010010R M ⎪⎪⎪⎪⎪⎭⎫⎝⎛=00000000101001012MR, ,于是⎪⎪⎪⎪⎪⎭⎫⎝⎛=00000000010110103MR ⎪⎪⎪⎪⎪⎭⎫⎝⎛=00000000101001014MR ={<1,1>,<1,3>,<2,2>,<2,4>},={<1,2>,<1,4>,<2,1>,<2,3>},2R 3R ={<1,1>,<1,3>,<2,2>,<2,4>}=,故4R 2R ={<1,1>,<1,2>,<1,3>,<1,4>,<2,1>,<2,2>,<2,3>,432)(R R R R R t =<2,4>,<3,4>}23.设A={1,2,3,4,6,8,12,24},R 为A 上的整除关系,试画<A ,R>的哈斯图,并求A 中的最大元、最小元、极大元、极小元。
解:<A ,R>的哈斯图如右图所示:A 中的最大元为24、最小元为1、极大元为24、极小元为1。
24.求下图所示格的所有5元子格。
解:所有5元子格如下:26.用矩阵的方法求右图中结点v 1,v 3之间长度为2的路径的数目。
//教材P289、290r e o 所以,图中结点v 1,v 3之间长度为2的路径的数目有3条。
//备注:邻接矩阵中所有元素之和等于边数。
通路(v1->v1,v2,v3,v4…)与回路(v1->v1,v2->v2,v->v3…)四、证明题27. 在整数集Z 上定义:,证明:<Z ,>是一个群。
Z ,,1∈∀++=b a b a b a 证明:(1)对于,有,所以运算是封闭的。
Z b a ∈∀,Z 1∈++=b a ba (2)对于,有Z c b a ∈∀,,,2c b a 1c 1b a c )1()(+++=++++=++= b a c b a ,2c b a 11c b a )1()(+++=+++++=++=c b a c b a 即,故运算是可结合的。
)()(c b a cb a = (3)是单位元,因为,,.1-Z a ∈∀a a a=+-=-11)1( a a a =++-=-11)1( (4),由,Z a ∈∀112)2(-=+--=--a a a a ,可知 是的逆元。
112)2(-=++--=--a a a a a --2a 综上所述,<Z ,>是一个群。
28. 设R 为N ×N 上的二元关系,,NN d c b a ⨯>∈<><∀,,,,证明R 为等价关系。
d b d c R b a =>⇔<><,,证明:因为,,所以,故R 具有自反性。
N N b a ⨯>∈<∀,b b =><><b a R b a ,,,若,则,即,N N d c b a ⨯>∈<><∀,,,><><d c R b a ,,d b =b d =故,所以R 具有对称性。
><><b a R d c ,,,若,,N N f e d c b a ⨯>∈<><><∀,,,,,><><d c R b a ,,><><f e R d c ,,则,从而,故,所以R 具有对称性。
d b =f d =f b =><><fe R b a ,,综上所述,R 为等价关系。
五、综合应用题29.在谓词逻辑中构造下面推理的证明:每个在学校读书的人都获得知识。
所以如果没有人获得知识就没有人在学校读书。
(个体域:所有人的集合)证明:设S (x ):x 是 在学校读书的人, G (x ):x 是获得知识的人。
前提:();x ∀))()((x G x S →结论:→∃⌝)()(x G x )()(x S x ∃⌝推理过程如下:(1)() P x ∀))()((x G x S →(2)US (1))()(c G c S →(3)P (附加前提))()(x G x ∃⌝(4) T(3)E )()(x G x ⌝∀ (5) US(4))(c G ⌝(6) T(2)(5)I )(c S ⌝(7) UG(6))()(x S x ⌝∀(8)T(7)E)()(x S x ∃⌝。