离散数学期末考试题(附答案和含解析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的交集为空集,因为它们没有共同元素。
(完整word版)离散数学期末练习题带答案
4, 2 } U I A ,则对应于 R 的划分是(
)。
A. {{ 1},{2,3},{4}}
B. {{ 1,3},{2,4}}
C. {{ 1,3},{2},{4}}
D. {{ 1},{2},{3},{4}}
23.设 G A, 是群,则下列陈述不正确的是(
)。
A. (a 1) 1 a C. an a m an m
Байду номын сангаасC. a b ab 1
D. a b a b 1
19. 设简单图 G 所有结点的度数之和为 50,则 G 的边数为(
(
)
A. 50
B. 25
C. 10
D. 5
20.设简单无向图 G 是一个有 5 个顶点的 4-正则图,则 G 有(
A. 4
B. 5
C. 10
D. 20
)。 )条边。
21.设集合 A {1,2,3,4} , A 上的等价关系 R { 1,1 , 3,2 , 2,3 ,
D. x y lcm{ x, y} ,即 x, y 的最小公倍数
25. 设 X {1,2,3 }, Y { a,b, c, d}, f { 1, a , 2, b , 3, c } ,则 f 是
(
)。
A .从 X 到 Y 的双射
B.从 X 到 Y 的满射,但不是单射
C.从 X 到 Y 的单射,但不是满射
)。
A. G 的所有结点的度数全为偶数
B. G 中所有结点的度数全为奇数
C. G 连通且所有结点度数全为奇数
D. G 连通且所有结点度数全为偶数
36.下列 不.一.定.是树的是( ) A. 无回路的连通图 D
B. 有 n 个结点, n-1 条边的连通图
大学离散数学期末考试题库和答案
大学离散数学期末考试题库和答案一、单项选择题(每题2分,共20分)1. 在集合论中,以下哪个符号表示“属于”?A. ∈B. ∉C. ⊆D. ⊂答案:A2. 如果A和B是两个集合,那么A∪B表示什么?A. A和B的交集B. A和B的并集C. A和B的差集D. A和B的补集答案:B3. 以下哪个命题是真命题?A. ∀x∈N, x^2 > xB. ∃x∈N, x^2 = x + 1C. ∀x∈N, x^2 ≥ xD. ∃x∈N, x^2 < x答案:C4. 在图论中,一个无向图的边数为E,顶点数为V,那么这个图的生成树的边数是多少?A. EB. V-1C. VD. E-1答案:B5. 以下哪个算法是用于解决旅行商问题(TSP)的?A. 动态规划B. 贪心算法C. 分支限界法D. 回溯法答案:D6. 在逻辑中,以下哪个符号表示“蕴含”?A. ∧B. ∨C. →D. ↔答案:C7. 以下哪个是二进制数?A. 1010B. 2A3C. 12BD. ZYX答案:A8. 在关系数据库中,以下哪个操作用于删除表中的行?A. SELECTB. INSERTC. UPDATED. DELETE答案:D9. 以下哪个是布尔代数的基本运算?A. 并集B. 交集C. 差集D. 所有以上答案:D10. 在离散数学中,以下哪个概念用于描述两个集合之间的关系?A. 函数B. 映射C. 序列D. 所有以上答案:D二、多项选择题(每题3分,共15分)11. 以下哪些是集合的基本运算?A. 并集B. 交集C. 差集D. 补集答案:ABCD12. 在图论中,以下哪些是图的基本类型?A. 无向图B. 有向图C. 完全图D. 二分图答案:ABCD13. 在逻辑中,以下哪些是命题逻辑的基本连接词?A. 与(∧)B. 或(∨)C. 非(¬)D. 蕴含(→)答案:ABCD14. 在关系数据库中,以下哪些是SQL的基本操作?A. SELECTB. INSERTC. UPDATED. DELETE答案:ABCD15. 在离散数学中,以下哪些是组合数学的基本概念?A. 排列B. 组合C. 二项式系数D. 图论答案:ABC三、填空题(每题3分,共30分)16. 如果集合A={1, 2, 3},集合B={2, 3, 4},那么A∩B=______。
《离散数学》期末练习题考试卷和答案
a , b, c , d , e, f , g,那么 所对应的 19. 设集合 A a , b , c , d , e , f , g , A 上有一个划分
等价关系 R 应有( )个序偶。 )。
20. 在有理数集合 Q 上定义二元运算*: a * b a b ab ,则 Q , * 的幺元是(
等价关系 R 应有( )个序偶。 )。
25. 在有理数集合 Q 上定义二元运算*: a * b a b ab ,则 Q , * 的幺元是(
26. 一个(
)称为布尔代数。
27.P Q P Q 的主析取范式是
。(写出一般
5
表示形式即可) 28.设集合 A a , b , c , d , R 是 A 上的二元关系,且 R a , b , b , a , b , c , c , d , a , c , 则 R 的传递闭包 t R 。
C. x x是正整数, x 5
D. x x是有理数, x 5
。
6.下面有关集合之间的包含和属于关系的说法,正确的是 Ⅰ. Ⅲ.
Ⅱ. , ,
Ⅳ.
a, b a, b, a, b
B.Ⅰ和Ⅲ
a, b a, b, a, b, c
二、填空题 1.设 A 为非空集合,且 A n ,则 A 上不同的二元关系的个数为 为 。 时, P Q 的真值为 1。 , A 上不同的映射的个数
2.设 P 、 Q 为两个命题,当且仅当
3. 在运算表中的空白处填入适当符号,使 a , b , c, * 成为群。 *
a a
a b c
4. 当 n 为 数时, K n n 3 必为欧拉图。
国家开放大学电大本科《离散数学》2024-2025期末试题及答案(试卷号:1009)
国家开放大学电大本科《离散数学》2024-2025期末试题及答案(试卷号:1009)一、单项选择题(每小题3分,本题共16分)若集合A = {1,2,3,4},则下列表述不正确的是( ).A.{2,3)€AB.AU{1,2,3,4}C. <1,2,3,4)QAD. 16A2.若无向图G的结点度数之和为20,则G的边数为( ).A.10B. 20C. 30D. 53.无向图G是棵树,结点数为10,则G的边数为( ).A. 5B. 10C.9D. 114.设A(x):x是人,B(x):x是学生,则命题“有的人是学生”可符号化为( )•A.Vx)(A(x)-*B(x»B.(3x)(A(x)AB(x))C.(Vx)(A(x)AB(x»D.-«(3x)(A(x)A -B(x»5.下面的推理正确的是( ).A.(l)(Vx)F(x)->G(x) 前提引入(2)F(>-)-*G(y) US(1).B.(1)( 3 x)F(x)-*G(x) 前提引入(2)F(y)-*G(y) US(1),C.(l)(3x)(F(x)->G(x»前提引入(2)F(y)-*G(x) ES(1).D.(l)(3x)(F(x)-*G(x)) 前提引入(2)F(y)-*G(y) ESQ).二、填空题(每小题3分,本题共15分)6.设A = {1,2),H = {1,2,3},则A到B上不同的函数个数为________________ .7.有&个结点的无向完全图的边数为 ____________ .8.若无向图G中存在欧拉路但不存在欧拉回路,则G的奇数度数的结点有________ 个.9.设G是有10个结点的无向连通图,结点的度数之和为30,则从G中删去条边后使之变成树.10.设个体域£> = {1,2,3,4},则谓词公式(*)人(了)消去量词后的等值式为三、逻辑公式翻译(每小题6分,本息共12分)11.将语句“昨天下甬“翻译成命题公式.12.将语句“小王今天上午或者去看电彩或者去打球”翻译成命JS公式.四、判断说明题(判断各题正误,并说明理由.每小题7分,本黑共14分)13.存在集合A与B,使得A6B与AUB同时成立.14.完全图K<是平面图.五、计算题(每小题12分,本题共36分)15.设偏序集VA,R>的哈斯图如下,B为A的子集,其中B = 试(1)写出R的关系表达式;(2)画出关系R的关系图;(3)求出B的最大元、极大元、上界.16.设图G — <V,E>,V={vj f v it v t,Vi»v s)»(v2, v3)»(v3»vs)}»试(1)画出G的图形表示;(2)写出其邻接矩阵;(3)求出每个结点的度数;(4)画出图G的补图的图形,17.求P TQ代R)的合取范式与主合取范式.六、证明题(本题共8分)18.设A.B是任意集合,试证明:若AXA=BXB,^ A = B.M答杖松标准(仅辩者)一、单项选择题(每小题3分,本题共15分)1. A2. A3. C4.B5. D二、填空题(每小题3分,本题共]5分)6.97.”3 — 1)/2(或庆)8.210. A(l) VA(2) V A(3) V A(4)三、 逻辑公式翻译(每小题6分,本题共】2分)H,设P :昨天下雨. 则命题公式为:P ,12. 设P :小王今天上午去看电影 Q :小王今天上午去打球 则命题公式为:r (PiQ ). 或者(rPAQ )V 〈PA rQ )四、 判断说明题(每小题7分,本题共14分)13. 正确.例:设 A = {a} t H — {a,{a}) 则有且ACI3.说明:举出符合条件的例均给分. 14. 正确.完全图K 〈是平面图, 如K,可以如下图示嵌入平面.(7分)五、计算题(每小题12分,本题共36分)15. (l )R = {Va ,a>,Vb,Q>,Vc,c>,Vd,d>・Va0>・Va ・c>,V&,d>,VQ,d >}. (4 分)(2)关系图(8分)(3)集合B 无最大元,极大元为6与c.无上界. 16, 解: (1)关系图(2分) (6分)(2分)(6分)(3分) (517. P TQAR) 5PV(QAR) 0(rPVQ 〉A(rPVR)合取范式<=>(-PVQ)V(K A rR)A(rPVR) 0("VQ)V(& A rR)A(" VR)V(QA -Q)D(rPVQVR)A(rPVQVA("VR VQ) A(-、PVR V -Q) c=>(-PVQV7?)A(-'PVQV-R)A(-PV-QVR) 主合取范式 六、证明题(本意共8分)18. 证明:V2(2)邻接矩阵bioir 101001001 1 00 0(6分)(3) deg(vi)=,3deg(v t )—2 <ieg(v 3)~2 deg顷)=1 deg(v s )=2 (4) 补图(9分)(】2分)(2分) (5分)(7分〉设x€A,则Vx,x>€AXA,(1 分)因AXA = BXB,故V X,X>€BXB,则有xGB, (3 分)因此AGB. (5分)设xQB,则Vx,x>€BXB,(6 分)因AXA-BXB,故Vx,x>eAXA,则有因此BWA. (7 分)故得A=B. (8分)。
(完整word版)离散数学期末考试试题及答案
离散数学试题(B卷答案1)一、证明题(10分)1)(⌝P∧(⌝Q∧R))∨(Q∧R)∨(P∧R)⇔R证明: 左端⇔(⌝P∧⌝Q∧R)∨((Q∨P)∧R)⇔((⌝P∧⌝Q)∧R))∨((Q∨P)∧R)⇔(⌝(P∨Q)∧R)∨((Q∨P)∧R)⇔(⌝(P∨Q)∨(Q∨P))∧R⇔(⌝(P∨Q)∨(P∨Q))∧R⇔T∧R(置换)⇔R2) ∃x (A(x)→B(x))⇔∀xA(x)→∃xB(x)证明:∃x(A(x)→B(x))⇔∃x(⌝A(x)∨B(x))⇔∃x⌝A(x)∨∃xB(x)⇔⌝∀xA(x)∨∃xB(x)⇔∀xA(x)→∃xB(x)二、求命题公式(P∨(Q∧R))→(P∧Q∧R)的主析取范式和主合取范式(10分)。
证明:(P∨(Q∧R))→(P∧Q∧R)⇔⌝(P∨(Q∧R))∨(P∧Q∧R))⇔(⌝P∧(⌝Q∨⌝R))∨(P∧Q∧R)⇔(⌝P∧⌝Q)∨(⌝P∧⌝R))∨(P∧Q∧R)⇔(⌝P∧⌝Q∧R)∨(⌝P∧⌝Q∧⌝R)∨(⌝P∧Q∧⌝R))∨(⌝P∧⌝Q∧⌝R))∨(P∧Q∧R)⇔m0∨m1∨m2∨m7⇔M3∨M4∨M5∨M6三、推理证明题(10分)1)C∨D, (C∨D)→⌝E,⌝E→(A∧⌝B), (A∧⌝B)→(R∨S)⇒R∨S 证明:(1) (C∨D)→⌝E P(2) ⌝E→(A∧⌝B) P(3) (C∨D)→(A∧⌝B) T(1)(2),I(4) (A∧⌝B)→(R∨S) P(5) (C∨D)→(R∨S) T(3)(4), I(6) C∨D P(7) R∨S T(5),I2) ∀x(P(x)→Q(y)∧R(x)),∃xP(x)⇒Q(y)∧∃x(P(x)∧R(x))证明(1)∃xP(x) P(2)P(a) T(1),ES(3)∀x(P(x)→Q(y)∧R(x)) P(4)P(a)→Q(y)∧R(a) T(3),US(5)Q(y)∧R(a) T(2)(4),I(6)Q(y) T(5),I(7)R(a) T(5),I(8)P(a)∧R(a) T(2)(7),I(9)∃x(P(x)∧R(x)) T(8),EG(10)Q(y)∧∃x(P(x)∧R(x)) T(6)(9),I四、某班有25名学生,其中14人会打篮球,12人会打排球,6人会打篮球和排球,5人会打篮球和网球,还有2人会打这三种球。
离散数学期末考试试题及答案
离散数学试题(B卷答案1)一、证明题(10分)1)(⌝P∧(⌝Q∧R))∨(Q∧R)∨(P∧R)⇔R证明: 左端⇔(⌝P∧⌝Q∧R)∨((Q∨P)∧R)⇔((⌝P∧⌝Q)∧R))∨((Q∨P)∧R)⇔(⌝(P∨Q)∧R)∨((Q∨P)∧R)⇔(⌝(P∨Q)∨(Q∨P))∧R⇔(⌝(P∨Q)∨(P∨Q))∧R⇔T∧R(置换)⇔R2) ∃x (A(x)→B(x))⇔∀xA(x)→∃xB(x)证明:∃x(A(x)→B(x))⇔∃x(⌝A(x)∨B(x))⇔∃x⌝A(x)∨∃xB(x)⇔⌝∀xA(x)∨∃xB(x)⇔∀xA(x)→∃xB(x)二、求命题公式(P∨(Q∧R))→(P∧Q∧R)的主析取范式和主合取范式(10分)。
证明:(P∨(Q∧R))→(P∧Q∧R)⇔⌝(P∨(Q∧R))∨(P∧Q∧R))⇔(⌝P∧(⌝Q∨⌝R))∨(P∧Q∧R)⇔(⌝P∧⌝Q)∨(⌝P∧⌝R))∨(P∧Q∧R)⇔(⌝P∧⌝Q∧R)∨(⌝P∧⌝Q∧⌝R)∨(⌝P∧Q∧⌝R))∨(⌝P∧⌝Q∧⌝R))∨(P∧Q∧R)⇔m0∨m1∨m2∨m7⇔M3∨M4∨M5∨M6三、推理证明题(10分)1)C∨D, (C∨D)→⌝E,⌝E→(A∧⌝B), (A∧⌝B)→(R∨S)⇒R∨S 证明:(1) (C∨D)→⌝E P(2) ⌝E→(A∧⌝B) P(3) (C∨D)→(A∧⌝B) T(1)(2),I(4) (A∧⌝B)→(R∨S) P(5) (C∨D)→(R∨S) T(3)(4), I(6) C∨D P(7) R∨S T(5),I2) ∀x(P(x)→Q(y)∧R(x)),∃xP(x)⇒Q(y)∧∃x(P(x)∧R(x))证明(1)∃xP(x) P(2)P(a) T(1),ES(3)∀x(P(x)→Q(y)∧R(x)) P(4)P(a)→Q(y)∧R(a) T(3),US(5)Q(y)∧R(a) T(2)(4),I(6)Q(y) T(5),I(7)R(a) T(5),I(8)P(a)∧R(a) T(2)(7),I(9)∃x(P(x)∧R(x)) T(8),EG(10)Q(y)∧∃x(P(x)∧R(x)) T(6)(9),I四、某班有25名学生,其中14人会打篮球,12人会打排球,6人会打篮球和排球,5人会打篮球和网球,还有2人会打这三种球。
离散数学期末考试题及答案
离散数学期末考试题及答案1. 题目描述:以下是离散数学期末考试的题目。
请仔细阅读每个问题,并在题后给出相应的答案。
请注意,答案应尽量详细和准确,以确保得分。
1.1 命题与谓词逻辑(20分)1.1.1 什么是命题逻辑?它可以用于解决哪些问题?1.1.2 简要解释谓词逻辑的概念和其在离散数学中的应用。
1.2 集合和图论(30分)1.2.1 定义两个集合的并、交和差的概念。
1.2.2 解释有向图和无向图的区别,并给出一个实际应用中的例子。
1.3 关系和函数(40分)1.3.1 什么是关系?请给出一个实际应用中关系的例子。
1.3.2 定义函数的概念,并解释函数与关系的区别。
1.4 计数原理(20分)1.4.1 简要阐述乘法原理和加法原理的概念,并给出一个应用实例。
1.4.2 什么是排列和组合?请说明它们的应用场景,并给出一个例子。
2. 答案解析:2.1 命题与谓词逻辑1.1.1 命题逻辑是一种数学分支,用于研究命题之间的关系和推理规则。
其应用范围广泛,包括数学、计算机科学、哲学等领域。
1.1.2 谓词逻辑是一种扩展了命题逻辑的逻辑体系,它考虑了命题中的变量、谓词和量词等元素。
在离散数学中,谓词逻辑常用于描述集合、函数和关系等概念。
2.2 集合和图论1.2.1 集合的并(∪)是指将两个或多个集合中的所有元素取出形成一个新的集合;交(∩)指仅包含两个或多个集合中共有的元素;差(-)是指从一个集合中去除另一个集合中的元素。
1.2.2 有向图中,边是具有方向性的;而在无向图中,边是没有方向性的。
例如,在社交网络中,有向图可以表示人与人之间的关注关系,而无向图可以表示人与人之间的好友关系。
2.3 关系和函数1.3.1 关系是集合之间的一种特殊的子集,它描述了元素之间的某种联系。
例如,家族中的血亲关系可以看作是一个关系。
关系可以用图、矩阵等方式表示。
1.3.2 函数是一种特殊的关系,它将一个集合中的每个元素映射到另一个集合中的唯一元素。
离散数学考试试题及答案
离散数学考试试题及答案一、单项选择题(每题5分,共20分)1. 在离散数学中,以下哪个概念不是布尔代数的基本元素?A. 逻辑与B. 逻辑或C. 逻辑非D. 逻辑异或答案:D2. 下列哪个命题不是命题逻辑中的命题?A. 所有学生都是勤奋的B. 有些学生是勤奋的C. 学生是勤奋的D. 勤奋的学生答案:D3. 在集合论中,以下哪个符号表示集合的并集?A. ∩B. ∪C. ⊆D. ⊂答案:B4. 以下哪个图不是无向图?A. 简单图B. 完全图C. 有向图D. 多重图答案:C二、填空题(每题5分,共20分)1. 如果一个命题的逆否命题为真,则原命题的________为真。
答案:逆命题2. 在图论中,如果一个图的任意两个顶点都由一条边连接,则称这个图为________图。
答案:完全3. 一个集合的幂集是指包含该集合的所有________的集合。
答案:子集4. 如果一个函数的定义域和值域都是有限集合,那么这个函数被称为________函数。
答案:有限三、简答题(每题10分,共30分)1. 请简述什么是图的欧拉路径。
答案:欧拉路径是一条通过图中每条边恰好一次的路径。
2. 解释什么是二元关系,并给出一个例子。
答案:二元关系是指定义在两个集合之间的关系,它将第一个集合中的元素与第二个集合中的元素联系起来。
例如,小于关系就是一个二元关系。
3. 请说明什么是递归函数,并给出一个简单的例子。
答案:递归函数是一种通过自身定义来计算函数值的函数。
例如,阶乘函数就是一个递归函数,定义为:n! = n * (n-1)!,其中n! = 1当n=0时。
四、计算题(每题10分,共30分)1. 计算以下逻辑表达式:(P ∧ Q) ∨ ¬R答案:首先计算P ∧ Q,然后计算¬R,最后计算两者的逻辑或。
2. 给定集合A = {1, 2, 3},B = {2, 3, 4},求A ∪ B。
答案:A ∪ B = {1, 2, 3, 4}3. 已知函数f(x) = 2x + 3,求f(5)。
离散数学期末考试试题及答案
离散数学期末考试试题及答案一、选择题(每题4分,共40分)1.下列哪一个不是集合操作? A. 并 B. 交 C. 补 D. 叉积正确答案:D2.下列哪一个不是真命题? A. 1 + 1 = 2 B. 所有的猫都会飞 C. 所有的数都是整数 D. 狗是哺乳动物正确答案:B3.设A = {1, 2, 3},B = {3, 4, 5},则A ∩ B的结果是:A. {1, 2}B. {3}C. {1, 3}D. {4, 5}正确答案:B4.设A = {1, 2, 3},B = {3, 4, 5},则A × B的结果是:A. {(1, 3), (2, 4), (3, 5)}B. {(1, 1), (2, 2), (3, 3)}C. {(3, 3), (3,4), (3, 5)} D. {(3, 1), (3, 2), (3, 3)}正确答案:A5.若n为正整数,则n是偶数的充要条件是: A. n可以被2整除 B. n除以2的余数为1 C. n大于2 D. n的绝对值是偶数正确答案:A6.若A = {1, 2, 3, 4},B = {3, 4, 5},则A - B的结果是:A. {1, 2}B. {3}C. {1, 3, 4}D. {4, 5}正确答案:A7.已知命题P和命题Q,下列哪个是它们的逻辑等价式?A. P ∧ (P ∨ Q) = P B. P ∧ (P ∨ Q) = Q C. P ∨ (P ∨ Q) = P D. P ∨ (P ∨ Q) = Q正确答案:A8.设n为奇数,则n + n的结果是: A. 2n B. n^2 C.n(n+1) D. n(n-1)正确答案:C9.已知集合A = {1, 2, 3, 4},B = {4, 5, 6},C = {6, 7, 8},则(A ∩ B)∩ C的结果是: A. {1, 2, 3} B. {4} C. {6} D. 空集正确答案:D10.若命题P为真,则下列哪个推理是正确的? A. 如果P为真,则Q为真(反证法) B. P与Q都为真(析取引理)C. P蕴含Q(推理法则) D. P等价于Q(假设法)正确答案:A二、解答题(每题10分,共60分)1.证明:任取集合A和B,有(A ∪ B) - B = A - B解答:运用集合的基本运算性质:对任意元素x,x∈ (A ∪ B) - B,即x ∈ (A ∪ B)且x ∉ B。
离散数学考试题详细答案
离散数学考试题(后附详细答案)一、命题符号化(共6小题,每小题3分,共计18分)1.用命题逻辑把下列命题符号化a)假如上午不下雨,我去看电影,否则就在家里读书或看报。
设P表示命题“上午下雨”,Q表示命题“我去看电影”,R表示命题“在家里读书”,S表示命题“在家看报”,命题符号化为:(P⇄Q)(P⇄R S)b)我今天进城,除非下雨。
设P表示命题“我今天进城”,Q表示命题“天下雨”,命题符号化为:Q→P或P→Q c)仅当你走,我将留下。
设P表示命题“你走”,Q表示命题“我留下”,命题符号化为: Q→P2.用谓词逻辑把下列命题符号化a)有些实数不是有理数设R(x)表示“x是实数”,Q(x)表示“x是有理数”,命题符号化为:x(R(x) Q(x)) 或x(R(x) →Q(x))b)对于所有非零实数x,总存在y使得xy=1。
设R(x)表示“x是实数”,E(x,y)表示“x=y”,f(x,y)=xy, 命题符号化为:x(R(x) E(x,0) →y(R(y) E(f(x,y),1))))c) f 是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B,使得f(a)=b.设F(f)表示“f是从A到B的函数”, A(x)表示“x∈A”, B(x)表示“x∈B”,E(x,y)表示“x=y”, 命题符号化为:F(f)⇄∀a(A(a)→∃b(B(b) ∧ E(f(a),b) ∧∀c(S(c) ∧ E(f(a),c) →E(a,b))))二、简答题(共6道题,共32分)1.求命题公式(P→(Q→R))(R→(Q→P))的主析取范式、主合取范式,并写出所有成真赋值。
(5分)(P→(Q→R))(R→(Q→P))(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) 这是主合取范式公式的所有成真赋值为000,001,010,100,101,111,故主析取范式为(P∧Q∧R)(P∧Q∧R)(P∧Q∧R)(P∧Q∧R)(P∧Q∧R)(P∧Q∧R)2.设个体域为{1,2,3},求下列命题的真值(4分)a)x y(x+y=4)b)y x (x+y=4)a) T b) F3.求x(F(x)→G(x))→(xF(x)→xG(x))的前束范式。
- 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 ∃⌝。