离散数学试题(A)1
离散数学题目大汇总
离散数学试题一(A 卷答案)一、(10分)证明⌝(A ∨B )→⌝(P ∨Q ),P ,(B →A )∨⌝P A 。
二、(10分)甲、乙、丙、丁4个人有且仅有2个人参加围棋优胜比赛。
关于谁参加竞赛,下列4种判断都是正确的:(1)甲和乙只有一人参加;(2)丙参加,丁必参加;(3)乙或丁至多参加一人;(4)丁不参加,甲也不会参加。
请推出哪两个人参加了围棋比赛。
三、(10分)指出下列推理中,在哪些步骤上有错误?为什么?给出正确的推理形式。
(1)∀x (P (x )→Q (x )) P(2)P (y )→Q (y ) T (1),US(3)∃xP (x ) P(4)P (y ) T (3),ES(5)Q (y ) T (2)(4),I(6)∃xQ (x ) T (5),EG四、(10分)设A ={a ,b ,c},试给出A 上的一个二元关系R ,使其同时不满足自反性、反自反性、五、(15分)设函数g :A →B ,f :B →C ,(1)若f g 是满射,则f 是满射。
(2)若f g 是单射,则g 是单射。
六、(15分)设R 是集合A 上的一个具有传递和自反性质的关系,T 是A 上的关系,使得<a ,b >∈T ⇔<a ,b >∈R 且<b ,a >∈R ,证明T 是一个等价关系。
七、(15分)若<G ,*>是群,H 是G 的非空子集,则<H ,*>是<G ,*>的子群⇔对任意的a 、b ∈H 有a *b -1∈H 。
八、(15分)(1)若无向图G 中只有两个奇数度结点,则这两个结点一定是连通的。
(2)若有向图G 中只有两个奇数度结点,它们一个可达另一个结点或互相可达吗?离散数学试题一(B 卷答案)一、(15分)设计一盏电灯的开关电路,要求受3个开关A 、B 、C 的控制:当且仅当A 和C 同时关闭或B 和C 同时关闭时灯亮。
设F 表示灯亮。
离散数学试题(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 的且具有自反性、对称性和传递性的关系。
离散数学试卷06-07(上)A
合肥学院2007至2008学年第二学期《离散数学》课程考试( A )卷计算机 系 06 级 网络工程 专业 学号 姓名一、选择题:(每小题2分,计22分)1.前提,,p q q r r ⌝∨⌝∨⌝的结论是(A.qB.p ⌝C. p q ∨D p q ⌝→2.集合A={1,2,3,4},下列关系R 中不是等价关系的是( ) A. {1,1,2,2,3,3}R =〈〉〈〉〈〉;B.{1,1,2,2,3,3,3,2,2,3}R =〈〉〈〉〈〉〈〉〈〉;C.{1,1,2,2,3,3,1,4}R =〈〉〈〉〈〉〈〉;D.{1,2,2,1,1,3,3,1,2,3,3,2}A R I =〈〉〈〉〈〉〈〉〈〉〈〉⋃。
. 3.下列语句中哪个是命题( )A.我正在说谎。
B. 5x y + 。
C.地球之外还存在有智慧的动物。
D.请勿践踏草地! 4.设F(x):x 是火车,G(x):y 是汽车,H(x,y):x 比y 快。
命题“某些汽车比所有的火车慢”的符号化公式是( ).(()(()(,)))A y G y x F x H x y ∃→∀∧ .(()(()(,)B y G y x F x H x y ∃∧∀→ .(()(()(,)))C x y G y F x H x y ∀∃→∧ .(()(()(,)D y G y x F x H x y ∃→∀→ 5.利用谓词的约束变元的更名规则和自由变元的代人规则,可将公式(()(,))(,)x P x Q x y R x y ∀→∧改写为( )。
.(()(,))(,)A x P y Q x y R z s ∀→∧ .(()(,))(,)B z P z Q z s R x s ∀→∧ .(()(,))(,)C x P s Q x s R x s ∀→∧ .(()(,))(,)D z P s Q z s R z s ∀→∧6.下列公式中正确的等价式是( )。
.()()A xA x x A x ∃⇔∃⌝ .()()B xA x x A x ⌝∀⇔∃⌝.(,)(,)C x yA x y y xA x y ∀∃⇔∃∀.(()())(()())D x A x B x x A x B x ∀∧⇔∀∨7.设{},(())A B P P A =∅=,以下不正确的式子是( )。
11级离散数学试题(A)参考答案
2011级离散数学(A)参考答案一、填空题(每小题2分,共30分)1. 设():M x x 为人, ():F x x 不吃饭。
将命题“没有不吃饭的人”符号化为:))()((x F x M x ⌝→∀ 或 ))()(((x F x m x ∧∃⌝ 。
2. 设A={1, 2, 3, 4} ,则 A 的全部2元子集共有 6 个。
3. 设p :明天是周一,q :明天是周三,r :我有课。
则命题“如果明天是周一或周三,我就有课”的符号化形式为 r q p →∨)( 。
4. 已知命题公式A 含有2个命题变项,其成真赋值为00、10、11,则其主析取范式为 320m m m ∨∨ 。
5. 设p :北京比大连人口多,q :2+2=4,r :乌鸦是白色的。
则命题公式)()(r p r q ⌝→→∨的真值为 1 。
6. 集合}3,2,1{=A 上的关系}3,2,3,1,2,1{><><><=R ,则=-1R { <2,1>,<3,1>,<3,2> }。
7. 画出下图的补图 。
8.设A={1,2,3},B={a,b,c},A 1={1},f={<1,a>,<2,a>,<3,b>},则=-))((11A f f { 1,2 }。
9. 设无向图的度数序列为:1,2,2,3,4。
则该无向图的边数m= 6 。
10. 3阶有向完全图的2条边的非同构的生成子图有 4 个。
11. 设〈≤,A 〉为偏序集,A B ⊆。
若y x B y x 与,,∈∀都是可比的,则称B是A 中的一条链,B 中的元素个数称为链的长度。
在偏序集〈{1,2,…,9},整除〉中,{1,2,4,8}是长为 4 的链。
12. 下面运算表中的单位元是 b 。
13. 写出模4加法群G=<Z 4,⊕ >的运算表14. 模4加法群中, 2-3= 2 。
(完整版)离散数学试题及答案,推荐文档
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 为真的解释有
__________________________,_____________________________,
__________________________.
吉林大学2005软件学院离散数学I试题(A)
吉林大学软件学院2005级本科《离散数学I》试题(A)一、简答题(本大题共20小题,每小题2分,共40分)1、设集合A={∅},则幂集合ρ(ρ(A))的基数是多少?2、设命题公式的集合S={P,Q,P∧Q,P∨Q},⇒是S上的公式蕴涵关系,则部分序集(S, ⇒)中的最大元和最小元是什么?3、设集合A={a, b},请给出集合A上所有的等价关系。
4、设R是集合A={1,2,3}上的二元关系,R={(1,1),(2,3),(3,1)},问R满足反自反性吗?R满足反对称性吗?5、是否存在集合A,使得A与ρ(A)等势?若存在,请举例说明。
6、命题公式(P∧(⌝P→Q))→Q是恒真公式吗?若不是,请给出一个弄假G的解释。
7、写出关于3个原子P、Q、R的极小项m3。
8、若短语恒假,则该短语中一定包含互补对吗?若子句中包含互补对,则该子句一定恒真吗?9、对于包含4个不同原子的恒假公式,其主析取范式共包含多少个极小项?10、蕴含式∀xP(x)⇒∃xP(x)一定成立吗?11、设G=∀xP(x)∨∀xQ(x),H=∀x(P(x)∨Q(x)),个体域D={a,b},请给弄假公式G,但满足H的一个解释。
12、有向树中所有点都只发出一条弧吗?有向树一定强连通吗?13、没有孤立点的Euler图一定是强连通的吗?其中的Euler路一定经过图中每个点吗?14、若有限树T中共有m(m≥2)个度为1的点,则树T中任意点的度一定≤m,对吗?15、给出mod 9的一个完全剩余系和一个简化剩余系。
16、任意整数都能写成质数乘积吗?若不能,请举例。
17、若a|b且b|a,则a=b,对吗?18、对任意正整数m、n,都有n m≡n(mod m)成立吗?若不成立,请举反例。
19、对任意两个整数a、b的最高公因数d,都有d=sa+tb,s、t为整数,请问s和t的最高公因数是多少?20、画出右图的闭合图,在该图的闭合图中共有多少条不同的Hamilton回路?(注:若两条Hamilton回路包含的边完全相同(可能顺序不同),则这两条Hamilton回路相同;两条不同的Hamilton回路中至少存在一条不同的边,)。
《离散数学》试卷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 )使用班级:命题教师:主任签字:一、单项选择题(本大题共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)。
离散数学期末考试试题(有几套带答案)
离散数学试题(A 卷及答案)一、证明题(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(2) ⌝E →(A ∧⌝B)(3) (C ∨D)→(A ∧⌝B) (4) (A ∧⌝B)→(R ∨S) (5) (C ∨D)→(R ∨S)(6) C ∨D(7) R ∨S2) ∀x(P(x)→Q(y)∧R(x)),∃xP(x)⇒Q(y)∧∃x(P(x)∧R(x))证明(1)∃xP(x) (2)P(a)(3)∀x(P(x)→Q(y)∧R(x)) (4)P(a)→Q(y)∧R(a) (5)Q(y)∧R(a) (6)Q(y) (7)R(a) (8)P(a) (9)P(a)∧R(a) (10)∃x(P(x)∧R(x)) (11)Q(y)∧∃x(P(x)∧R(x))四、设m 是一个取定的正整数,证明:在任取m +1个整数中,至少有两个整数,它们的差是m 的整数倍证明 设1a ,2a ,…,1+m a 为任取的m +1个整数,用m 去除它们所得余数只能是0,1,…,m -1,由抽屉原理可知,1a ,2a ,…,1+m a 这m +1个整数中至少存在两个数s a 和t a ,它们被m 除所得余数相同,因此s a 和t a 的差是m 的整数倍。
离散数学试卷(A)
离散数学试卷(A)一、单项选择题(每小题2分。
共20分)在每小题的四个备选答案中只有一个正确的答案。
请将正确答案的序号写在题干的括号内。
1.设集合A={2,{a},3,4},B = {{a},3,4,1},E 为全集,则下列命题正确的是( ).A.{2}∈AB.{a}⊆AC.∅⊆{{a}}⊆B ⊆ED.{{a},1,3,4}⊂ B.2.除非613≥ ,否则79≤。
令r: 613≥,s :79≤,可符号化为( ).A.s r →B. r s →⌝C. s r →⌝D. r s →3.使命题公式()p q q ∧→为假的赋值是( )A.10B.01C.00D.114. ()r q p ↔→的合取范式是( )A.()()()r q p r q r p ⌝∨∨⌝∧∨⌝∧∨;B. ()()()r q p r q q p ⌝∨∨⌝∧∨⌝∧∨C. ()()()r q p r q q p ⌝∨∨⌝∧∨∧∨;D. ()()()r q p r q r p ⌝∨∨⌝∧∨∧∨;5.判断下列各式中,不是合式公式的是 ( )A.S R Q ∧→B.()()S R P →↔C.()()()P Q Q P →→→⌝D.()K RS →6. 下列语句中是命题的只有( )A .1+1=10B .x+y=10C .sinx+siny<0D .x mod 3=2 7.设A={1,2,3,4,5},下面集合等于A 的是( )A .{1,2,3,4} B.{}252≤x x x 是整数,且C .{}5≤x x x 是正整数,且D .{}5≤x x x 是正有理数,且8.设f 和g 都是x 上的双射函数,则()1-g f ( ) A.11--g f B. ()1-f gC. 11--f gD. 1-g f9.下面等值式不正确的是:( C )A.A A A ⇔∨ ;B. ()B A B A ⌝∨⌝⇔∧⌝ ;C. ()B B A A ⇔∧∨;D. B A B A ∨⌝⇔→;10.R 代表实数集合,针对给定的函数集合f ,下面函数f: R R →属于双射的是:( )A. ()x x f 2=B. ()x x f sin =C. ()23x x x f -=D. ()x x f x +=2二、判断题(每题2分,共10分)11. A 是合式公式,但()B A ∨不一定就是合式公式( )12. q p →为真当且仅当p 与q 同时为真或同时为假( )13.设i i m M 与是命题变项1p ,2p ,。
离散数学试卷
江苏技术师范学院20 —20 学年第 学期《离散数学》试卷(1)参考答案与评分标准一、单项选择题(本大题共5道小题,每小题2分,共10分)1.设A={1,2,3},B={1,2,3,4,5},C={2,3}, 则(A ⋃B)- C =( C )。
A.{1,2}B.{2,3}C.{1,4,5}D.{1,2,3}2.在自然数集N 上定义二元运算*如下,满足交换律的是( C )。
A. a*b=a-bB. a*b=a+2bC. a*b=min{a,b}D. a*b=a3.设集合A={a,b,c},A 上的关系R={<a,a>,<b,b>}具备下列性质( D )。
A.等价性B.自反性C.反自反性D.反对称性4.当且仅当为下面条件中的哪一个时,无向简单图G 是哈密顿图?( D )。
A. G 的每对结点的度数不大于顶点的个数B. G 的每对结点的度数大于顶点的个数C. G 的每对结点的度数小于顶点的个数D. G 的每对结点的度数不小于顶点的个数5.设B(x):x 是金子;F(x):x 会发光;则金子都会发光可符号化为:( B )。
A. )()(x F x xB →∀B. ))()((x F x B x →∀C. )()(x F x xB ∧∀D. ))()((x F x B x ∧∀二、填空(本大题共10空,每空2分,共20分)1.设p :我们勤奋,q :我们好学,r :我们取得好成绩。
命题“只要勤奋好学,我们就能取得好成绩”符号化为 p ∧q →r 。
2.若连通的简单图中所有结点的度数为 偶数 ,则该图一定是欧拉图。
3.群<Z 6,+6>的所有子群是:_<Z 6,+6>,<{0,2,4},+6>,<{0,3},+6>,<{0},+6>_。
4.n 个结点的无向完全图的边数m 为 n(n-1)/2 。
5.集合A={1,2,…,10}上的关系R={<x,y>|x+y=10,x,y ∈A},则R 的性质为 对称性 。
离散数学试卷及问题详解
离散数学试题(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)⇔M∧1M⇔m∨3m∨4m∨5m∨6m∨7m2二、(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 的且具有自反性、对称性和传递性的关系。
若'R 是包含R 的且具有自反性、对称性和传递性的任意关系,则由闭包的定义知r (R )⊆'R 。
(大学试卷)2011.7《离散数学》考试卷A答案
离散数学课程考试试卷A专业:信计考试日期: 所需时间:120分钟总分:100分 闭卷 一、选择题(每小题2分,总共20分)1、设P :我们划船,Q :我们跑步。
命题“我们不能既划船又跑步”符号化为( B )A 、Q P ⌝∧⌝B 、Q P ⌝∨⌝C 、)(Q P ↔⌝D 、)(Q P ⌝↔2、下列语句中哪个是真命题?( D )A 、我正在说谎。
B 、严禁吸烟C 、如果1+2=3,那么雪是黑的。
D 、如果1+2=5,那么雪是黑的。
3、命题公式Q Q P P →→∧))((是( C ) A 、矛盾式 B 、蕴含式 C 、重言式 D 、等值式4、谓词公式)())()((x Q y yR x P x →∃∨∀中变元x 是( D ) A 、自由变量 B 、约束变量 C 、既不是自由变量也不是约束变量 D 、既是自由变量也是约束变量5、若个体域为整数域,下列公式中哪个值为真?( A ) A 、)0(=+∃∀y x y x B 、)0(=+∀∃y x x y C 、)0(=+∀∀y x y x D 、)0(=+∃⌝∃y x y x6、设个体域A={a,b},公式)()(x xS x xP ∃∧∀在A 中消去量词应为( B ) A 、)()(x S x P ∧ B 、))()(()()(b S a S b P a P ∨∧∧ C 、)()(b S a P ∧ D 、)()()()(b S a S b P a P ∨∧∧8、设A={{1,2,3},{4,5},{6,7,8}},下列正确的是( C ) A 、1∈A B 、{1,2,3}⊆A C 、{{4,5}}⊂A D 、Φ∈A 9、幂集P (P (P (Φ)))为( C )A 、{{Φ},{Φ,{Φ}}}B 、{Φ,{Φ},{Φ,{Φ}}}C 、{Φ,{Φ},{Φ,{Φ}},{{Φ}}}D 、{Φ,{Φ,{Φ}}} 10、任意一个具有多个等幂元的半群,它( A )A 、不能构成群B 、不一定能构成群C 、能构成群D 、不能构成交换群 二、填空题(每小题3分,总共24分)1、设A 为任意的公式,B 为重言式,则B A ∨的类型为 重言式2、设q p q p →⌝为命题变项,,的成真赋值为10,11,013、设集合A={x|x <3,x ∈Z},B={x|x=2k,k ∈Z} C={1,2,3,4,5},则A ⊕(C-B )={0,2,4,6,7,8}4、某校有足球队员38人,篮球队员15人,排球队员20人,三队队员总数为58人,其中只有3人同时参加3种球队,则仅仅参加两种球队的队员为9人 。
离散数学试卷及参考答案
济南大学继续教育学院离散数学试卷(A)学年:学期:年级:专业:学习形式:层次:(本试题满分100分,时间90分钟)一、选择(每题2分,共18分)1.设简单图G所有结点的度之和为12,则G一定有 ( ) 条边。
A. 3B. 4C. 5D. 62.设G是一棵树,则G 的生成树有 ( B ) 棵A. 0B. 1C. 2D.不能确定3. 若供选择答案中的数值表示一个简单图中各个顶点的度,能画出图的是( )。
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).4. 命题∀xG(x)取真值1的充分必要条件是( )。
A.对任意x,G(x)都取真值1.B.有一个x0,使G(x0)取真值1.C.有某些x,使G(x0)取真值1.D.以上答案都不对.5.设集合A={2,{a},3,4},B = {{a},3,4,1},E为全集,则下列命题正确的是( )。
A. {2}∈AB. {a}⊆AC. ∅⊆{{a}}⊆B⊆ED. {{a},1,3,4}⊂B.6. 下列关于集合的表示中正确的为( )。
A.{a}∈{a,b,c}B. {a}⊆{a,b,c}C. ∅∈{a,b,c}D. {a,b}∈{a,b,c}7.下列式子正确的是 ( )。
A. p →q = q →pB. p →q = ⌝q ∨ pC. p →q,q →s ⇒ p →sD. p ↔q = (p → q) ∨ (q→ p)8.下列语句中,( )是命题。
A.请把门关上B.地球外的星球上也有人C. x + 5 > 6D. 下午有会吗?9.设G、H是一阶逻辑公式,P是一个谓词,G=∃xP(x), H=∀xP(x),则一阶逻辑公式G→H是( )。
A. 恒真的第 1 页共 13 页。
离散数学卷2018-2019第二学期A卷 (1)
贵州大学软件学院软件工程专业2018-2019学年第二学期考试试卷A离散数学注意事项:1. 请考生按要求在试卷装订线内填写姓名、学号和年级专业。
2. 请仔细阅读各种题目的回答要求,在规定的位置填写答案。
3. 不要在试卷上乱写乱画,不要在装订线内填写无关的内容。
4. 满分100分,考试时间为120分钟。
题 号一 二 三 四 总分 统分人得 分一.单项选择题(每小题2分,共20分)1. p :小王学习用功,q :小王聪明,则命题“小王不仅学习用功而且聪明.”的符号化为( )。
A .p →qB .q →pC .p ∨qD .p ∧ q2.n 个命题变元可产生( )个互不等价的极小项。
A . nB . n 2C . 2nD . 2n3.设个体域为整数集,下列公式中假命题的有( )。
A .x ∃y(x ·y=0)B .∃x y(x ·y=0)C .x ∃y(x ·y=1)D .x ∃y(x ·y=x)4. 集合A={1,2,3}上的关系R={<1,2>,<1,3>},则R 的性质为( )。
A.自反的B.对称的C.传递的,对称的D.传递的5. 若,f g 是双射,则复合函数g f 必是( )。
A .映射B .单射C .满射D .双射6.给定下列序列,可构成无向简单图的结点度数序列的是( )。
A .(1,1,2,2,5)B .(1,1,2,2,2)C .(1,1,3,3,3)D .(1,5,4,4,5)得 分评分人7. 给定无向图如下图所示,割点是( )。
A .dB .gC .bD . a8. 7阶连通平面图G 有6个面,则G 的边数为( )。
A .9B .10C .11D .129. 无向图G 是简单图,则图G 中一定不含有( )。
A .环和平行边B .平行边C .环D .圈10. Z 是整数集,〈Z ,*〉(其中*是普通乘法)不能构成( )。
安徽大学大二计算机专业离散数学试卷及答案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.独立集。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
中南民族大学2008 -2009 学年第 二 学期 期末考试试卷 课程名称:离散数学 试卷类型:A 卷 共2页 考试形式:闭卷 考试 适用范围:计算机 学院(系) 2007 年级 数学及信息 专业 本科 试解下列各题(10分*10=100分) 1, 利用集合成员表证明: A (B C )(A B )(A C )-=-- . 2, 设ρ为A 上的等价关系,试证明:(1)ρρ= (2)n N +∀∈有n ρρ=即ρ为A 上的幂等关系. 3, 设函数f :A B,→定义函数使得g(b ){a |a A,f (a )b }=∈=,试证明:若f 为满射,则g 为A g :B 2→上的内射。
举例说明若f 不是满射,则g 不一定为内射. 4, 设4Z {0,1,2,3,},=构造4Z 上的模4加法运算表,判断4Z 上的模4加法运算是不是半群,独异点,群,阿贝耳群。
同时写出零元及单位元. 5, 画出所有5元素的格,并判断哪些是分配格?那些是有补格?那些是有补分配格?并说明理由. 6, 试证明在格中对于任意的元素c b a ,,有: (a b )(c d )(a c )(b d )∧∨∧≤∨∧∨ 7, 画出(1)三个结点不同构的有向图.(2)三个结点不同构的有向树.(3)四个结点不同构的有向树(4)五个结点不同构的树.
…………………………密……………………封……………………线…………………………… 学院 专业 级 学号 姓名
注意事项:
1.考生将姓名、学号等信息写在试卷相应位置;
2.必须使用蓝(黑)色钢笔或签字笔在规定位置答题;
3.注意字迹清楚,保持卷面整洁。
8,设G是连通的(n,m)图,且m n1
=-,试证G明是一棵树.
9,将下列命题符号化(1)如果你是体育爱好者不是文艺爱好者那么你不是文体爱好者.(2)小明是数学系的学生,他住在16栋302室或303室.(3)除非他以书面形式或口头形式通知我,否则我不会参加明天的会议(4)我看见的既不是老张也不是小李. 10,证明下列各式:
(1)Q(P Q)P
→→⇔∧→
⌝∧→⇒⌝(2)P(Q R)(P Q)R
离散数学参考答案(A 卷共3页)
1, 解
A B C B C A —(B C ) A —B A —C (A —B ) (A
—C )
0 0 0 0 0 0 0 0
0 0 1 0 0 0 0 0
0 1 0 0 0 0 0 0
0 1 1 1 0 0 0 0
1 0 0 0 1 1 1 1
1 0 1 0 1 1 0 1
1 1 0 0 1 0 1 1
1 1 1 1 0 0 0 0—————
——8分
由成员表可以看出 A —(B C )与(A —B ) (A —C )的标记列完全相同,
故等式成立。
——————
10分
2, 证明
(1),),(),(ρρ∈⇒∈∀a b b a ~由ρ对称故ρρ
ρ⊆⇒∈~),(b a ,),(对称,),(⇒∈⇒∈∀ρρρa b b a ρρρ
~~⊆⇒∈),(b a 故有ρ
ρ
~= ————————5分 (2)下证ρρ=2,⇒⎪⎭
⎪⎬⎫∈∈∈∃⇒∈∀可传递由),(),(),(ρρρρb c c a t As c b a ..2ρ∈),(b a
ρρ⊆⇒2 ———————————
8分
22ρρρρρ⊆⇒∈⇒∈⇒∈∀),(),(),(b a a a b a
综合有ρρ=2,再归纳有ρρ=n
———————————10
注意事项:
1. 考生将姓名、学号等信息写在试卷相应位置;
2. 必须使用蓝(黑)色钢笔或签字笔在规定位置答题;
3. 注意字迹清楚,保持卷面整洁。
分
3,证明
B b b ∈≠∀21由于f 为B A →上的满射,故A a a ∈≠∃21使得
2211b a f b a f ==)(,)(再由于g 为A B 2→上的映射,故
)
()(21b g b g ≠即g 为A B 2→上的内射。
——————5分
例:设}{}21{c b a B A ,,,,==且}21{),),(,(a a f =故f 不是满射。
但
φ==)()(c g b g ,故g 不是内射。
———————
10分
4解:
运算表如下:4⊕ 0 1 2 3
0 0 1 2 3
1 1
2
3 0
2 2
3 0 1
3 3 0 1 2 ——————————
5分
(1) 由运算表可以看出该代数系统为半群,独异点,群及阿贝耳群。
(2) ,
,,,,1322310001111=====----e 不存在零元。
————————————10分
5,证明
(1) (2) (3) (4) (5)
—————
—6分
其中(1),(2),(3)是分配格;(4),(5)是有补格 ——————
10分
6,证明
)()()()(有,,,c a b a c a a a b a d c b a ∨≤∧⇒⎭
⎬⎫∨≤≤∧∀ ____________4分 类似有),()(d b d c ∨≤∧),()(c a d c ∨≤∧),
()(d b b a ∨≤∧____8分 综合有)
()()()(d b c a d c b a ∨∧∨≤∧∨∧. _______________10分
7,解:
8,证明
(1) 由于树是连通的无环图,故G 中不含有环。
————————4
分
注意事项:
1. 考生将姓名、学号等信息写在试卷相应位置;
2. 必须使用蓝(黑)色钢笔或签字笔在规定位置答题;
3. 注意字迹清楚,保持卷面整洁。
(2) 由于G 连通且),(m n G
=1-=n m ,,下证明G 中不含有环, 反设G 中含有环,
则去掉环上的一条边后G 形成一棵)
,(1-m n 树,故11-=-n m 即n m = 与1-=
n m 矛盾,故命题成立。
————————10
分
9,证明
(1) P :你是体育爱好者 ,Q :你是文艺爱好者, )
()(Q P Q P ∧⌝→⌝∧ ——3分
(2) P :小明是数学系学生,Q :小明住在16栋302#, R :小明住在16栋302#
)
(R Q P ∀∧ ———————5分
(3) P :他以口头形式通知我,Q :他以书面形式通知我,R :我参加明天的会议
R Q P ↔∨)( —————8分
(4) P :我看见了小张 ,Q :我看见了老李,
)
(Q P ∨⌝ _______________10分
10证明
(1)
1
⇔∨⌝⌝∨∨⌝⇔⌝∨∨⌝∧⌝⌝⇔⌝→→∧⌝)
()())(())((Q P Q P P
Q P Q P
Q P Q 故成立。
—————
—5分
(2) )()(R Q P R Q P ∨⌝∨⌝⇔→→ R Q P R Q P R Q P →∧⇔∨∧⌝⇔∨⌝∨⌝⇔)()()(
__________10分。