离散数学作业7答案(数理逻辑部分)
离散数学第七章部分答案
列各组数中,那些能构成无向图的度数列?那些能构成无向简单图的度数列?(1)1,1,1,2,3(2)2,2,2,2,2(3)3,3,3,3(4)1,2,3,4,5(5)1,3,3,3解答:(1),(2),(3),(5)能构成无向图的度数列。
(1),(2),(3)能构成五项简单图的度数列。
设有向简单图D 的度数列为2,2,3,3,入度列为0,0,2,3,试求D 的出度列。
解:因为 出度=度数-入度,所以出度列为2,2,1,0。
设D 是4阶有向简单图,度数列为3,3,3,3。
它的入度列(或出度列)能为1,1, 1,1吗?解:由定理可知,有向图的总入度=总出度。
该有向图的总入度=1+1+1+1=4,总出度=2+2+2+2=8,4!=8,所以它的出度列(或入度列)不能为1,1,1,1。
35条边,每个顶点的度数至少为3的图最多有几个顶点?解:根据握手定理,所有顶点的度数之和为70,假设每个顶点的度数都为3,则 n 为小于等于370的最大整数,即:23 ∴ 最多有23个顶点7.7 设n 阶无向简单图G 中,δ(G )=n-1,问△(G )应为多少?解: 假设n 阶简单图图n 阶无向完全图,在K n 共有2)1(-n n 条边,各个顶点度数之和为n (n-1)∴每个顶点的度数为nn n )1(-=n-1 ∴△(G )=δ(G )=n-1一个n (n ≥2)阶无向简单图G中,n 为奇数,有r 个奇度数顶点,问G的补图G 中有几个奇度顶点?解:在K n 图中,每个顶点的度均为(n-1),n 为奇数,在G中度为奇数的顶点在G 中仍然为奇数,∴共有r 个奇度顶点在G 中7.9 设D是n 阶有向简单图,D’是D的子图,已知D’的边数m ’=n (n-1),问D的边数m 为多少?解: 在D’中m ’=n (n-1) 可见D’为有个n 阶有向完全图,则D=D’ 即D’就是D本身,∴m=n (n-1)有向图D 入图所示。
求D 中长度为4 的通路总数,并指出其中有多少条是回路?又有几条是V3到V4的通路?答: D中长度为四的通路总数:15其中有3条是回路2条是V3到V4的通路评语:此题的结果是对的,但是应该写出求解过程,即:先写出邻接矩阵A,然后求A的四次幂,通过矩阵指出通路或回路的条数。
离散数学形考任务1-7试题及答案完整版
包为 {<1,1>,<2,2>}
.
9.设 R 是集合 A 上的等价关系,且 1 , 2 , 3 是 A 中的元素,则 R 中至少包含
<1,1>,<2,2>,<3,3>等元素.
10.设集合 A={1, 2} ,B={ a, b} ,那么集合 A 到 B 的双射函数是 {<1, a >, <2, b >}
解答:学习计划
学习离散数学任务目标:
其一是通过学习离散数学,使学生了解和掌握在后续课程中要直接用到的一些数学概念和 基本原理,掌握计算机中常用的科学论证方法,为后续课程的学习奠定一个良好的数学基 础; 其二是在离散数学的学习过程中,培养自学能力、抽象思维能力和逻辑推理能力,解决实 际问题的能力,以提高专业理论水平。 其三是初步掌握处理离散结构所必须的描述工具和方法 离散数学的主要内容: 第一章节:主要介绍集合及其运算 第二章节:主要介绍关系与函数 第三章节:主要介绍图的基本概念及性质 第四章节:主要介绍几种特殊图 第五章节:主要介绍树及其应用 第六章节:主要介绍命题逻辑 第七章节:主要介绍谓词逻辑 离散数学的考核方式分为:了解、理解和掌握。
题干
标记题目
如果 R1 和 R2 是 A 上的自反关系,则 R1∪R2,R1∩R2,R1-R2 中自反关系有( B ) 个
选择一项:
A. 0
B. 2
C. 1
D. 3
题目 6
答案已保存 满分 10.00
题干
标记题目
设 A={1, 2, 3, 4, 5, 6, 7, 8} , R 是 A 上的整除关系, B={2, 4, 6} ,则集合 B 的最
2017 年 11 月上交的离散数学形考任务一
最新离散数学作业7答案
离散数学数理逻辑部分形成性考核书面作业本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。
本次形考书面作业是第三次作业,大家要认真及时地完成数理逻辑部分的综合练习作业。
要求:将此作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,要求本学期第17周末前完成并上交任课教师(不收电子稿)。
并在07任务界面下方点击“保存”和“交卷”按钮,以便教师评分。
一、填空题1.命题公式()→∨的真值是1或T .P Q P2.设P:他生病了,Q:他出差了.R:我同意他不参加学习.则命题“如果他生病或出差了,我就同意他不参加学习”符号化的结果为(P∨Q)→R .3.含有三个命题变项P,Q,R的命题公式P∧Q的主析取范式是(P∧Q∧R)∨(P∧Q∧⌝R).4.设P(x):x是人,Q(x):x去上课,则命题“有人去上课.”可符号化为∃x(P(x) ∧Q(x)) .5.设个体域D={a, b},那么谓词公式)∨∃消去量词后的等值式为xA∀yB()(yx(A(a)∨A(b))∨((B(a)∧B(b)) .6.设个体域D={1, 2, 3},A(x)为“x大于3”,则谓词公式(∃x)A(x) 的真值为0(F) .7.谓词命题公式(∀x)((A(x)∧B(x)) ∨C(y))中的自由变元为y .8.谓词命题公式(∀x)(P(x) →Q(x) ∨R(x,y))中的约束变元为x .三、公式翻译题1.请将语句“今天是天晴”翻译成命题公式.设P:今天是晴天。
则P2.请将语句“小王去旅游,小李也去旅游.”翻译成命题公式.设P:小王去旅游。
Q:小李去旅游。
则P∧Q3.请将语句“如果明天天下雪,那么我就去滑雪”翻译成命题公式.设P:明天下雪。
《离散数学》题库及标准答案
《离散数学》题库及标准答案《离散数学》题库及答案————————————————————————————————作者:————————————————————————————————日期:《离散数学》题库与答案一、选择或填空(数理逻辑部分)1、下列哪些公式为永真蕴含式?( )(1)?Q=>Q→P (2)?Q=>P→Q (3)P=>P→Q (4)?P∧(P∨Q)=>?P答:在第三章里面有公式(1)是附加律,(4)可以由第二章的蕴含等值式求出(注意与吸收律区别)2、下列公式中哪些是永真式?( )(1)(┐P∧Q)→(Q→?R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q)答:(2),(3),(4)可用蕴含等值式证明3、设有下列公式,请问哪几个是永真蕴涵式?( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ?(P→Q)=>P (6) ?P∧(P∨Q)=>?P答:(2)是第三章的化简律,(3)类似附加律,(4)是假言推理,(3),(5),(6)都可以用蕴含等值式来证明出是永真蕴含式4、公式?x((A(x)→B(y,x))∧?z C(y,z))→D(x)中,自由变元是( ),约束变元是( )。
答:x,y, x,z(考察定义在公式?x A和?x A中,称x为指导变元,A为量词的辖域。
在?x A和?x A的辖域中,x的所有出现都称为约束出现,即称x为约束变元,A中不是约束出现的其他变项则称为自由变元。
于是A(x)、B(y,x)和?z C(y,z)中y为自由变元,x和z为约束变元,在D(x)中x为自由变元)5、判断下列语句是不是命题。
若是,给出命题的真值。
( )(1)北京是中华人民共和国的首都。
(2) 陕西师大是一座工厂。
(3) 你喜欢唱歌吗? (4) 若7+8>18,则三角形有4条边。
《离散数学》复习题及答案
页眉内容《离散数学》试题及答案一、选择或填空(数理逻辑部分)1、下列哪些公式为永真蕴含式?( )(1)⌝Q=>Q→P (2)⌝Q=>P→Q (3)P=>P→Q (4)⌝P∧(P∨Q)=>⌝P答:(1),(4)2、下列公式中哪些是永真式?( )(1)(┐P∧Q)→(Q→⌝R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q)答:(2),(3),(4)3、设有下列公式,请问哪几个是永真蕴涵式?( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ⌝(P→Q)=>P (6) ⌝P∧(P∨Q)=>⌝P答:(2),(3),(4),(5),(6)4、公式∀x((A(x)→B(y,x))∧∃z C(y,z))→D(x)中,自由变元是( ),约束变元是( )。
答:x,y, x,z5、判断下列语句是不是命题。
若是,给出命题的真值。
( )(1)北京是中华人民共和国的首都。
(2) 陕西师大是一座工厂。
(3) 你喜欢唱歌吗? (4) 若7+8>18,则三角形有4条边。
(5) 前进! (6) 给我一杯水吧!答:(1)是,T (2)是,F (3)不是(4)是,T (5)不是(6)不是6、命题“存在一些人是大学生”的否定是( ),而命题“所有的人都是要死的”的否定是( )。
答:所有人都不是大学生,有些人不会死7、设P:我生病,Q:我去学校,则下列命题可符号化为( )。
(1) 只有在生病时,我才不去学校 (2) 若我生病,则我不去学校(3) 当且仅当我生病时,我才不去学校(4) 若我不生病,则我一定去学校答:(1)PP⌝P→⌝↔(4)QQ→⌝(2)QP⌝→(3)Q8、设个体域为整数集,则下列公式的意义是( )。
(1) ∀x∃y(x+y=0) (2) ∃y∀x(x+y=0)答:(1)对任一整数x存在整数 y满足x+y=0(2)存在整数y对任一整数x满足x+y=0 9、设全体域D是正整数集合,确定下列命题的真值:(1) ∀x∃y (xy=y) ( ) (2) ∃x∀y(x+y=y) ( )(3) ∃x∀y(x+y=x) ( ) (4) ∀x∃y(y=2x) ( )答:(1) F (2) F (3)F (4)T10、设谓词P(x):x是奇数,Q(x):x是偶数,谓词公式∃x(P(x)∨Q(x))在哪个个体域中为真?( )(1) 自然数(2) 实数 (3) 复数(4) (1)--(3)均成立答:(1)11、命题“2是偶数或-3是负数”的否定是()。
离散数学及其应用数理逻辑部分课后习题答案
作业答案:数理逻辑部分P14:习题一1、下列句子中,哪些是命题?在是命题的句子中,哪些是简单命题?哪些是真命题?哪些命题的真值现在还不知道?(3 答:简单命题,真命题。
(9)吸烟请到吸烟室去! 答:不是命题。
(12)8是偶数的充分必要条件是8能被3整除。
答:复合命题,假命题。
14、讲下列命题符号化。
(6)王强与刘威都学过法语。
答::p 王强学过法语;:q 刘威学过法语。
符号化为:p q ∧(10)除非天下大雨,他就乘班车上班。
答::p 天下大雨;:q 他乘班车上班。
符号化为:p q →(13)“2或4是素数,这是不对的”是不对的。
答::p 2是素数;:q 4是素数。
符号化为:(())p q ⌝⌝∨15、设:p 2+3=5.:q 大熊猫产在中国。
:r 太阳从西方升起。
求下列复合命题的真值。
(2)(())r p q p →∧↔⌝(4)()(())p q r p q r ∧∧⌝↔⌝∨⌝→ 解答: p 真值为1;q 真值为1;r 真值为0.(2)p q ∧真值为1;()r p q →∧真值为1;p ⌝真值为0;所以(())r p q p →∧↔⌝真值为0.(4)p q r ∧∧⌝真值为1,p q ⌝∨⌝真值为0,()p q r ⌝∨⌝→真值为1;所以()(())p q r p q r ∧∧⌝↔⌝∨⌝→真值为1. 19、用真值表判断下列公式的类型。
(4)()()p q q p →→⌝→⌝所以为重言式。
)s所以为可满足式。
P36:习题二3、用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出其成真赋值。
(1)()p q q ⌝∧→ 解答:所以为永假式。
(2)(())()p p q p r →∨∨→ 解答:所以因为永真式。
(3)()()p q p r ∨→∧解答:为可满足式。
真值表为4、用等值演算法证明下面的等值式。
(2)(()())(())p q p r p q r →∧→⇔→∧ 解答:(4)()()()()p q p q p q p q ∧⌝∨⌝∧⇔∨∧⌝∨ 解答:5、求下列公式的主析取范式,并求它们的成真赋值。
离散数学课后习题答案第七章
第七章 特 殊 图 类习题7.11.解 因 m=n-1,这里m=6,所以n=6+1=7.2.解 不正确。
与平凡图构成的非连通图中有4个结点3条边,但是它不是树。
3K 3.证明 必要性。
因为G 中有n 个结点,边数m=n-1,又因为G 是连通的,由本节定理1可知,G 为树,因而G 中无回路。
再证充分性。
因为G 中无回路,又因为边数m=n-1,由本节定理1,可知G 为树,所以G 是连通的。
4.解 因 m=n-r,这里n=15,r=3,所以m=15-3=12,即G 有12条边。
5.解6个结点的所有不同构的树如图7-1所示。
图7-16.证明 由定理1,在任意的树中,边数),(m n 1−=n m;所以,由握手定理得)1(22)(1−==∑=n m v d ni i①⑴若T 没有树叶,则由于T 是连通图,所以T 中任一结点均有,从而2)(≥i v d n v d ni i2)(1≥∑= ②则①与②矛盾。
⑵若树T 仅有1片树叶,则其余1−n个结点的度数不小于2,于是121)1(2)(1−=+−≥∑=n n v d ni i③从而①、③相矛盾。
综合⑴,⑵得知T 中至少有两片树叶。
7.解 图7-2⑴中共有两棵非同构的生成树(如图7-3⑴,⑵)。
图7-2⑵中共有3棵非同构的生成树(如图7-3⑶,⑷,⑸)。
⑵⑴⑶⑷ ⑸图7-38.解 在图7-4中共有8棵生成树,如图7-5⑴~⑻所示,第i 生成树用表示。
,,,)8,,2,1( =iT i 7)(8=T W 8)()(61==T W T W 6)()(52==T W T W )()(73==T W T W 9)(4=T W 。
其中T 2,T 5是图中的最小生成树。
9.解 最小生成树T 如图7-7所示,W (T )=18。
a bc da b cda ba bcdabc d⑴⑵⑶⑷⑸⑹⑺ ⑻图7-5图7-4图7-6图7-7习题7.21.解 不一定是。
如图7-8就不是根树.2.解 五个结点可形成3棵非同构的无向树,如图7-9⑴,⑵,⑶所示。
离散数学左孝凌第七章答案
离散数学左孝凌第七章答案离散数学左孝凌第七章答案【篇一:离散数学(左孝凌)课后习题解答(详细)】11. 下列句子中,哪些是命题?哪些不是命题?如果是命题,指出它的真值。
⑴中国有四大发明。
⑵计算机有空吗?⑶不存在最大素数。
⑷ 21+3<5。
⑸老王是山东人或河北人。
⑹ 2与3都是偶数。
⑺小李在宿舍里。
⑻这朵玫瑰花多美丽呀!⑼请勿随地吐痰!⑽圆的面积等于半径的平方乘以?。
⑾只有6是偶数,3才能是2的倍数。
⑿雪是黑色的当且仅当太阳从东方升起。
⒀如果天下大雨,他就乘班车上班。
解:⑴⑶⑷⑸⑹⑺⑽⑾⑿⒀是命题,其中⑴⑶⑽⑾是真命题,⑷⑹⑿是假命题,⑸⑺⒀的真值目前无法确定;⑵⑻⑼不是命题。
2. 将下列复合命题分成若干原子命题。
⑴李辛与李末是兄弟。
⑵因为天气冷,所以我穿了羽绒服。
⑶天正在下雨或湿度很高。
⑷刘英与李进上山。
⑸王强与刘威都学过法语。
⑹如果你不看电影,那么我也不看电影。
⑺我既不看电视也不外出,我在睡觉。
⑻除非天下大雨,否则他不乘班车上班。
解:⑴本命题为原子命题;⑵ p:天气冷;q:我穿羽绒服;⑶ p:天在下雨;q:湿度很高;⑷ p:刘英上山;q:李进上山;⑸ p:王强学过法语;q:刘威学过法语;⑹ p:你看电影;q:我看电影;⑺ p:我看电视;q:我外出;r:我睡觉;⑻ p:天下大雨;q:他乘班车上班。
3. 将下列命题符号化。
⑴他一面吃饭,一面听音乐。
⑵ 3是素数或2是素数。
⑶若地球上没有树木,则人类不能生存。
⑷ 8是偶数的充分必要条件是8能被3整除。
⑸停机的原因在于语法错误或程序错误。
⑹四边形abcd是平行四边形当且仅当它的对边平行。
⑺如果a和b是偶数,则a+b是偶数。
解:⑴ p:他吃饭;q:他听音乐;原命题符号化为:p∧q⑵ p:3是素数;q:2是素数;原命题符号化为:p∨q⑶ p:地球上有树木;q:人类能生存;原命题符号化为:?p→?q⑷ p:8是偶数;q:8能被3整除;原命题符号化为:p?q⑸ p:停机;q:语法错误;r:程序错误;原命题符号化为:q∨r→p⑹ p:四边形abcd是平行四边形;q:四边形abcd的对边平行;原命题符号化为:p?q。
《离散数学》题库及答案
《离散数学》题库及答案一、选择或填空(数理逻辑部分)1、下列哪些公式为永真蕴含式?()(1)Q=>Q→P(2)Q=>P→Q(3)P=>P→Q(4)P(PQ)=>P答:(1),(4)2、下列公式中哪些是永真式?()(1)(┐PQ)→(Q→R)(2)P→(Q→Q)(3)(PQ)→P(4)P→(PQ)答:(2),(3),(4)3、设有下列公式,请问哪几个是永真蕴涵式()(1)P=>PQ(2)PQ=>P(3)PQ=>PQ(4)P(P→Q)=>Q(5)(P→Q)=>P(6)P(PQ)=>P答:(2),(3),(4),(5),(6)4、公式某((A(某)B(y,某))zC(y,z))D(某)中,自由变元是(变元是()。
答:某,y,某,z5、判断下列语句是不是命题。
若是,给出命题的真值。
((1)北京是中华人民共和国的首都。
(2)陕西师大是一座工厂。
),约束)(3)你喜欢唱歌吗?(4)若7+8>18,则三角形有4条边。
(5)前进!(6)给我一杯水吧!答:(1)是,T(2)是,F(3)不是(4)是,T(5)不是(6)不是6、命题“存在一些人是大学生”的否定是(),而命题“所有的人都是要死的”的否定是()。
答:所有人都不是大学生,有些人不会死7、设P:我生病,Q:我去学校,则下列命题可符号化为()。
(1)只有在生病时,我才不去学校(2)若我生病,则我不去学校(3)当且仅当我生病时,我才不去学校(4)若我不生病,则我一定去学校答:(1)QP(2)PQ(3)PQ(4)PQ8、设个体域为整数集,则下列公式的意义是()。
(1)某y(某+y=0)(2)y某(某+y=0)答:(1)对任一整数某存在整数y满足某+y=0(2)存在整数y对任一整数某满足某+y=09、设全体域D是正整数集合,确定下列命题的真值:(1)某y(某y=y)()(2)某y(某+y=y)()(3)某y(某+y=某)()(4)某y(y=2某)()答:(1)F(2)F(3)F(4)T10、设谓词P(某):某是奇数,Q(某):某是偶数,谓词公式某(P(某)Q(某))在哪个个体域中为真()2(1)自然数(2)实数(3)复数(4)(1)--(3)均成立答:(1)11、命题“2是偶数或-3是负数”的否定是()。
离散数学 第7章 习题解答
第7章 习题解答7.1 (1),(2),(3),(5)都能构成无向图的度数列,其中除(5)外又都能构成无向简单图的度数列.分析 1° 非负整数列n d d d ,,,21 能构成无向图的度数列当且仅当∑=ni di 1为偶数,即n d d d ,,,21 中的奇数为偶数个.(1),(2),(3),(5)中分别有4个,0个,4个,4个奇数,所以,它们都能构成无向图的度数列,当然,所对应的无向图很可能是非简单图.而(4)中有3个奇数,因而它不能构成无向图度数列.否则就违背了握手定理的推论.2°(5) 虽然能构成无向图的度数列,但不能构成无向简单度数列.否则,若存在无向简单图G,以1,3,3,3为度数列,不妨设G 中顶点为4321,,,v v v v ,且1)(=i v d ,于是.3)()()(432===v d v d v d 而1v 只能与432,,v v v 之一相邻,设1v 与2v 相邻,这样一来,除2v 能达到3度外, 43,v v 都达不到3度,这是矛盾的.在图7.5所示的4个图中,(1) 以1为度数列,(2)以2为度数列,(3)以3为度数列,(4)以4为度数列(非简单图).7.2 设有几简单图D 以2,2,3,3为度数列,对应的顶点分别为4321,,,v v v v ,由于),()()(_v d v d v d +=+所示,)()()(,202)()(22211v d v d v d v d v d -+-+-==-=-033)()()(,123)()()(,202444333=-=-==-=-==-=-+-+v d v d v d v d v d v d由此可知,D 的出度列为2,2,1,0,且满足∑∑-+=)()(i i v d v d .请读者画出一个有向图.以2,2,3,3为度数列,且以0,0,2,3为入度列,以2,2,1,0为出度列.7.3 D 的入度列不可能为1,1,1,1.否则,必有出度列为2,2,2,2(因为))()()(v d v d v d -++=,)此时,入度列元素之和为4,不等于出度列元素之和8,这违背握手定理.类似地讨论可知,1,1,1,1也不能为D 的出席列.7.4 不能. N 阶无向简单图的最大度.1-≤∆n 而这里的n 个正整数彼此不同,因而这n 个数不能构成无向简单图的度数列,否则所得图的最大度大于n,这与最大度应该小于等于n-1矛盾.7.5 (1) 16个顶点. 图中边数16=m ,设图中的顶点数为n .根据握手定理可知∑====ni i n v d m 12)(322所以,.16=n(2) 13个顶点.图中边数21=m ,设3度顶点个数为x,由握手定理有x m 343422+⨯==由此方程解出10=x .于是图中顶点数.13103=+=n (3) 由握手定理及各顶点度数均相同,寻找方程nk =⨯242的非负整数解,这里不会出现k n ,均为奇数的情况. 其中n 为阶级,即顶点数,k 为度数共可得到下面10种情况.①个顶点,度数为48.此图一定是由一个顶点的24个环构成,当然为非简单图.②2个顶点,每个顶点的度数均为24.这样的图有多种非同构的情况,一定为非简单图.③3个顶点,每个顶点的度数均为16.所地应的图也都是非简单图. ④4个顶点,每个顶点的度数均为12. 所对应的图也都是非简单图. ⑤6个顶点,每个顶点的度数均为8,所对应的图也都是非简单图. ⑥个顶点,每个顶点的度数均为 6.所对应的非同构的图中有简单图,也有非简单图.⑦12个顶点,每个顶点的度数均为 4. 所对应的非同构的图中有简单图,也有非简单图.⑧16个顶点,每个顶点的度数均为3,所对应的非同构的图中有简单图,也有非简单图.⑨24个顶点,每个顶点的度数均为2.所对应的非同构的图中有简单图,也有非简单图.⑩48个顶点,每个顶点的度数均为1,所对应的图是唯一的,即由24个2K 构成的简单图.分析 由于n 阶无向简单图G 中,1)(-≤∆n G ,的以①-⑤所对应的图不可能有简单图.⑥-⑨既有简单图,也有非简单图,读者可以画出若干个非同构的图,而⑩只能为简单图.7.6 设G 为n 阶图,由握手定理可知∑=≥=⨯=ni n v d 113)(35270,所以,.23370=⎥⎦⎥⎢⎣⎢≤n这里, ⎣⎦x 为不大于x 的最大整数,例如⎣⎦⎣⎦.23370,25.2,22=⎥⎦⎥⎢⎣⎢==7.7 由于1)(-=n G δ,说明G 中任何顶点v 的度数1)()(-=≥n G v d δ,可是由于G 为简单图,因而1)(-≤∆n G ,这又使得1)(-≤n v d ,于是1)(-=n v d ,也就是说,G 中每个顶点的度数都是1-n ,因而应有1)(-≤∆n G .于是G 为)1(-n 阶正则图,即G 为n 阶完全图.n K7.8 由G 的补图G 的定义可知,G G 为n K ,由于n 为奇数,所以, n K 中各项顶点的度数1-n 为偶数.对于任意的),(G V v ∈应有),(G V v ∈且1)()(_)(-==n v d v d v d n K G G其中)(v d G 表示v 在G 中的度数, )(v d G 表示v 在G 中的度数.由于1-n 为偶数,所以, )(v d G 与)(v d G 同为奇数或同为偶数,因而若G 有r 个奇度顶点,则G 也有r 个奇度顶点.7.9 由于,'D D ⊆所以,m m ≤'.而n 阶有向简单图中,边数)1(-≤n n m ,所以,应有)1()1('-≤≤=-n n m m n n这就导致)1(-=n n m ,这说明D 为n 阶完全图,且D D ='.7.10 图7.6给出了4K 的18个非同构的子图,其中有11个生成子图(8-18),其中连通的有6个11,12,13,14,16,17).图7.6中,n,m 分别为顶点数和边数.7.11 4K 有11个生成子图,在图7.6中,它们分别如图8-18所示.要判断它们之中哪些是自补图,首先要知道同构图的性质,设1G 与2G 的顶点数和边数.若21G G ≅,则21n n =且21m m =.(8)的补图为4)14(K =,它们的边数不同,所以,不可能同构.因而(8)与(14)均不是自补图类似地,(9)的补图为(13),它们也非同构,因而它们也都不是自补图.(10)与(12)互为补图,它们非同构,因而它们都不是自补图.(15)与(17)互为补图,它们非同构,所以,它们都不是自补图.类似地,(16)与(18)互为补图且非同构,所以,它们也都不是自补图.而(11)与自己的补图同构,所以,(11)是自补图.7.12 3阶有向完全图共有20个非同构的子图,见图7.7所示,其中(5)-(20)为生成子图,生成子图中(8),(13),(16),(19)均为自补图.分析 在图7.7所示的生成子图中, (5)与(11)互为补图,(6)与(10)互为补图,(7)与(9)互为补图,(12)与(14)互为补图,(15)与(17)互为补图,(18)与(20)互为补图,以上互为补图的两个图边数均不相同,所以,它们都不是自补图.而(8),(13),(16),(19)4个图都与自己的补图同构,所以,它们都是自补图.7.13 不能.分析 在同构的意义下,321,,G G G 都中4K 的子图,而且都是成子图.而4K 的两条边的生成子图中,只有两个是非同构的,见图7.6 中(10)与(15)所示.由鸽巢原理可知, 321,,G G G 中至少有两个是同构的,因而它们不可能彼此都非同构.鸽巢原理m 只鸽飞进n 个鸽巢,其中n m ≥,则至少存在一巢飞入至少][nm只鸽子.这里⎡⎤x 表示不小于x 的最小整数.例如, ⎡⎤,22=⎡⎤.35.2=7.14 G 是唯一的,即使G 是简单图也不唯一.分析 由握手定理可知n m 32=,又由给的条件得联立议程组⎩⎨⎧=-=.3232m n n m 解出.9,6==m n 6个顶点,9条边,每个顶点的度数都是3的图有多种非同构的情况,其中有多个非简单图(带平行边或环),有两个非同构的简单图,在图7.8 中(1),(2)给出了这两个非同构的简单图.满足条件的非同构的简单图只有图7.8中,(1),(2)所示的图,(1)与(2)所示的图,(1)与(2)是非同构的.注意在(1)中不存在3个彼此相邻的顶点,而在(2)中存在3个彼此相邻的顶点,因而(1)图与(2)图非同构.下面分析满足条件的简单图只有两个是非同构的.首先注意到(1)中与(2)中图都是6K 的生成子图,并且还有这样的事实,设21,G G 都是n 阶简单图,则21G G ≅当且仅当21G G ≅,其中21,G G 分别为1G 与2G 的补图.满足要求的简单图都是6阶9条边的3正则图,因而它们的补图都为6阶6条边的2正则图(即每个顶点度数都是2).而6K 的所有生成子图中,6条边2正则的非同构的图只有两个,见图7.8中(3),(4)所示的图,其中(3)为(1)的补图,(4)为(2)的补图,满足要求的非同构的简单图只有两个.但满足要求的非同简单图有多个非同构的,读者可自己画出多个来. 7.15 将6K 的顶点标定顺序,讨论1v 所关联的边.由鸽巢原理(见7.13 题),与1v 关联的5条边中至少有3条边颜色相同,不妨设存在3条红色边,见图7.9中(1)所示(用实线表示红色的边)并设它们关联另外3个顶点分别为.,,642v v v 若642,,v v v 构成的3K 中还有红色边,比如边(42,v v )为红色,则421,,v v v 构成的3K 为红色3K ,见图7.9中(2)所示.若642,,v v v 构成的3K 各边都是蓝色(用虚线表示),则642,,v v v 构成的3K 为蓝色的.7.16 在图7.10 所示的3个图中,(1)为强连通图,(2)为单向连通图,但不是强连通的,(3)是弱连通的,不是单向连通的,更不是强连通的.分析 在(1)中任何两个顶点之间都有通路,即任何两个顶点都是相互可达的,因而它是强连能的.(2)中c 不可达任何顶点,因而它不是强连通的,但任两个顶点存在一个顶点可达另外一个顶点,所以,它是单向可达的.(3)中c a ,互相均不可达,因而它不是单向连通的,更不是强连通的.判断有向图的连通性有下面的两个判别法.1°有向图D 是强连通的当且仅当D 中存在经过每个顶点至少一次的回路. 2°有向图D 是单向连通的当且仅当D 中存在经过每个顶点至少一次的通路. (1) 中abcda 为经过每个顶点一次的回路,所以,它是强连能的.(2)中abdc 为经过每个顶点的通路,所以,它是单向连通的,但没有经过每个顶点的回路,所以,它不是强连通的.(3)中无经过每个顶点的回路,也无经过每个顶点的通路,所以,它只能是弱连通的.7.17 'E G -的连通分支一定为2,而'V G -的连通分支数是不确定的. 分析 设'E 为连通图G 的边割集,则'E G -的连通分支数,2)('=-E G p 不可能大于2.否则,比如3)('=-E G p ,则'E G -由3个小图321,,G G G 组成,且'E 中边的两个端点分属于两个不同的小图.设''E 中的边的两个端点一个在1G 中,另一个在2G 中,则'''E E ⊂,易知2)(''=-E G p ,这与'E 为边割集矛盾,所以,2)(''=-E G p .但)('V G p -不是定数,当然它大于等于2,在图7.11中,},{'v u V =为(1)的点割集, ,2)('=-V G p 其中G 为(1)中图. }{''v V =为(2)中图的点割集,且v 为割点, 4)('''=-V G p ,其中'G 为(2)中图.7.18 解此题,只要求出D 的邻接矩阵的前4次幂即可.⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=0000101000010110A ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=10001001011010112A ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=101110101111113A ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=101011111121214A D 中长度为4的通路数为4A 中元素之和,等于15,其中对角线上元素之和为3,即D 中长度为3的回路数为3.3v 到4v 的长度为4的通路数等于2)4(34=a .分析 用邻接矩阵的幂求有向图D 中的通路数和回路数应该注意以下几点: 1°这里所谈通路或回路是定义意义下的,不是同构意义下的.比如,不同始点(终点)的回路2° 这里的通路或回路不但有初级的、简单的,还有复杂的.例如,12121,,,,v v v v v 是一条长为4的复杂回路.3° 回路仍然看成是通路的特殊情况.读者可利用32,A A ,求D 中长度为2和3的通路和回路数. 7.19 答案 A:④.分析 G 中有k N 个k 度顶点,有)(k N n -个)1(+k 度顶点,由握手定理可知m N n k Nk v d k kni i2))(1()(1=-++⋅=∑=.2)1(n k n N k -+=⇒ 7.20 答案 A:②; B:③.分析 在图7.12中,图(1)与它的补同构,再没有与图(1)非同构的自补图了,所以非同构的无向的4阶自补图只有1个.图(2)与它的补同构,图(3)与它的补也同构,而图(2)与图(3)不同构,再没有与(2),(3)非同构的自补图了,所以,非同械的5阶自补图有2个.7.21 答案 A:④; B:③; C:④; D:①.分析 (1)中存在经过每个顶点的回路,如.adcba .(2)中存在经过每个顶点的通路,但无回路.(3)中无经过每个顶点至少一次的通路,其实,d b ,两个顶点互不可达.(4)中有经过每个顶点至少一次的通路,但无回路,aedcbd 为经过每个顶点的通路.(5)中存在经过每个顶点至少一次的回路,如.aedbcdba (6)中也存在经过每个顶点的回路,如.baebdcb 由7.16题可知,(1),(5),(6)是强连通的,(1),(2),(4),(5),(6)是单向连能的,(2),(4)是非强连通的单向连通图.注意,强连通图必为单向连通图.6个图中,只有(3)既不是强连通的,也不是连通的,它只是弱连通图.在(3)中,从a 到b 无通路,所以,,,∞>=<b a d 而b 到a 有唯一的通路ba ,所以1,>=<a b d .7.22 答案 A:①; B:⑥㈩ C:②; D:④.分析 用Dijkstra 标号法,将计算机结果列在表7.1中.表中第x 列最后标定b 到x 的最短路径的权为y,且在b 到x 的最短路径上,Z 邻接到x, 即x 的前驱元为Z.由表7.1可知,a 的前驱元为c(即a 邻接到c),c 的前驱元为b,所以,b 到a 的最短路径为bca ,其权为4.类似地计论可知,b 到c 的最短路径为bc,其权为1.b 到d 的最短路径为bcegd ,其权为9.b 到e 的最短路径为bce ,其权为7.表7.17.23 答案 A:⑧; B:⑩ C:③; D:③和④.分析 按求最早、最晚完成时间的公式,先求各顶点的最早完成时间,再求最晚完成时间,最后求缓冲时间。
离散数学形考任务1-7试题及答案完整版
2017年11月上交的离散数学形考任务一本课程的教学内容分为三个单元,其中第三单元的名称是(A ).选择一项:A. 数理逻辑B. 集合论C. 图论D. 谓词逻辑题目2答案已保存满分10.00标记题目题干本课程的教学内容按知识点将各种学习资源和学习环节进行了有机组合,其中第2章关系与函数中的第3个知识点的名称是(D ).选择一项:A. 函数B. 关系的概念及其运算C. 关系的性质与闭包运算D. 几个重要关系题目3答案已保存满分10.00标记题目题干本课程所有教学内容的电视视频讲解集中在VOD点播版块中,VOD点播版块中共有(B)讲.选择一项:A. 18B. 20C. 19D. 17题目4答案已保存满分10.00标记题目题干本课程安排了7次形成性考核作业,第3次形成性考核作业的名称是( C).选择一项:A. 集合恒等式与等价关系的判定B. 图论部分书面作业C. 集合论部分书面作业D. 网上学习问答题目5答案已保存满分10.00标记题目题干课程学习平台左侧第1个版块名称是:(C).选择一项:A. 课程导学B. 课程公告C. 课程信息D. 使用帮助题目6答案已保存满分10.00标记题目题干课程学习平台右侧第5个版块名称是:(D).选择一项:A. 典型例题B. 视频课堂C. VOD点播D. 常见问题题目7答案已保存满分10.00标记题目题干“教学活动资料”版块是课程学习平台右侧的第( A )个版块.选择一项:A. 6B. 7C. 8D. 9题目8答案已保存满分10.00标记题目题干课程学习平台中“课程复习”版块下,放有本课程历年考试试卷的栏目名称是:(D ).选择一项:A. 复习指导B. 视频C. 课件D. 自测请您按照课程导学与章节导学中安排学习进度、学习目标和学习方法设计自己的学习计划,学习计划应该包括:课程性质和目标(参考教学大纲)、学习内容、考核方式,以及自己的学习安排,字数要求在100—500字.完成后在下列文本框中提交.解答:学习计划学习离散数学任务目标:其一是通过学习离散数学,使学生了解和掌握在后续课程中要直接用到的一些数学概念和基本原理,掌握计算机中常用的科学论证方法,为后续课程的学习奠定一个良好的数学基础;其二是在离散数学的学习过程中,培养自学能力、抽象思维能力和逻辑推理能力,解决实际问题的能力,以提高专业理论水平。
《离散数学1-7习题解答
p q r 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1
¬p ∧ ¬q ∨ p∧r 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1
2.4. 用等值演算法证明下面等值式: (1) p⇔ (p∧q) ∨ (p∧¬q) (3) ¬ (p↔q) ⇔ (p∨q) ∧¬ (p∧q) (4) (p∧¬q) ∨ (¬p∧q) ⇔ (p∨q) ∧¬ (p∧q) (1) (p∧q) ∨ (p∧¬q) ⇔ p ∧ (q¬∨q) ⇔ p ∧ 1 ⇔ p. (3) ¬ (p↔q)
4
(1)p→ (p∨q∨r) (2)(p→¬q) →¬q (3) ¬ (q→r) ∧r (4)(p→q) → (¬q→¬p) (5)(p∧r) ↔ ( ¬p∧¬q) (6)((p→q) ∧ (q→r)) → (p→r) (7)(p→q) ↔ (r↔s)
离散数学习题解 (1), (4), (6)为重言式. (3)为矛盾式. (2), (5), (7)为可满足式. 1.20. 1.21. 1.22. 1.23. 1.24. 1.25. 1.26. 1.27. 1.28. 1.29. 1.30. 1.31. 略 略 略 略 略 略 略 略 略 略 略 将下列 命题符号化, 并给出各命题的 真值:
5
(1)若 3+=4, 则地球是静止不动的. (2)若 3+2=4, 则地球是运动不止的. (3)若地球上没有树木, 则人类不能生存. (4)若地球上没有水, 则 3 是无理数. (1)p→q, 其中, p: 2+2=4, q: 地球静止不动, 真值为 0. (2)p→q, 其中, p: 2+2=4, q: 地球运动不止, 真值为 1. (3) ¬p→¬q, 其中, p: 地球上有树木, q: 人类能生存, 真值为 1. (4) ¬p→q, 其中, p: 地球上有水, q: 3 是无理数, 真值为 1.
离散数学作业7答案
离散数学数理逻辑部分形成性考核书面作业本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。
本次形考书面作业是第三次作业,大家要认真及时地完成数理逻辑部分的综合练习作业。
要求:将此作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,要求本学期第17周末前完成并上交任课教师(不收电子稿)。
并在07任务界面下方点击“保存”和“交卷”按钮,以便教师评分。
一、填空题1.命题公式()→∨的真值是1或T .P Q P2.设P:他生病了,Q:他出差了.R:我同意他不参加学习.则命题“如果他生病或出差了,我就同意他不参加学习”符号化的结果为(P∨Q)→R .3.含有三个命题变项P,Q,R的命题公式P∧Q的主析取范式是(P∧Q∧R)∨(P∧Q∧⌝R).4.设P(x):x是人,Q(x):x去上课,则命题“有人去上课.”可符号化为∃x(P(x) ∧Q(x)) .5.设个体域D={a, b},那么谓词公式)xA∀∃消去量词后的等值式为∨x(yB)(y(A(a)∨A(b))∨((B(a)∧B(b)) .6.设个体域D={1, 2, 3},A(x)为“x大于3”,则谓词公式(∃x)A(x) 的真值为0(F) .7.谓词命题公式(∀x)((A(x)∧B(x)) ∨C(y))中的自由变元为y .8.谓词命题公式(∀x)(P(x) →Q(x) ∨R(x,y))中的约束变元为x .三、公式翻译题1.请将语句“今天是天晴”翻译成命题公式.设P:今天是晴天。
则P2.请将语句“小王去旅游,小李也去旅游.”翻译成命题公式.设P:小王去旅游。
Q:小李去旅游。
则P∧Q3.请将语句“如果明天天下雪,那么我就去滑雪”翻译成命题公式.设P:明天下雪。
离散数学习题答案1-2-6-7-8-9章-2009-12-17
习题1:1. 解 (1){2,3,5,7,11,13,17,19}(2){x|x=20*k,k 是自然数}(3){2,-1}2. 解 (1){2,4}(2){1,2,3,4,5}(3){1,3}(4){1,3,5}3. 解 (1){1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20}(2)φ(3)全体自然数(4){0,2,4,6,8,10,12,14,16,18,20}(5)1,3,5,7,9,11,13,15,17,19}4. 解 (1)正确(2)正确(3)错误(4)正确5. 解 (1)A={1},B={{1}},C={{1}}(2)A={1},B={{1}},C={{{1}}}6. 解 (1)正确。
由子集的定义。
(2) 不一定。
如:A={1},B={{1}},C={{1}}。
(3)不一定。
如:A={1},B={1,2},C={{1,2}}(4)不一定。
如:A={1},B={1,2},C={{1,2}}。
7. 解 A={1,2},B={1},C={2},有B A ≠,但是C B C A =成立。
A={1,2},B={1},C={1},有B A ≠,但是C B C A =成立。
8. 解 (1)φ(2){φ}(3){{φ}}(4){φ,{φ}}9. 解 (1){1,2,3,4,5,6,7,8,9}(2){0,1,2,3,4,5,6,7,8,9,10}(3){0,3,6,7,8,9}10. 解 33311. 解 2512. 解(1)454(2)124(3)22013. 解 (1){φ}(2){φ,{a}}(3){φ,{φ},{a},{φ,a}}(4){φ,{φ},{{φ}},{{φ},φ}}(5){φ,{{φ}},{φ},{a},{{φ},φ},{{φ},a},{φ,a},{{φ},φ,a}}14. 证明:假设B ≠C ,则至少存在一元素x ∈B 且x ∉C 。
离散数学形考任务07答案
离散数学作业7离散数学图论部分形成性考核书面作业本课程形成性考核书面作业共3次,内容主要分别是图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。
本次形考书面作业是第二次作业,大家要认真及时地完成图论部分的综合练习作业。
要求:将此作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成并上交任课教师(不收电子稿)。
并在07任务界面下方点击“保存”和“交卷”按钮,以便教师评分。
一、单项选择题1.设图G 的邻接矩阵为⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎣⎡0101010010000011100000100,则G 的边数为( D ).A .5B .6C .3D .4 2.设图G =<V ,E >,则下列结论成立的是 ( C ). A .deg(V )=2∣E ∣ B .deg(V )=∣E ∣ C .E v Vv 2)deg(=∑∈ D .E v Vv =∑∈)deg(3.设有向图(a )、(b )、(c )与(d )如下图所示,则下列结论成立的是( D ).A .(a )是强连通的B .(b )是强连通的C .(c )是强连通的D .(d )是强连通的 4.给定无向图G 如右图所示,下面给出的结 点集子集中,不是点割集的为( B ).A .{b , d }B .{d }姓 名: 学 号: 得 分: 教师签名:a b dc eο ο ο ο ο 4题图C .{a , c }D .{b , e }5.图G 如右图所示,以下说法正确的是 ( C ) . A .{(a , c )}是割边 B .{(a , c )}是边割集 C .{(b , c )}是边割集 D .{(a, c ) ,(b, c )}是边割集6.无向图G 存在欧拉通路,当且仅当(D ). A .G 中所有结点的度数全为偶数 B .G 中至多有两个奇数度结点 C .G 连通且所有结点的度数全为偶数 D .G 连通且至多有两个奇数度结点7.若G 是一个欧拉图,则G 一定是( C ).A .平面图B .汉密尔顿图C .连通图D .对偶图8.设G 是连通平面图,有v 个结点,e 条边,r 个面,则r = ( A ). A .e -v +2 B .v +e -2 C .e -v -2 D .e +v +29.设G 是有n 个结点,m 条边的连通图,必须删去G 的( A )条边,才能确定G 的一棵生成树.A .1m n -+B .m n -C .1m n ++D .1n m -+ 10.已知一棵无向树T 中有8个结点,4度,3度,2度的分支点各一个,T 的树叶数为(D ).A .8B .5C .4D .3二、填空题1.已知图G 中有1个1度结点,2个2度结点,3个3度结点,4个4度结点,则G 的边数是 15 .2.设给定图G (如右由图所示),则图G 的点割集是 {f,c} .3.设G 是一个图,结点集合为V ,边集合为E ,则 G 的结点 度数 等于边数的两倍.4.设有向图D 为欧拉图,则图D 中每个结点的入度 等于出度 . 5.设G=<V ,E >是具有n 个结点的简单图,若在G 中每一对结点度数之和大于等于 n-1 ,则在G 中存在一条汉密尔顿路.6.设无向图G =<V ,E >是汉密尔顿图,则V 的任意非空子集V 1,都有 W(G-V1) ≤∣V 1∣.7.设完全图K n 有n 个结点(n ≥2),m 条边,当 当m=2n 时,K n 中存在欧拉回路.ο a οο οο b cde 5题图8.设图G=<V,E>,其中|V|=n,|E|=m.则图G是树当且仅当G是连通的,且m=2V-2 .9.连通无向图G有6个顶点9条边,从G中删去4 条边才有可能得到G的一棵生成树T.10.设正则5叉树的树叶数为17,则分支数为i = 4 .三、判断说明题(判断下列各题,并说明理由.)1.(1) 如果图G是无向图,且其结点度数均为偶数,则图G存在一条欧拉回路..(2) 图G1,(如下图所示) 是欧拉图.解:(1)错,图G是无向图,当且仅当G是连通的,且所有结点度数均为偶数,这里不能确定G图是否是连通的。
离散数学-第七章习题答案
第7章习题答案1.f(x)=2|x|+1是从整数集合到正整数集合的函数,它的值域是什么?解:它的值域是正奇数集合。
2.试问下列关系中哪个能构成函数?(1){〈x,y〉|x,y∈N,x+y<10}(2){〈x,y〉|x,y∈R,y=x2}(3){〈x,y〉|x,y∈R,y2=x}解;(1)、(3)不满足函数的定义,只有(2)是函数。
3.下列集合能够定义函数吗?如果能,求出它们的定义域和值域。
(1){〈1,〈2,3〉〉,〈2,〈3,4〉〉,〈3,〈1,4〉〉,〈4,〈1,4〉〉}(2){〈1,〈2,3〉〉,〈2,〈3,4〉〉,〈3,〈3,2〉〉}(3){〈1,〈2,3〉〉,〈2,〈3,4〉〉,〈1,〈2,4〉〉}(4){〈1,〈2,3〉〉,〈2,〈2,3〉〉,〈3,〈2,3〉〉}解:(1)、(2)、(4)定义的是函数。
(1)的定义域是{1,2,3,4},值域是{〈2,3〉,〈3,4〉,〈1,4〉}(2)的定义域是{1,2,3},值域是{〈2,3〉,〈3,4〉,〈3,2〉}(4)的定义域是{1,2,3},值域是{〈2,3〉}4.设f,g都是函数,并且有f⊆g和dom(g)=dom(f),证明f=g证明:假设f≠g,因为f⊆g和dom(g)=dom(f),则存在x1∈dom(g)和dom(f),使得〈x1,y1〉∈g但〈x1,y1〉∉f,因为f是函数,在定义域上处处有定义,所以必存在y2,使得〈x1,y2〉∈f,由f⊆g得〈x1,y2〉∈g,这与g是函数满足单值性矛盾。
故假设错误,必有f=g。
6.设X={0,1,2},求出X X中的如下函数(1) f2(x)=f(x)(2) f2(x)=x(3) f3(x)=x解:(1)有10个函数,分别是:f1(x)={〈0,0〉,〈1,0〉,〈2,0〉}f2(x)={〈0,1〉,〈1,1〉,〈2,1〉}f3(x)={〈0,2〉,〈1,2〉,〈2,2〉}f4(x)={〈0,1〉,〈1,1〉,〈2,2〉}f5(x)={〈0,2〉,〈1,1〉,〈2,2〉}f6(x)={〈0,0〉,〈1,0〉,〈2,2〉}f7(x)={〈0,0〉,〈1,2〉,〈2,2〉}f8(x)={〈0,0〉,〈1,1〉,〈2,0〉}f9(x)={〈0,0〉,〈1,1〉,〈2,1〉}f10(x)={〈0,0〉,〈1,1〉,〈2,2〉}(2)有4个函数,分别是:f1(x)={〈0,0〉,〈1,1〉,〈2,2〉}f2(x)={〈0,0〉,〈1,2〉,〈2,1〉}f3(x)={〈0,2〉,〈1,1〉,〈2,0〉}f4(x)={〈0,1〉,〈1,0〉,〈2,2〉}(3)有3个函数,分别是:f 1(x )={〈0,0〉,〈1,1〉,〈2,2〉}f 2(x )={〈0,1〉,〈1,2〉,〈2,0〉}f 3(x )={〈0,2〉,〈1,0〉,〈2,1〉}8.设f,g,h 是N → N 的函数, 其中N 是自然数集合,f(n)=n +1, g(n)=2n,⎩⎨⎧=是奇数若是偶数若n n n h 10)(试确定:f f ,f g ,g h ,h g 及(f g) h 。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
离散数学作业7答案(数理逻辑部分)
离散数学作业7
离散数学数理逻辑部分形成性考核书面作业
本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。
本次形考书面作业是第三次作业,大家要认真及时地完成数理逻辑部分的综合练习作业。
要求:将此作业用A4纸打印出来,并在07任务界面下方点击“保存”和“交卷”按钮,以便教师评分.作业应手工书写答题,字迹工整,解答题要有解答过程,完成后上交任课教师(不收电子稿).
一、填空题
1.命题公式()P Q P →∨的真值是 1 .
2.设P :他生病了,Q :他出差了.R :我同意他不参加学习. 则命题“如果他生病或出差了,我就同意他不参加学习”符号化的结果为 P ∨Q →R .
3.含有三个命题变项P ,Q ,R 的命题公式P ∧Q 的主析取范式是 (P ∧Q ∧┐R) ∨(P ∧Q ∧R) .
4.设P (x ):x 是人,Q (x ):x 去上课,则命题“有人去上课.” 可符号化为
∃ x ( P ( x ) ∧ Q ( x )) .
5.设个体域D =
{a , b },那么谓词公式)()(y yB x xA ∀∨∃消去量词后的等值
式为 (A(a) ∨A(b)) ∨ (B(a) ∧B(b)) .
6.设个体域D ={1, 2, 3},A (x )为“x 大于3”,则谓词公式(∃x )A (x ) 的真值为 0 .
7.谓词命题公式(∀x )((A (x )∧B (x )) ∨C (y ))中的自由变元为 y .
8.谓词命题公式(∀x )(P (x ) →Q (x ) ∨R (x ,y ))中的约束变元为 x
.
三、公式翻译题
1.请将语句“今天是天晴”翻译成命题公式.
解:
设P:今天是天晴
则该语句符号化为P
2.请将语句“小王去旅游,小李也去旅游.”翻译成命题公式.
设P:小王去旅游,Q:小李也去旅游
则该语句符号化为P∧Q
3.请将语句“如果明天天下雪,那么我就去滑雪”翻译成命题公式.解:设P:明天天下雪Q:我就去滑雪
则该语句符号化为P→Q
4.请将语句“他去旅游,仅当他有时间.”翻译成命题公式.
解:设P:他去旅游Q:他有时间
则该语句符号化为P→Q
5.请将语句“有人不去工作”翻译成谓词公式.
解:设P(x):x是人Q(x):x不去工作
则谓词公式为(∃x)(P(x)∧Q(x))
6.请将语句“所有人都努力工作.”翻译成谓词公式.
解:设P(x):x是人Q(x):x努力工作
则谓词公式为(∀x)(P(x)→Q(x))
四、判断说明题(判断下列各题,并说明理由.)
1.命题公式⌝P∧P的真值是1.
不正确,┐P∧P的真值是0,它是一个永假式,命题公式中的否定律就是┐P ∧P=F
2.命题公式⌝P∧(P→⌝Q)∨P为永真式.
正确
可以化简┐P∧(P→┐Q)∨P=┐P∧(┐P∨┐Q)∨P=┐P∨P=1,所以它是永真式
当然方法二是用真值表
3.谓词公式))
xP∀
x
yG
x
→
∀是永真式.
→
∃
(
y
)
(
(
,
xP
(x
)
正确
∀x P(x)→(∃y G(x,y)→∀xP(x))
=∀x P(x)→(┐∃y G(x,y)∨∀xP(x))
=∀x P(x)→(∀y(┐G(x,y))∨∀xP(x))
=┐∀x P(x)∨(∀y(┐G(x,y))∨∀xP(x))
=┐∀x P(x)∨∀y(┐G(x,y))∨∀xP(x)
=┐∀x P(x) ∨∀xP(x)∨∀y(┐G(x,y))
=1∨∀y(┐G(x,y))
=1
所以该式是永真式
4.下面的推理是否正确,请给予说明.
(1) (∀x)A(x)→ B(x) 前提引入
(2) A(y) →B(y) US (1)
不正确,(1)中(∀)x的辖域仅是A(x),而不是A(x) ∧ B(x)
四.计算题
1.求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)
2.求命题公式(P∨Q)→(R∨Q) 的主析取范式、主合取范式.
解:(P∨⌝Q)→(R∧Q)= ⌝(P∨⌝Q) ∨ (R∧Q)= (⌝P∧Q) ∨ (R∧Q)
其中(⌝P∧Q)= (⌝P∧Q) ∧ (R∨⌝R)= (⌝P∧Q∧ R) ∨(⌝P∧Q∧⌝R)
其中(R∧Q)= (R∧Q) ∧ (P∨⌝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)=m2∨m3∨m7这就是主析取范式
所以主合取范式为M0∧ M1∧ M4∧ M5∧ M6
可写为(P∨Q∨R)∧ (P∨Q∨⌝R) ∧ (⌝P∨⌝Q∨R) ∧ (⌝P∨Q∨⌝R) ∧ (⌝P∨⌝Q∨R) 3.设谓词公式()((,)()(,,))()(,)
∃→∀∧∀.
x P x y z Q y x z y R y z
(1)试写出量词的辖域;
(2)指出该公式的自由变元和约束变元.
解:(1)量词∃x的辖域为P(x,y) →(∀z)Q(y,x,z)
量词∀z的辖域为Q(y,x,z)
量词∀y的辖域为R(y,x)
(2)P(x,y)中的x是约束变元,y是自由变元
Q(y,x,z)中的x和z是约束变元,y是自由变元
R(y,x)中的x是自由变元,y是约束变元
4.设个体域为D={a1, a2},求谓词公式∀y∃xP(x,y)消去量词后的等值式;解:∀y∃xP(x,y)= ∃xP(x, a1)∧∃xP(x, a2)
=( P(a1, a1)∨ P(a2, a1))∧( P(a1, a2)∨ P(a1, a2))
五、证明题
1.试证明(P→(Q∨⌝R))∧⌝P∧Q与⌝ (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)∨(⌝P∧Q)∨(⌝P∧Q∧⌝R)
⇔⌝P∧Q(吸收律)
⇔⌝(P∨⌝Q) (摩根律)
2.试证明(∃x)(P(x) ∧R(x))⇒(∃x)P(x) ∧ (∃x)R(x).
证明:
(1) (∃x)(P(x) ∧R(x))P
(2) P(a) ∧R(a)ES(1)
(3) P(a)T(2)
(4) (∃x)P(x) EG(3)
(5) R(a)T(2)
(6) (∃x) R(x)EG(5)
(7) (∃x)(P(x) ∧R(x))T(4)(6)。