离散数学试题(2006)_A(答案)
《离散数学》试题及答案

一、填空题1设集合A,B,其中A={1,2,3}, B= {1,2},则A — B={3};ρ(A) - ρ(B)={3},{1,3},{2,3},{1,2,3}} .2。
设有限集合A,|A| = n, 则|ρ(A×A)| = 22n。
3。
设集合A = {a,b},B = {1,2},则从A到B的所有映射是α1= {(a,1), (b,1)}, α2= {(a,2), (b,2)},α3= {(a,1), (b,2)}, α4= {(a,2),(b,1)},其中双射的是α3,α4 .4. 已知命题公式G=⌝(P→Q)∧R,则G的主析取范式是(P∧⌝Q∧R)5.设G是完全二叉树,G有7个点,其中4个叶点,则G的总度数为12,分枝点数为3.6设A、B为两个集合,A= {1,2,4}, B = {3,4},则从A⋂B={4};A⋃B={1,2,3,4};A-B={1,2}.7.设R是集合A上的等价关系,则R所具有的关系的三个特性是自反性,对称性传递性.8. 设命题公式G=⌝(P→(Q∧R)),则使公式G为真的解释有(1,0,0), (1,0, 1),(1,1, 0)9. 设集合A={1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)},R2 = {(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, 则||ρ(A⨯B)|.11设A,B,R是三个集合,其中R是实数集,A = {x |—1≤x≤1, x∈R}, B = {x |0≤x < 2,x∈R},则A-B = -1<=x〈0 ,B-A = {x |1 < x < 2,x∈R},A∩B ={x |0≤x≤1,x∈R},。
离散数学试题(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 的且具有自反性、对称性和传递性的关系。
离散数学考试试题(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⼈⾄少乘坐过其中的两种。
离散数学考试题及详细参考答案

离散数学考试题(后附详细答案)一、命题符号化(共6小题,每小题3分,共计18分)1.用命题逻辑把下列命题符号化a)假如上午不下雨,我去看电影,否则就在家里读书或看报。
b)我今天进城,除非下雨。
c)仅当你走,我将留下。
2.用谓词逻辑把下列命题符号化a)有些实数不是有理数b)对于所有非零实数x,总存在y使得xy=1。
c) f 是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B,使得f(a)=b.二、简答题(共6道题,共32分)1.求命题公式(P→(Q→R)) (R→(Q→P))的主析取范式、主合取范式,并写出所有成真赋值。
(5分)2.设个体域为{1,2,3},求下列命题的真值(4分)a)x y(x+y=4)b)y x (x+y=4)3.求x(F(x)→G(x))→(xF(x)→xG(x))的前束范式。
(4分)4.判断下面命题的真假,并说明原因。
(每小题2分,共4分)a)(A B)-C=(A-B) (A-C)b)若f是从集合A到集合B的入射函数,则|A|≤|B|5.设A是有穷集,|A|=5,问(每小题2分,共4分)a)A上有多少种不同的等价关系?b)从A到A的不同双射函数有多少个?6.设有偏序集<A,≤>,其哈斯图如图1,求子集B={b,d,e}的最小元,最大元、极大元、极小元、上界集合、下界集合、上确界、下确界,(5分)f g图17.已知有限集S={a1,a2,…,a n},N为自然数集合,R为实数集合,求下列集合的基数S;P(S);N,N n;P(N);R,R×R,{o,1}N(写出即可)(6分)三、证明题(共3小题,共计40分)1.使用构造性证明,证明下面推理的有效性。
(每小题5分,共10分)a)A→(B∧C),(E→ F)→ C, B→(A∧ S) B→Eb)x(P(x)→ Q(x)), x(Q(x)∨R(x)),x R(x) x P(x)2.设R1是A上的等价关系,R2是B上的等价关系,A≠ 且B≠ ,关系R满足:<<x1,y1>,<x2,y2>>∈R,当且仅当< x1, x2>∈R1且<y1,y2>∈R2。
离散数学考试题及详细参考答案

离散数学考试题(后附详细答案)一、命题符号化(共6小题,每小题3分,共计18分)1.用命题逻辑把下列命题符号化a)假如上午不下雨,我去看电影,否则就在家里读书或看报。
b)我今天进城,除非下雨。
c)仅当你走,我将留下。
2.用谓词逻辑把下列命题符号化a)有些实数不是有理数b)对于所有非零实数x,总存在y使得xy=1。
c) f 是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B,使得f(a)=b.二、简答题(共6道题,共32分)1.求命题公式(P→(Q→R)) (R→(Q→P))的主析取范式、主合取范式,并写出所有成真赋值。
(5分)2.设个体域为{1,2,3},求下列命题的真值(4分)a)x y(x+y=4)b)y x (x+y=4)3.求x(F(x)→G(x))→(xF(x)→xG(x))的前束范式。
(4分)4.判断下面命题的真假,并说明原因。
(每小题2分,共4分)a)(A B)-C=(A-B) (A-C)b)若f是从集合A到集合B的入射函数,则|A|≤|B|5.设A是有穷集,|A|=5,问(每小题2分,共4分)a)A上有多少种不同的等价关系?b)从A到A的不同双射函数有多少个?6.设有偏序集<A,≤>,其哈斯图如图1,求子集B={b,d,e}的最小元,最大元、极大元、极小元、上界集合、下界集合、上确界、下确界,(5分)f g图17.已知有限集S={a1,a2,…,a n},N为自然数集合,R为实数集合,求下列集合的基数S;P(S);N,N n;P(N);R,R×R,{o,1}N(写出即可)(6分)三、证明题(共3小题,共计40分)1.使用构造性证明,证明下面推理的有效性。
(每小题5分,共10分)a)A→(B∧C),(E→ F)→ C, B→(A∧ S) B→Eb)x(P(x)→ Q(x)), x(Q(x)∨R(x)),x R(x) x P(x)2.设R1是A上的等价关系,R2是B上的等价关系,A≠ 且B≠ ,关系R满足:<<x1,y1>,<x2,y2>>∈R,当且仅当< x1, x2>∈R1且<y1,y2>∈R2。
离散数学试题(2006)_A(答案)

一、填空题(每小题3分,共15分)1.设F(x):x是苹果,H(x,y):x与y完全相同,L(x,y):x=y,则命题“没有完全相同的苹果”的符号化(利用全称量词)为∀x∀y(F(x)∧F(y)∧⌝L(x,y)→⌝H(x,y)).2.命题“设L是有补格,在L中求补元运算‘′’是L中的一元运算”的真值是0.3.设G={e,a,b,c}是Klein四元群,H=〈a〉是G的子群,则商群G/H={〈a〉,{b,c}}={{e,a},{b,c}}.4.设群G=〈P({a,b,c}),⊕〉,其中⊕为集合的对称差运算,则由集合{a,b}生成的子群〈{a,b}〉 ={∅,{a,b}}.5.已知n阶无向简单图G有m条边,则G的补图有n(n-1)/2-m条边.二、选择题(每小题3分,共15分)1.命题“只要别人有困难(p),小王就会帮助他(q),除非困难已经解决了(r)”的符号化为【B】A.⌝(p∧r)→q.B.(⌝r∧p)→q.C.⌝r→(p∧q).D.⌝r→(q→ p).2.设N为自然数集合,“≤”为通常意义上的小于等于关系,则偏序集〈N,≤〉是【C】A.有界格.B.有补格.C.分配格.D.布尔代数.3.设n (n≥3) 阶无向图G=〈V,E〉是哈密尔顿图,则下列结论中不成立的是【D】A.∀V1⊂V,p(G-V1)≤|V1|.B.|E|≥n.C.无1度顶点.D.δ(G)≥n/2.4.设A={a,b,c},在A上可以定义个二元运算,其中有个是可交换的,有个是幂等的.【A】A.39,36,36.B.39,36,33.C.36,36,33.D.39,36,39.5.下列图中是欧拉图的有【C】A.K4,3.B.K6.C.K5.D.K3,3.三、计算与简答题(每小题8分,共40分)1.利用等值演算方法求命题公式(p∨q) → (q→p)的主合取范式;利用该主合取范式求公式的主析取范式,并指出该公式的成真赋值和成假赋值.(p∨q) → (q→p)⇔⌝(p∨q)∨(⌝q∨p)⇔(⌝p∧⌝q)∨(⌝q∨p)⇔(⌝p∨⌝q∨p)∧(⌝q∨⌝q∨p)⇔⌝q∨p⇔p∨⌝q⇔M1此为公式的主合取范式.该公式的主析取范式是m0∨m2∨m3.公式的成真赋值为00,10,11.公式的成假赋值为01.哈尔滨工程大学试卷考试科目:离散数学(041121,041131-32)考试时间:14:00-16:3012. 求群〈Z 18,⊕18〉的所有生成元和子群,画出〈Z 18,⊕18〉的子群格,指出该子群格的全下界、全上界和有补元,并求其补元. 与18互质的数有1,5,7,11,13,17,因此,1,5,7,11,13,17是群〈Z 18,⊕18〉的生成元.18的因数有1,2,3,6,9,18,因此,群〈Z 18,⊕18〉的子群有 〈1〉=〈Z 18,⊕18〉,〈2〉=〈{0,2,4,6,8,10,12,14,16},⊕18〉, 〈3〉=〈{0,3,6,9,12,15},⊕18〉,〈6〉=〈{0,6,12},⊕18〉, 〈9〉=〈{0,9},⊕18〉,〈18〉=〈{0},⊕18〉. 〈Z 18,⊕18〉的子群格为〈{〈18〉,〈9〉,〈6〉,〈3〉,〈2〉,〈1〉},⊆〉,其哈斯图为 全下界为〈18〉,全上界为〈1〉, 〈18〉’=〈1〉,〈1〉’=〈18〉,〈2〉’=〈9〉,〈9〉’=〈2〉,〈3〉和〈6〉没有补元. 3. 若R 1,R 2均是非空集合A 上的等价关系,那么R 1,R 2的交R 1∩R 2、并R 1∪R 2和复合R 1○ R 2也是A 上的等价关系吗?若是,证明你的结论.R 1∩R 2是A 上的等价关系.事实上, (1) 因R 1,R 2是A 上的自反关系,有I A ⊆R 1,I A ⊆R 2,因此,I A ⊆R 1∩R 2,即R 1∩R 2是A 上的自反关系.(2) 因R 1,R 2是A 上的对称关系,有R 1=R 1-1,R 2=R 2-1,而(R 1∩R 2)-1=R 1-1∩R 2-1=R 1∩R 2,因此,R 1∩R 2是A 上的对称关系.(3) 因R 1,R 2是A 上的传递关系,有R 12⊆R 1,R 22⊆R 2,而(R 1∩R 2)2=(R 1∩R 2)ο(R 1∩R 2)=R 12∩R 22∩R 1οR 2∩R 2οR 1⊆R 12∩R 22⊆R 1∩R 2,因此,R 1∩R 2是A 上的传递关系.4. 设无向连通图G 如下图,求其最小生成树T 及T 的权W (T ),写出G 的对应于T 的基本回路系统和基本割集系统.G 的最小生成树T 如图(以实线表示),权W (T )=11. G 的对应于T 的基本回路系统为{C bd ,C cd ,C de },其中 C bd =bdab ,C cd =cdabc , C de =dead .G 的对应于T 的基本割集系统为{S ab ,S ad ,S ae ,S bc },其中 S ab ={ab ,bd ,cd },S ad ={ad ,bd ,cd ,de }, S ae ={ae ,de },S bc ={bc ,cd }.5. 设〈B,∧,∨,′,0,1〉是布尔代数,a ,b ,c ∈B ,化简公式 (a ∧b )∨(a ∧(b ∧c )’ )∨c .(a ∧b )∨(a ∧(b ∧c )’ )∨c =(a ∧b )∨(a ∧(b’∨c’ ))∨c =(a ∧b )∨((a ∧(b’∨c’ ))∨c ) =(a ∧b )∨((a ∨c )∧(b’ ∨c’ ∨c )) =(a ∧b )∨(a ∨c ) =(a ∨(a ∨c ))∧(b ∨a ∨c ) =(a ∨c )∧(a ∨c ∨b ) =a ∨c〈3〉3四、 证明题(共20分)1. 在自然推理系统中,构造推理证明: 前提:∀x (F (x )∨G (x )) 结论:⌝∀xF (x )→ ∃xG (x )证明:(1) ⌝∀xF (x ) 附加前提引入 (2) ∃x ⌝F (x ) (1)置换 (3) ⌝F (c ) (2)EI 规则 (4) ∀x (F (x )∨G (x )) 前提引入 (5) F (c )∨G (c ) (4)UI 规则(6) G (c )) (3)(5)析取三段论 (7) ∃xG (x ) (6)EG 规则2. 设代数系统〈A ,*〉是独异点,e 是其单位元.若∀a ∈A ,有a *a =e ,证明:〈A ,*〉是Abel 群.证明:由于对∀a ∈A ,有a *a =e ,因此,A 中任意元素a 都有逆元,且a=a -1.又〈A ,*〉是有单位元的独异点,从而〈A ,*〉是群. ∀a ,b ∈A ,有a *b ∈A ,且a=a -1,b=b -1,(a *b )-1=a *b .又(a *b )-1=b -1*a -1=b *a ,因此 a *b =b *a ,即〈A ,*〉是Abel 群.3. 证明:若无向图G 为欧拉图,则G 无桥.证明:(1)假设G 中有桥,不妨设e =(u ,v ) 为其一座桥.这样,从中删去边e =(u ,v )后,所得图G ’一定不连通(G ’至少含有两个连通分支).由于G 为欧拉图,因此它是连通图,且有经过每条边一次且仅一次的回路,这条回路必经过G 的所有顶点.从而存在顶点v 1,v 2,…,v s ,使得uv 1v 2…v s vu 是G 的一条回路.从G 中删去边e =(u ,v )后,所得图G ’仍有从u 到v 的通路uv 1v 2…v s v ,这样G ’仍是连通图.矛盾.因此,G 中一定无桥.(2)由于G 为欧拉图,其每个顶点的度数均为偶数.假设G 中有桥,不妨设e =(u ,v ) 为其一座桥.这样,从中删去边e =(u ,v )后,所得图G ’至少有两个连通分支.而且,顶点u ,v 的度数都是奇数,这与每个连通分支为图矛盾(与握手定理矛盾),因此,G 中一定无桥.五、 应用题(10分)今有a ,b ,c ,d ,e ,f 和g 七人,已知a 会讲英语;b 会讲英语和汉语;c 会讲英语、意大利语和俄语;d 会讲汉语和日语;e 会讲德语和意大利语;f 会讲法语、日语和俄语;g 会讲法语和德语,试问:如何将这七个人安排围坐在一张圆桌上,使得每个人都可和他身边的人交谈.以a ,b ,c ,d ,e ,f 和g 七人为顶点,如果两人有共同语言,连接这两个顶点,以此为边做一个图,如右图.在图中如果能找到一条哈密尔顿回路,则将这七个人安排围坐在一张圆桌上,每个人都可和他身边的人交谈.该回路为abdfgeca .。
6自学考试离散数学试题汇编

全国2006年4月高等教育自学考试离散数学试卷课程代码:02324一、单项选择题<本大题共15小题,每小题1分,共15分)在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。
错选、多选或未选均无分。
1.下列命题公式为重言式的是< )A.p→ (p∨q>B.(p∨┐p>→qC.q∧┐q D.p→┐q2.下列语句中不是..命题的只有< )A.这个语句是假的。
B.1+1=1.0C.飞碟来自地球外的星球。
D.凡石头都可练成金。
3.设p:我很累,q:我去学习,命题:“除非我很累,否则我就去学习”的符号化正确的是A.┐p∧qB.┐p→qC.┐p→┐q D.p→┐q4.下列等价式正确的是< )A.┐)))()((∀(⇔y∀∀∃x)x∃A(x(⇔)Axy∃┐A B.AC.┐)Axxx(xB)(x⇔(∧∀∀∨Ax∀xBx∃⇔∀┐A D.)A(x)(()(())))()(5.在公式)yxQyPz∀∃中变元y是< )P∧→x∃yy()))(,(z()())((,A.自由变元B.约束变元C.既是自由变元,又是约束变元D.既不是自由变元,又不是约束变元6.设A={1,2,3},A上二元关系S={<1,1>,<1,2>,<3,2>,<3,3>},则S是< )A.自反关系B.反自反关系C.对称关系D.传递关系7.设集合X为人的全体,在X上定义关系R、S为R={<a,b|a,b∈X∧a是b的父亲},S={<a,b>|a,b∈X∧a是b的母亲},那么关系{<a,b>|a,b∈x∧a是b的祖母}的表达式为< )A.R S B.R-1 SC.S R D.R S-18.设A是正整数集,R={(x,y>|x,y∈A∧x+3y=12},则R∩({2,3,4,6}×{2,3,4,6}>=< )A.O/B.{<3,3>}C.{<3,3>,<6,2>}D.{<3,3>,<6,2>,<9,1>}9.下列式子不正确的是< )A.(A-B>-C=(A-C>-B B.(A-B>-C=A-(B∪C>C.(A-B>-C=(A-C>-(B-C> D.A-(B∪C>=(A-B>∪ C10.下列命题正确的是< )A.{l,2}⊆{{1,2},{l,2,3},1}B.{1,2}⊆{1,{l,2},{l,2,3},2}C.{1,2}⊆{{1},{2},{1,2}}D.{1,2}∈{1,2,{2},{l,2,3}}11.在下列代数系统中,不是环的只有< )A.<Z,+,*>,其中Z为整数集,+,*分别为整数加法和乘法。
离散数学考试题目及答案

离散数学考试题目及答案一、单项选择题(每题2分,共20分)1. 集合A={1,2,3},集合B={3,4,5},则A∩B的元素个数为:A. 0B. 1C. 2D. 3答案:B2. 函数f: X→Y是一个双射,当且仅当:A. f是单射且满射B. f是单射C. f是满射D. f是双射答案:A3. 命题p: "x是偶数",命题q: "x是3的倍数",下列逻辑运算中,表示"x是6的倍数"的是:A. p∧qB. p∨qC. ¬p∧¬qD. ¬p∨¬q答案:A4. 有向图G中,若存在从顶点u到顶点v的有向路径,则称顶点u可达顶点v。
若G中任意两个顶点都相互可达,则称G为:A. 强连通图B. 弱连通图C. 无向图D. 有向无环图答案:A5. 在二进制数系统中,下列哪个数的值最大?A. 1010B. 1100C. 1110D. 1101答案:C6. 布尔代数中,逻辑或运算符表示为:A. ∧B. ∨C. ¬D. →答案:B7. 有限自动机中,状态q0是初始状态,状态q1是接受状态。
若存在从q0到q1的ε-转移,则该自动机:A. 仅在输入为空时接受B. 仅在输入非空时接受C. 无论输入为何都接受D. 无法确定是否接受答案:C8. 命题逻辑中,若命题p和q都为真,则p∧q的真值是:A. 真B. 假C. 可能为真,也可能为假D. 无法确定答案:A9. 集合{1,2,3}的子集个数为:A. 4B. 6C. 7D. 8答案:D10. 若关系R在集合A上是自反的,则对于A中的任意元素a,有:A. (a,a)∈RB. (a,a)∉RC. (a,a)是R的自反对D. (a,a)不是R的自反对答案:A二、填空题(每题3分,共15分)1. 集合A={1,2,3}的幂集包含__个元素。
答案:82. 若函数f: X→Y是满射,则对于Y中的任意元素y,至少存在X中的一个元素x,使得f(x)=__。
2006年4月全国自考离散数学试题试卷真题及答案(可打印修改)

)
A.G 中各顶点的度数均相等
B.G 中各顶点的度数之和为偶数
C.G 中各顶点的度数均为偶数
D.G 中各顶点的度数均为奇数
15.平面图(如下)的三个面的次数分别是( )
A.11,3,4 B.11,3,5 C.12,3,6 D.10,4,3 二、填空题(本大题共 10 小题,每小题 2 分,共 20 分) 16.求一个公式的主析取或主合取范式的方法,有______________法和______________法。 17.给定谓词合式公式 A,其中一部分公式形式为( x )B(x)或( x)B(x),则量词 , 后面所跟的 x 称为
最小元,极大元,极小元。 四、证明题(本大题共 3 小题,第 31、32 小题各 6 分,第 33 题 8 分,共 20 分) 31.设 M 是偶数集,+和·是数的加、乘运算,证明<M,+,·>是一个环。 32.设 R 是集合 X 上的二元关系,证明 R 是 X 上传递关系当且仅当 R oR R。 33.设 G 是简单平面图,G 有 n 个顶点 m 条边,且 m<30,证明 G 中存在一项点 v,
)
A.自反关系 B.反自反关系
C.对称关系
D.传递关系
7.设集合 X 为人的全体,在 X 上定义关系 R、S 为 R={<a,b|a,b∈X∧a 是 b 的父亲},
S={<a,b>|a,b∈X∧a 是 b 的母亲},那么关系{<a,b>|a,b∈x∧
a 是 b 的祖母}的表达式为(
)
A.R oS
B.R-1 oS
d(v)≤4。 五、应用题(本大题共 2 小题,第 34 题 6 分,第 35 题 9 分,共 15 分) 34.判断下面推理是否正确,并证明你的结论。
06级离散数学期末试题A答案

06级离散数学期末试题A 答案一、计算题(本题共20分,每小题5分)1、设A ={1, 2, 3, 4},A 上的二元关系R 定义如下:R = {<1,2>,<2,2>,<2,4>,<3,4>},求其自反闭包、对称闭包。
解:自反闭包 (){1,2,2,2,2,4,3,4,1,1,3,3,4,4}r R =<><><><><><><>对称闭包 (){1,2,2,2,2,4,3,4,2,1,4,2,4,3}s R =<><><><><><><>2、设N 是自然数集合,定义N 上的二元关系R ={<x , y >|x ∈N ,y ∈N ,x +y 是偶数},求关系 R 的等价类。
解 关系R 的等价类有 [1]R ={1, 3, 5, ……},[0]R ={0, 2, 4, ……}3、设集合{}15,9,5,3=A ,A 上的整除关系{}212121,,,a a A a a a a R 整除∈=,R 是否为A 上的偏序关系?若是,则:(1)画出R 的哈斯图;(2)求A 的极大元和A 的极小元。
解 R 是A 上的偏序关系。
(1)R 的哈斯图:(2)A 的极大元为 9,15;极小元为 3,5。
4、画出五个6阶非同构的无向树解 可能的度数列: (1) 1,1,1,1,1,5 ;(2) 1,1,1,1,2,4 ;(3) 1,1,1,1,3,3 ;(4) 1,1,1,2,2,3 ;(5) 1,1,2,2,2,2二、判断题(本题共15分,每小题5分)1、对给定的集合A={1,2,3,4,5},B={6,7,8,9,10}和f ={<1,8>,<3,9>,<4,10>,<2,6>,<5,9>},判断是否构成能函数f : A →B , 如果能,说明是否为满射、单射、双射的;如果不能,说明理由。
《离散数学》试题及答案

一、填空题1设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B={3} ; ?(A) - ?(B)={3},{1,3},{2,3},{1,2,3}} .2. 设有限集合A, |A| = n, 则|?(A×A)| = 22n.3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是?1= {(a,1), (b,1)}, ?2= {(a,2), (b,2)},?3= {(a,1), (b,2)}, ?4= {(a,2), (b,1)}, 其中双射的是?3, ?4 .4. 已知命题公式G=?(P?Q)∧R,则G的主析取范式是(P∧?Q∧R)5.设G是完全二叉树,G有7个点,其中4个叶点,则G的总度数为12,分枝点数为3.6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A?B={4} ; A?B={1,2,3,4};A-B={1,2} .7.设R是集合A上的等价关系,则R所具有的关系的三个特性是自反性, 对称性传递性.8. 设命题公式G=?(P?(Q?R)),则使公式G为真的解释有(1, 0, 0), (1, 0, 1),(1, 1, 0)9. 设集合A={1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R2 = {(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, 则| |?(A?B)| = .11设A,B,R是三个集合,其中R是实数集,A = {x | -1≤x≤1, x?R}, B = {x | 0≤x < 2, x?R},则A-B = -1<=x<0 , 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)} .14. 设一阶逻辑公式G = ?xP(x)??xQ(x),则G的前束范式是?x(?P(x)∨Q(x)) .15.设G是具有8个顶点的树,则G中增加21 条边才能把G变成完全图。
大学《离散数学》期末考试试卷及答案 (6)

《离散数学》试卷 共3页第1页安徽大学2005-2006学年第一学期 《离散数学》期末考试试卷(A 卷)(时间120分钟)年级 院系专业 姓名 学号 座位号一、选择题(每小题2分,共20分)1.下列语句中哪个是真命题? ( C )A .我正在说谎。
B .严禁吸烟。
C .如果521=+,那么雪是黑的。
D .如果321=+,那么雪是黑的。
2.命题公式R Q P ∧→的对偶式为: ( A ) A .)(R Q P ∨→ B .)(R Q P ∨∧⌝ C .)(R Q P ∧∨⌝ D .)(R Q P ∨∧3.命题公式R Q P →∧⌝)(的主析取范式中含极小项的个数为: ( C ) A .0 B .3 C .5 D .8 4.谓词公式(,)x yP x y ∀∃的否定式是:( B ) A .(,)x y P x y ∀∀⌝ B .(,)x y P x y ∃∀⌝C .(,)x y P x y ∀∃⌝D .(,)x y P x y ∃∃⌝ 5.下列命题中,假命题的是: ( D )A .}}{{}{x x x ∈B .}}{{}{}{x x x -⊆C .若x x A }{=,则A x ∈且A x ⊆D .φ=-B A ⇔B A = 6.设集合A 上有n 个元素,则A 上的既对称又反对称的二元关系共有( D ) A .0个 B .2n 个 C .2n 个 D .2n个7.下列},,{c b a X =上的关系式中,不具有传递性质的是: ( B ) A .},{1><=b a R B .},,,{2><><=c a b a R C .},,,{3><><=a a b a R D .},,,{4><><=c b b a R8.设}2,1,0{=A ,},{b a B =,则从A 到B 的全函数有多少个? ( A ) A .32+个 B .32个 C .32⨯个 D .23个9.I 是整数集合,函数f 定义为:I I →,x x x f 2)(-=,则f 是: ( ) A .单射 B .满射 C .双射 D .非单射也非满射 10.下列无限集合中,哪个集合的基数不等于c 。
《离散数学》试题及答案

一、填空题1设集合A,B,其中A={1,2,3}, B= {1,2}, 则A — B={3} ;ρ(A)—ρ(B)={3},{1,3},{2,3},{1,2,3}}.2n。
2。
设有限集合A,|A|= n,则|ρ(A×A)|= 23。
设集合A = {a, b},B = {1, 2},则从A到B的所有映射是α1= {(a,1),(b,1)},α2= {(a,2),(b,2)},α3= {(a,1), (b,2)},α4= {(a,2),(b,1)},其中双射的是α3, α4 。
4. 已知命题公式G=⌝(P→Q)∧R,则G的主析取范式是(P∧⌝Q∧R)5。
设G是完全二叉树,G有7个点,其中4个叶点,则G的总度数为12,分枝点数为3。
6设A、B为两个集合,A= {1,2,4}, B = {3,4}, 则从A⋂B={4} ; A⋃B={1,2,3,4};A-B={1,2} .7.设R是集合A上的等价关系,则R所具有的关系的三个特性是自反性,对称性传递性。
8. 设命题公式G=⌝(P→(Q∧R)),则使公式G为真的解释有(1, 0, 0), (1, 0,1),(1,1,0)9。
设集合A={1,2,3,4},A上的关系R1 = {(1,4),(2,3),(3,2)}, R2 = {(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,则||ρ(A⨯B)| = .11设A,B,R是三个集合,其中R是实数集,A = {x |-1≤x≤1, x∈R}, B = {x |0≤x 〈2,x∈R},则A—B = -1〈=x〈0 , B-A = {x | 1 〈x < 2,x∈R},A∩B ={x |0≤x≤1, x∈R}, 。
离散数学试题及答案

离散数学试题及答案一、选择题1. 下列哪个是由离散数学的基本概念组成的?A. 集合论和函数论B. 图论和逻辑C. 运算符和关系D. 全数论和数论答案:B2. 下列哪个是离散数学的一个应用领域?A. 数据结构和算法分析B. 微积分和线性代数C. 概率论和统计学D. 数值分析和微分方程答案:A3. 集合A={1, 2, 3},集合B={2, 3, 4},则A交B的结果是:A. {1, 2, 3, 4}B. {2, 3}C. {2}D. {1}答案:B4. 下列哪个是对于集合的补集运算的正确描述?A. A∪A' = ∅B. A∩A' = ∅C. A - A' = AD. A'∩B' = (A∪B)'答案:B5. 若命题p为真,命题q为假,则命题p→q的真值为:A. 真B. 假C. 不确定D. 无法确定答案:B二、填空题1. 对于命题“如果x是偶数,则x能被2整除”,其逆命题为________________。
答案:如果x不能被2整除,则x不是偶数。
2. 在一个完全图中,如果有12条边,则这个图有__________个顶点。
答案:6个顶点。
3. 设集合A={1, 2, 3, 4},则A的幂集的元素个数是__________。
答案:2^4=16个元素。
4. 设关系R={(-1, 0), (0, 1), (1, 0)},则R的逆关系是__________。
答案:R^(-1)={(0, -1), (1, 0), (0, 1)}。
5. 若集合A={1, 2, 3},集合B={2, 3, 4},则A的笛卡尔积B是__________。
答案:A×B={(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}。
三、计算题1. 求集合A={1, 2, 3}和集合B={2, 3, 4}的并集。
2006离散数学a(答案)

离散数学(A 卷)闭卷、70学时一、 填空选择题 (每空1分,共26分)1、给定命题公式如下:)(r q p ⌝∧∨。
该公式的成真赋值为公式的类型为供选择的答案A :①无;②全体赋值;③010,100,101,111;④010,100,101,110,111。
B :①无;②全体赋值;③000,001,011;④000,010,110。
C :①重言式;②矛盾式;③可满足式。
2、在公式),()()),()()(y x R y y x Q y P x ∀∧→∃(中,x ∃的辖域是 P(z)→Q(x,z) ,y ∀的辖域是 R(x,z) 。
3、设Z +={x ∣x ∈Z ∧X>0},π1, π2,π3是Z +的3个划分。
π1={{x}∣x ∈Z +},π2={S 1,S 2},S 1为素数集,S 2=Z +-S 1.π3={Z +}, (1)3个划分块中最多的是最少的是(2)划分π1对应的是Z +上的π2对应的是Z +上的π3对应的是Z+上的供选择的答案A:( ①),B:( ③ ) ①π1, ②π2,③π3. C:( ⑧),D:( ⑨ ),E:( ⑤ )④整除关系;⑤全域关系;⑥包含关系;⑦小于等于关系;⑧恒等关系;⑨含有两个等价类的等价关系;⑩以上关系都不是。
4、设f :R →R,323{)(2<-≥=x x x f x g :R →R,g(x)=x+2, 则f °g(x)为 121{)()2(2<-≥=+x x x f x ,g °f(x)为 3032{)(2<≥+=x x x fx ,g °f :R →R 是f ,g -1供选择的答案A ;①单射不满射;②满射不单射;③不单射也不满射;④双射;B :(①),C :( ②):①不是反函数;②是反函数;5、①设G={0,1,2,3},若⊙为模4乘法,则<G ,⊙>构成②若⊕为模4加法,则<G ,⊕>是阶群,且是。
2006年4月全国自考离散数学试题试卷真题及答案

1全国2006年4月高等教育自学考试一、单项选择题(本大题共15小题,每小题1分,共15分)1.下列命题公式为重言式的是( )A .p → (p ∨q)B .(p ∨┐p)→qC .q ∧┐qD .p →┐q2.下列语句中不是..命题的只有( ) A .这个语句是假的。
B .1+1=1.0C .飞碟来自地球外的星球。
D .凡石头都可练成金。
3.设p :我很累,q :我去学习,命题:“除非我很累,否则我就去学习”的符号化正确的是( )A .┐p ∧qB .┐p →qC .┐p →┐qD .p →┐q4.下列等价式正确的是( )A .┐)()(x A x ∃⇔∃┐AB .A y x A y x ))(())((∀∃⇔∀∀C .┐)()(x A x ∃⇔∀┐AD .)()()()())()()((x B x x A x x B x A x ∀∨∀⇔∧∀5.在公式),()())(),()()((z y P y z Q y x P y x ∃→∧∀∃中变元y 是( )A .自由变元B .约束变元C .既是自由变元,又是约束变元D .既不是自由变元,又不是约束变元6.设A={1,2,3},A 上二元关系S={<1,1>,<1,2>,<3,2>,<3,3>},则S 是( )A .自反关系B .反自反关系C .对称关系D .传递关系7.设集合X 为人的全体,在X 上定义关系R 、S 为R={<a ,b|a ,b ∈X ∧a 是b 的父亲},S={<a ,b>|a ,b∈X ∧a 是b 的母亲},那么关系{<a ,b>|a ,b ∈x ∧ a 是b 的祖母}的表达式为( )A .R SB .R -1 SC .S RD .R S -18.设A 是正整数集,R={(x ,y)|x ,y ∈A ∧x+3y=12},则R ∩ ({2,3,4,6}×{2,3,4,6})=( )A . O /B .{<3,3>}C .{<3,3>,<6,2>}D .{<3,3>,<6,2>,<9,1>}9.下列式子不正确的是( )A .(A-B)-C=(A-C)-BB .(A-B)-C=A-(B ∪C)C .(A-B)-C=(A-C)-(B-C)D .A-(B ∪C)=(A-B)∪ C 10.下列命题正确的是( )A .{l ,2}⊆{{1,2},{l ,2,3},1}B .{1,2}⊆{1,{l ,2},{l ,2,3},2}C .{1,2}⊆{{1},{2},{1,2}}D .{1,2}∈{1,2,{2},{l ,2,3}}11.在下列代数系统中,不是环的只有( )A .<Z ,+,*),其中Z 为整数集,+,*分别为整数加法和乘法。
《离散数学》试题及答案

《离散数学》试题及答案一、填空题1 设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B=____________________; (B)=__________________________ .2. 设有限集合A, |A| = n, 则| (A×A)| = __________________________.3. 设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是__________________________ _____________, 其中双射的是__________________________.4. 已知命题公式G=(P Q)∧R,则G的主析取范式是_________________________________________________________________________________________.6 设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A B=_________________________; A B=_________________________;A-B=_____________________ .7. 设R是集合A上的等价关系,则R所具有的关系的三个特性是______________________, ________________________,_______________________________.8. 设命题公式G=(P (Q R)),则使公式G为真的解释有__________________________,_____________________________,__________________________.9. 设集合A={1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R2 = {(2,1),(3,2),(4,3)}, 则R1 R2 = ________________________,R2 R1 =____________________________, R12 =________________________.(A) -10. 设有限集A, B,|A| = m, |B| = n, 则| | (A B)| =_____________________________. 11 设A,B,R是三个集合,其中R是实数集,A = {x | -1≤x≤1, x R}, B = {x | 0≤x 2, x R},则A-B =__________________________ , B-A = __________________________ , A∩B =__________________________ , .13. 设集合A={2, 3, 4, 5, 6},R是A上的整除,则R以集合形式(列举法)记为__________________________________________________________________.14. 设一阶逻辑公式G = xP(x) xQ(x),则G的前束范式是__________________________ _____.16. 设谓词的定义域为{a, b},将表达式xR(x)→ xS(x)中量词消除,写成与之对应的命题公式是__________________________________________________________________________.17. 设集合A={1, 2, 3, 4},A上的二元关系R={(1,1),(1,2),(2,3)}, S={(1,3),(2,3),(3,2)}。
(完整版)《离散数学》试题及答案解析,推荐文档

则在解释 I 下取真值为 1 的公式是( ).
(A)xyP(x,y) (B)xyP(x,y) (C)xP(x,x) (D)xyP(x,y). 6. 若供选择答案中的数值表示一个简单图中各个顶点的度,能画出图的是( ).
(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),则一阶逻辑公式
(A)下界 (B)上界 (C)最小上界
(D)以上答案都不对
6
4 下列语句中,( )是命题。
5
(A)请把门关上 (B)地球外的星球上也有人 (C)x + 5 > 6 (D)下午有会吗?
3
4
2
5 设 I 是如下一个解释:D={a,b}, P(a, a) P(a, b) P(b, a) P(b, b)
1
1010
AB=_________________________;A-B= _____________________ . 7. 设 R 是集合 A 上的等价关系,则 R 所具有的关系的三个特性是______________________,
________________________, _______________________________. 8. 设命题公式 G=(P(QR)),则使公式 G 为真的解释有
(1)
1
4
2
3
1 0 0 0
(2)
MR
1 1
1 1
0 1
0 0
1 1 1 1
3. (1)•=((x))=(x)+3=2x+3=2x+3.
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
一、填空题(每小题3分,共15分)
1.设F(x):x是苹果,H(x,y):x与y完全相同,L(x,y):x=y,
则命题“没有完全相同的苹果”的符号化(利用全称量词)为∀x∀y(F(x)∧F(y)∧⌝L(x,y)→⌝H(x,y)).
2.命题“设L是有补格,在L中求补元运算‘′’是L中的一元
运算”的真值是0.
3.设G={e,a,b,c}是Klein四元群,H=〈a〉是G的子群,则商
群G/H={〈a〉,{b,c}}={{e,a},{b,c}}.
4.设群G=〈P({a,b,c}),⊕〉,其中⊕为集合的对称差运算,则
由集合{a,b}生成的子群〈{a,b}〉 ={∅,{a,b}}.
5.已知n阶无向简单图G有m条边,则G的补图有n(n-1)/2-m
条边.
二、选择题(每小题3分,共15分)
1.命题“只要别人有困难(p),小王就会帮助他(q),除非困难已
经解决了(r)”的符号化为【B】A.⌝(p∧r)→q.B.(⌝r∧p)→q.
C.⌝r→(p∧q).D.⌝r→(q→ p).
2.设N为自然数集合,“≤”为通常意义上的小于等于关系,则
偏序集〈N,≤〉是【C】
A.有界格.B.有补格.
C.分配格.D.布尔代数.
3.设n (n≥3) 阶无向图G=〈V,E〉是哈密尔顿图,则下列结论中
不成立的是【D】A.∀V1⊂V,p(G-V1)≤|V1|.B.|E|≥n.
C.无1度顶点.D.δ(G)≥n/2.
4.设A={a,b,c},在A上可以定义个二元运算,其
中有个是可交换的,有个是幂等的.【A】A.39,36,36.B.39,36,33.
C.36,36,33.D.39,36,39.
5.下列图中是欧拉图的有【C】
A.K4,3.B.K6.
C.K5.D.K3,3.
三、计算与简答题(每小题8分,共40分)
1.利用等值演算方法求命题公式(p∨q) → (q→p)的主合取范式;
利用该主合取范式求公式的主析取范式,并指出该公式的成真赋值和成假赋值.
(p∨q) → (q→p)
⇔⌝(p∨q)∨(⌝q∨p)
⇔(⌝p∧⌝q)∨(⌝q∨p)
⇔(⌝p∨⌝q∨p)∧(⌝q∨⌝q∨p)
⇔⌝q∨p⇔p∨⌝q
⇔M1
此为公式的主合取范式.
该公式的主析取范式是m0∨m2∨m3.
公式的成真赋值为00,10,11.
公式的成假赋值为01.
哈尔滨工程大学试卷
考试科目:离散数学(041121,041131-32)
考试时间:14:00-16:30
1
2. 求群〈Z 18,⊕18〉的所有生成元和子群,画出〈Z 18,⊕18〉的子群格,指出该子群格的全下界、全上界和有补元,并求其补元. 与18互质的数有1,5,7,11,13,17,因此,1,5,7,11,13,17是群〈Z 18,⊕18〉的生成元.
18的因数有1,2,3,6,9,18,因此,群〈Z 18,⊕18〉的子群有 〈1〉=〈Z 18,⊕18〉,
〈2〉=〈{0,2,4,6,8,10,12,14,16},⊕18〉, 〈3〉=〈{0,3,6,9,12,15},⊕18〉,
〈6〉=〈{0,6,12},⊕18〉, 〈9〉=〈{0,9},⊕18〉,
〈18〉=〈{0},⊕18〉. 〈Z 18,⊕18〉的子群格为〈{〈18〉,〈9〉,〈6〉,〈3〉,〈2〉,〈1〉},⊆〉,其哈斯图为 全下界为〈18〉,全上界为〈1〉, 〈18〉’=〈1〉,〈1〉’=〈18〉,
〈2〉’=〈9〉,〈9〉’=〈2〉,〈3〉和〈6〉没有补元. 3. 若R 1,R 2均是非空集合A 上的等价关系,那么R 1,R 2的交R 1∩R 2、并R 1∪R 2和复合R 1○ R 2也是A 上的等价关系吗?若是,证明你的结论.
R 1∩R 2是A 上的等价关系.事实上, (1) 因R 1,R 2是A 上的自反关系,有I A ⊆R 1,I A ⊆R 2,因此,I A ⊆R 1
∩R 2,即R 1∩R 2是A 上的自反关系.
(2) 因R 1,R 2是A 上的对称关系,有R 1=R 1-1,R 2=R 2-1,而(R 1
∩R 2)-1=R 1-1∩R 2-1=R 1∩R 2,因此,R 1∩R 2是A 上的对称关系.
(3) 因R 1,R 2是A 上的传递关系,有R 12⊆R 1,R 22⊆R 2,而(R 1∩
R 2)2=(R 1∩R 2)ο(R 1∩R 2)=R 12∩R 22∩R 1οR 2∩R 2οR 1⊆R 12∩R 22⊆R 1∩R 2,因此,R 1∩R 2是A 上的传递关系.
4. 设无向连通图G 如下图,求其最小生成树T 及T 的权W (T ),写出G 的对应于T 的基本回
路系统和基本割集系统.
G 的最小生成树T 如图(以实
线表示),权W (T )=11. G 的对应于T 的基本回路系统为{C bd ,C cd ,C de },其中 C bd =bdab ,C cd =cdabc , C de =dead .
G 的对应于T 的基本割集系统为{S ab ,S ad ,S ae ,S bc },其中 S ab ={ab ,bd ,cd },S ad ={ad ,bd ,cd ,de }, S ae ={ae ,de },S bc ={bc ,cd }.
5. 设〈B,∧,∨,′,0,1〉是布尔代数,a ,b ,c ∈B ,化简公式 (a ∧b )∨(a ∧(b ∧c )’ )∨c .
(a ∧b )∨(a ∧(b ∧c )’ )∨c =(a ∧b )∨(a ∧(b’∨c’ ))∨c =(a ∧b )∨((a ∧(b’∨c’ ))∨c ) =(a ∧b )∨((a ∨c )∧(b’ ∨c’ ∨c )) =(a ∧b )∨(a ∨c ) =(a ∨(a ∨c ))∧(b ∨a ∨c ) =(a ∨c )∧(a ∨c ∨b ) =a ∨c
〈3〉
3
四、 证明题(共20分)
1. 在自然推理系统中,构造推理证明: 前提:∀x (F (x )∨G (x )) 结论:⌝∀xF (x )→ ∃xG (x )
证明:
(1) ⌝∀xF (x ) 附加前提引入 (2) ∃x ⌝F (x ) (1)置换 (3) ⌝F (c ) (2)EI 规则 (4) ∀x (F (x )∨G (x )) 前提引入 (5) F (c )∨G (c ) (4)UI 规则
(6) G (c )) (3)(5)析取三段论 (7) ∃xG (x ) (6)EG 规则
2. 设代数系统〈A ,*〉是独异点,e 是其单位元.若∀a ∈A ,有a *a =e ,证明:〈A ,*〉是Abel 群.
证明:由于对∀a ∈A ,有a *a =e ,因此,A 中任意元素a 都有逆元,且a=a -1.又〈A ,*〉是有单位元的独异点,从而〈A ,*〉是群. ∀a ,b ∈A ,有a *b ∈A ,且a=a -1,b=b -1,(a *b )-1=a *b .又
(a *b )-1=b -1*a -1=b *a ,
因此 a *b =b *a ,即〈A ,*〉是Abel 群.
3. 证明:若无向图G 为欧拉图,则G 无桥.
证明:(1)假设G 中有桥,不妨设e =(u ,v ) 为其一座桥.这样,从中删去边e =(u ,v )后,所得图G ’一定不连通(G ’至少含有两个连通分支).
由于G 为欧拉图,因此它是连通图,且有经过每条边一次且仅一次的回路,这条回路必经过G 的所有顶点.从而存在顶点v 1,v 2,…,v s ,使得uv 1v 2…v s vu 是G 的一条回路.从G 中删去边e =(u ,v )后,所得图G ’仍有从u 到v 的通路uv 1v 2…v s v ,这样G ’仍是连通图.矛盾.
因此,G 中一定无桥.
(2)由于G 为欧拉图,其每个顶点的度数均为偶数.假设G 中有桥,不妨设e =(u ,v ) 为其一座桥.这样,从中删去边e =(u ,v )后,所得图G ’至少有两个连通分支.而且,顶点u ,v 的度数都是奇数,这与每个连通分支为图矛盾(与握手定理矛盾),因此,G 中一定无桥.
五、 应用题(10分)
今有a ,b ,c ,d ,e ,f 和g 七人,已知a 会讲英语;b 会讲英语和汉语;c 会讲英语、意大利语和俄语;d 会讲汉语和日语;e 会讲德语和意大利语;f 会讲法语、日语和俄语;g 会讲法语和德语,试问:如何将这七个人安排围坐在一张圆桌上,使得每个人都可和他身边的人交谈.
以a ,b ,c ,d ,e ,f 和g 七人为
顶点,如果两人有共同语言,连接这两个顶点,以此为边做一个图,如右图.
在图中如果能找到一条哈密尔
顿回路,则将这七个人安排围坐在一张圆桌上,每个人都可和他身边的人交谈.该回路为abdfgeca .。