慕课 离散数学 电子科技大学 课后习题七 答案
离散数学(第二版)课后习题答案详解(完整版)

离散数学(第⼆版)课后习题答案详解(完整版)习题⼀1.下列句⼦中,哪些是命题?在是命题的句⼦中,哪些是简单命题?哪些是真命题?哪些命题的真值现在还不知道?(1)中国有四⼤发明.答:此命题是简单命题,其真值为 1.(2)5 是⽆理数.答:此命题是简单命题,其真值为 1.(3)3 是素数或 4 是素数.答:是命题,但不是简单命题,其真值为1.(4)2x+ <3 5 答:不是命题.(5)你去图书馆吗?答:不是命题.(6)2 与3 是偶数.答:是命题,但不是简单命题,其真值为0.(7)刘红与魏新是同学.答:此命题是简单命题,其真值还不知道.(8)这朵玫瑰花多美丽呀!答:不是命题.(9)吸烟请到吸烟室去!答:不是命题.(10)圆的⾯积等于半径的平⽅乘以π.答:此命题是简单命题,其真值为 1.(11)只有6 是偶数,3 才能是2 的倍数.答:是命题,但不是简单命题,其真值为0.(12)8 是偶数的充分必要条件是8 能被3 整除.答:是命题,但不是简单命题,其真值为0.(13)2008 年元旦下⼤雪.答:此命题是简单命题,其真值还不知道.2.将上题中是简单命题的命题符号化.解:(1)p:中国有四⼤发明.(2)p: 是⽆理数.(7)p:刘红与魏新是同学.(10)p:圆的⾯积等于半径的平⽅乘以π.(13)p:2008 年元旦下⼤雪.3.写出下列各命题的否定式,并将原命题及其否定式都符号化,最后指出各否定式的真值.(1)5 是有理数.答:否定式:5 是⽆理数. p:5 是有理数.q:5 是⽆理数.其否定式q 的真值为1.(2)25 不是⽆理数.答:否定式:25 是有理数. p:25 不是⽆理数. q:25 是有理数. 其否定式q 的真值为1.(3)2.5 是⾃然数.答:否定式:2.5 不是⾃然数. p:2.5 是⾃然数. q:2.5 不是⾃然数. 其否定式q 的真值为1.(4)ln1 是整数.答:否定式:ln1 不是整数. p:ln1 是整数. q:ln1 不是整数. 其否定式q 的真值为1.4.将下列命题符号化,并指出真值.(1)2 与5 都是素数答:p:2 是素数,q:5 是素数,符号化为p q∧,其真值为 1.(2)不但π是⽆理数,⽽且⾃然对数的底e 也是⽆理数.答:p:π是⽆理数,q:⾃然对数的底e 是⽆理数,符号化为p q∧,其真值为1.(3)虽然2 是最⼩的素数,但2 不是最⼩的⾃然数.答:p:2 是最⼩的素数,q:2 是最⼩的⾃然数,符号化为p q∧? ,其真值为1.(4)3 是偶素数.答:p:3 是素数,q:3 是偶数,符号化为p q∧,其真值为0.(5)4 既不是素数,也不是偶数.答:p:4 是素数,q:4 是偶数,符号化为? ∧?p q,其真值为0.5.将下列命题符号化,并指出真值.(1)2 或3 是偶数.(2)2 或4 是偶数.(3)3 或5 是偶数.(4)3 不是偶数或4 不是偶数.(5)3 不是素数或4 不是偶数.答: p:2 是偶数,q:3 是偶数,r:3 是素数,s:4 是偶数, t:5 是偶数(1)符号化: p q∨,其真值为1.(2)符号化:p r∨,其真值为1.(3)符号化:r t∨,其真值为0.(4)符号化:? ∨?q s,其真值为1.(5)符号化:? ∨?r s,其真值为0.6.将下列命题符号化.(1)⼩丽只能从筐⾥拿⼀个苹果或⼀个梨.答:p:⼩丽从筐⾥拿⼀个苹果,q:⼩丽从筐⾥拿⼀个梨,符号化为: p q∨ .(2)这学期,刘晓⽉只能选学英语或⽇语中的⼀门外语课.答:p:刘晓⽉选学英语,q:刘晓⽉选学⽇语,符号化为: (? ∧∨∧?p q)(p q) .7.设p:王冬⽣于1971 年,q:王冬⽣于1972 年,说明命题“王冬⽣于1971 年或1972年”既可以化答:列出两种符号化的真值表:合命题可以发现,p 与q 不可能同时为真,故上述命题有两种符号化⽅式.8.将下列命题符号化,并指出真值., 就有;(1)只要, 则;, 才有;(3)只有, 才有;(4)除⾮, 否则;(5)除⾮(6)仅当.答:设p: , 则: ; 设q: , 则: .(1);(2);;(3);(4);(5);(6);(7).答:根据题意,p 为假命题,q 为真命题.(1);(2);(3);(4).答:根据题意,p 为真命题,q 为假命题.(1)若2+2=4,则地球是静⽌不动的;(2)若2+2=4,则地球是运动不⽌的;(3)若地球上没有树⽊,则⼈类不能⽣存;(4)若地球上没有⽔,则是⽆理数.12.将下列命题符号化,并给出各命题的真值:(1)2+2=4 当且仅当3+3=6;(2)2+2=4 的充要条件是3+3 6;(3)2+2 4 与3+3=6 互为充要条件;(4)若2+2 4,则3+3 6,反之亦然.答:设p:2+2=4,q:3+3=6.(1)若今天是星期⼀,则明天是星期⼆;(2)只有今天是星期⼀,明天才是星期⼆;(3)今天是星期⼀当且仅当明天是星期⼆;(4)若今天是星期⼀,则明天是星期三.答:设p:今天是星期⼀,q:明天是星期⼆,r:明天是星期三.(1)刘晓⽉跑得快,跳得⾼;(2)⽼王是⼭东⼈或者河北⼈;(3)因为天⽓冷,所以我穿了⽻绒服;(4)王欢与李乐组成⼀个⼩组;(5)李欣与李末是兄弟;(6)王强与刘威都学过法语;(7)他⼀⾯吃饭,⼀⾯听⾳乐;(8)如果天下⼤⾬,他就乘班车上班;(9)只有天下⼤⾬,他才乘班车上班;(10)除⾮天下⼤⾬,否则他不乘班车上班;(11)下雪路滑,他迟到了;(12)2 与4 都是素数,这是不对的;(13)“2 或 4 是素数,这是不对的”是不对的.答:q:⼤熊猫产在中国.r:太阳从西⽅升起. 求下列符合命题的真值:(1)(2)(3)(4)解:p真值为1,q 真值为1,r 真值为0.(1)0,(2)0,(3)0,(4)116.当p,q 的真值为0,r,s 的真值为1 时,求下列各命题公式的真值:(1)(2)(3)(4)解:(1)0,(2)0,(3)0,(4)117.判断下⾯⼀段论述是否为真:“ 是⽆理数.并且,如果3 是⽆理数,则也是⽆理数.另外,只有6 能被2 整除,6 才能被4 整除.”解:p: 是⽆理数q: 3 是⽆理数r:是⽆理数s: 6 能被2 整除t:6 能被 4 整除符号化为: ,该式为重⾔式,所以论述为真。
慕课 离散数学 电子科技大学 课后习题十 答案

作业参考答案——10-特殊图1.(a)(c)(d)是欧拉图,(a)(b)(c)(d)(e)可以一笔画,(a)(b)(c)(d)(e)(f)(g)是哈密顿图。
2.根据给定条件建立一个无向图G=<V,E>,其中:V={a,b,c,d,e,f,g}E={(u,v)|u,v∈V,且u和v有共同语言}从而图G如下图所示。
abcd e fg将这7个人围圆桌排位,使得每个人都能与他两边的人交谈,就是在图G 中找哈密顿回路,经观察上图可得到两条可能的哈密顿回路,即两种方案:abdfgeca和acbdfgea。
3.证明(法一):根据已知条件,每个结点的度数均为n,则任何两个不相邻的结点v i,v j的度数之和为2n,而图中总共有2n个结点,即deg(v i)+ deg(v j)⩾2n,满足哈密顿图的充分条件,从而图中存在一条哈密顿回路,当然,这就说明图G是连通图。
证明(法二):用反证法,假设G不是连通图,设H是G的一个连通分支,由于图G是简单图且每个结点的度数为n,则子图H与G-H中均至少有n+1个结点。
所以G的结点数大于等于2n+2,这与G中结点数为2n矛盾。
所以假设不成立,从而G是连通图。
4.将n位男士和n位女士分别用结点表示,若某位男士认识某位女士,则在代表他们的结点之间连一条线,得到一个偶图G,假设它的互补结点子集V1、V2分别表示n位男士和n位女士,由题意可知V1中的每个结点度1数至少为2,而V2中的每个结点度数至多为2,从而它满足t条件t=1,因此存在从V1到V2的匹配,故可分配。
5.此平面图具有五个面,如下图所示。
ab c d ef gr1r2r3r4r5•r1,边界为abca,D(r1)=3;•r2,边界为acga,D(r2)=3;•r3,边界为cegc,D(r3)=3;•r4,边界为cdec,D(r4)=3;•r5,边界为abcdefega,D(r5)=8;无限面6.设该连通简单平面图的面数为r,由欧拉公式可得,6−12+r=2,所以r=8,其8个面分别设为r1,r2,r3,r4,r5,r6,r7,r8。
电大 离散数学作业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.11、(3)P:银行利率降低Q:股价没有上升P∧Q(5)P:他今天乘火车去了北京Q:他随旅行团去了九寨沟PQ(7)P:不识庐山真面目Q:身在此山中Q→P,或~P→~Q(9)P:一个整数能被6整除Q:一个整数能被3整除R:一个整数能被2整除T:一个整数的各位数字之和能被3整除P→Q∧R ,Q→T2、(1)T (2)F (3)F (4)T (5)F(6)T (7)F (8)悖论习题 1.31(3))()()()()()(R P Q P R P Q P R Q P R Q P →∨→⇔∨⌝∨∨⌝⇔∨∨⌝⇔∨→(4)()()()(())()(()())(())()()()()P Q Q R R P P R Q R P P R R P Q R P P R P R Q R Q P ∧∨∧∨∧=∨∧∨∧=∨∨∧∧∨∧=∨∧∨∧∨∧∨=右2、不, 不, 能习题 1.41(3) (())~((~))(~)()~(~(~))(~~)(~)P R Q P P R Q P P R T P R P R Q Q P R Q P R Q →∧→=∨∧∨=∨∧=∨=∨∨∧=∨∨∧∨∨、主合取范式)()()()()()()()()()()()()()())(())(()()(())()())(()((Q P R P Q R P Q R R Q P R Q P R Q P Q P R Q P R P Q R P Q R R Q P R Q P R Q P R Q P Q Q P R P P Q R R R Q Q P P R Q R P P Q R P P Q R P ∧∧∨∧⌝∧∨⌝∧⌝∧∨∧⌝∧⌝∨⌝∧∧⌝∨⌝∧⌝∧⌝=∧∧∨⌝∧∧∨∧⌝∧∨⌝∧⌝∧∨∧⌝∧⌝∨∧⌝∧⌝∨⌝∧∧⌝∨⌝∧⌝∧⌝=∨⌝∧∧∨∨⌝∧⌝∧∨∨⌝∧∨⌝∧⌝=∧∨⌝∧∨⌝=∨⌝∧∨⌝=→∧→ ————主析取范式(2) ()()(~)(~)(~(~))(~(~))(~~)(~)(~~)P Q P R P Q P R P Q R R P R Q Q P Q R P Q R P R Q →∧→=∨∧∨=∨∨∧∧∨∨∧=∨∨∧∨∨∧∨∨ 2、()~()(~)(~)(~~)(~)(~~)P Q R P Q R P Q P R P Q R P Q R P R Q →∧=∨∧=∨∧∧=∨∨∧∨∨∧∨∨∴等价3、解:根据给定的条件有下述命题公式:(A →(C ∇D ))∧~(B ∧C )∧~(C ∧D )⇔(~A ∨(C ∧~D )∨(~C ∧D ))∧(~B ∨~C )∧(~C ∨~D )⇔((~A ∧~B )∨(C ∧~D ∧~B )∨(~C ∧D ∧~B )∨(~A ∧~C )∨(C ∧~D ∧~C )∨(~C ∧D ∧~C ))∧(~C ∨~D )⇔((~A ∧~B )∨(C ∧~D ∧~B )∨(~C ∧D ∧~B )∨(~A ∧~C )∨(~C ∧D ∧~C )) ∧(~C ∨~D )⇔(~A ∧~B ∧~C )∨(C ∧~D ∧~B ∧~C )∨(~C ∧D ∧~B ∧~C )∨ (~A ∧~C ∧~C )∨(~C ∧D ∧~C ∧~C )∨(~A ∧~B ∧~D )∨(C ∧~D ∧~B ∧~D )∨(~C ∧D ∧~B ∧~D )∨(~A ∧~C ∧~D )∨ (~C ∧D ∧~C ∧~D )(由题意和矛盾律)⇔(~C ∧D ∧~B )∨(~A ∧~C )∨(~C ∧D )∨(C ∧~D ∧~B )⇔(~C ∧D ∧~B ∧A )∨ (~C ∧D ∧~B ∧~A )∨ (~A ∧~C ∧B )∨ (~A ∧~C ∧~B )∨ (~C ∧D ∧A )∨ (~C ∧D ∧~A )∨(C ∧~D ∧~B ∧A )∨(C ∧~D ∧~B ∧~A )⇔(~C ∧D ∧~B ∧A )∨ (~A ∧~C ∧B ∧D )∨ (~A ∧~C ∧B ∧~D )∨(~A ∧~C ∧~B ∧D )∨ (~A ∧~C ∧~B ∧~D )∨(~C ∧D ∧A ∧B )∨ (~C ∧D ∧A ∧~B )∨ (~C ∧D ∧~A ∧B )∨ (~C ∧D ∧~A ∧~B )∨(C ∧~D ∧~B ∧A )∨(C ∧~D ∧~B ∧~A ) ⇔(~C ∧D ∧~B ∧A )∨ (~A ∧~C ∧B ∧D )∨ (~C ∧D ∧A ∧~B )∨ (~C ∧D ∧~A ∧B ) ∨(C ∧~D ∧~B ∧A )⇔(~C ∧D ∧~B ∧A )∨ (~A ∧~C ∧B ∧D )∨(C ∧~D ∧~B ∧A ) 三种方案:A 和D 、 B 和D 、 A 和C习题 1.51、 (1)需证()(())P Q P P Q →→→∧为永真式()(())~(~)(~())~~(~)(()(~))~(~)(~)()P Q P P Q P Q P P Q P P P Q P Q TP Q P Q T P Q P P Q →→→∧=∨∨∨∧∨=∨∨∧∨=∨∨∨=∴→⇒→∧(3)需证S R P P →∧⌝∧为永真式SR P P T S F S R F S R P P ⇒∧⌝∧∴⇔→⇔→∧⇔→∧⌝∧3A B A B ⇒∴→ 、为永真式。
离散数学习题答案解析

离散数学习题答案解析(总16页)--本页仅作为文档封面,使用时请直接删除即可----内页可以根据需求调整合适字体及大小--离散数学习题答案习题一及答案:(P14-15)14、将下列命题符号化:(5)李辛与李末是兄弟解:设p:李辛与李末是兄弟,则命题符号化的结果是p(6)王强与刘威都学过法语∧解:设p:王强学过法语;q:刘威学过法语;则命题符号化的结果是p q(9)只有天下大雨,他才乘班车上班→解:设p:天下大雨;q:他乘班车上班;则命题符号化的结果是q p (11)下雪路滑,他迟到了解:设p:下雪;q:路滑;r:他迟到了;则命题符号化的结果是()∧→p q r 15、设p:2+3=5.q:大熊猫产在中国.r:太阳从西方升起.求下列复合命题的真值:(4)()(())∧∧⌝↔⌝∨⌝→p q r p q r解:p=1,q=1,r=0,∧∧⌝⇔∧∧⌝⇔,p q r()(110)1p q r⌝∨⌝→⇔⌝∨⌝→⇔→⇔(())((11)0)(00)1∴∧∧⌝↔⌝∨⌝→⇔↔⇔()(())111p q r p q r19、用真值表判断下列公式的类型:(2)()→⌝→⌝p p q解:列出公式的真值表,如下所示:由真值表可以看出公式有3个成真赋值,故公式是非重言式的可满足式。
20、求下列公式的成真赋值: (4)()p q q ⌝∨→解:因为该公式是一个蕴含式,所以首先分析它的成假赋值,成假赋值的条件是:()10p q q ⌝∨⇔⎧⎨⇔⎩⇒0p q ⇔⎧⎨⇔⎩ 所以公式的成真赋值有:01,10,11。
习题二及答案:(P38)5、求下列公式的主析取范式,并求成真赋值: (2)()()p q q r ⌝→∧∧解:原式()p q q r ⇔∨∧∧q r ⇔∧()p p q r ⇔⌝∨∧∧()()p q r p q r ⇔⌝∧∧∨∧∧37m m ⇔∨,此即公式的主析取范式, 所以成真赋值为011,111。
*6、求下列公式的主合取范式,并求成假赋值: (2)()()p q p r ∧∨⌝∨解:原式()()p p r p q r ⇔∨⌝∨∧⌝∨∨()p q r ⇔⌝∨∨4M ⇔,此即公式的主合取范式, 所以成假赋值为100。
离散数学答案版(全)

Q
P Q
( P Q)
( P Q) Q
0 0 1 1
0 1 0 1
1 1 0 1
0 0 1 0
0 0 0 0
1.4.2 命题公式的分类 定义 设 G 为公式: (1)如果 G 在所有解释下取值均为真,则称 G 是永真式 或重言式; (2)如果 G 在所有解释下取值均为假,则称 G 是永假式或矛盾式; (3) 如果至少存在一种解释使公式 G 取值为真,则称 G 是可满足式。 1.4.3 等价公式 定义 设 A 和 B 是两个命题公式,如果 A 和 B 在任意赋值情况下都具有相同 的真值,则称 A 和 B 是等价公式。记为 A B。 性质定理 设 A、B、C 是公式,则 (1)A A (2)若 A B 则 B A (3)若 A B 且 B C 则 A C 定理 设 A、B、C 是公式,则下述等价公式成立: A A (1)双重否定律 (2)等幂律 A∧A A ; A∨A A (3)交换律 A∧B B∧A ; A∨B B∨A (4)结合律 (A∧B)∧C A∧(B∧C) (A∨B)∨C A∨(B∨C) (5)分配律 (A∧B)∨C (A∨C)∧(B∨C) (A∨B)∧C (A∧C)∨(B∧C) (A∨B) A∧ B (6)德·摩根律 (A∧B) A∨ B (7)吸收律 A∨(A∧B) A;A∧(A∨B) A (8)零一律 A∨1 1 ; A∧0 0 (9)同一律 A∨0 A ; A∧1 A (10)排中律 A∨ A 1 (11)矛盾律 A∧ A 0 (12)蕴涵等值式 A→B A∨B (13)假言易位 A→B B→ A (14)等价等值式 A B (A→B)∧(B→A)
式中每一个析取项都是 P1,P2,…,Pn 的一个极大项,则称该合取范式为 G 的主 合取范式。通常,主合取范式用↕表示。重言式的主合取范式中不含任何极大项, 用 1 表示。 定理 任意的命题公式都存在一个唯一的与之等价的主合取范式。
离散数学_电子科技大学中国大学mooc课后章节答案期末考试题库2023年

离散数学_电子科技大学中国大学mooc课后章节答案期末考试题库2023年1.公式的主合取范式为以下哪一个?(以编码形式表达)答案:2.若有前提集合,则可推出以下哪个结论?答案:3.给定论域,在该赋值下,公式的真值为?答案:14.根据自然演绎法,以下选项哪一个是公式的有效结论?答案:5.以下哪一个不是集合A = {∅,1,{b}} 的幂集 P(A)中的元素?答案:{b}6.设 R = {< 1,4 >,< 2,1 >,< 2,3 >,< 3,1 >,< 4,2 >,< 4,3 >} 是集合A = {1,2,3,4} 上的二元关系。
则R不具备哪种性质?答案:传递7.设 A = {< a,b > |a,b 均为正整数} , 在 A 上定义二元关系∼ 为:< a,b >∼< c,d >当且仅当 ad = bc,则此二元关系为( )?答案:等价关系8.集合 A = {1,6,9,12,18,36},⩽为整除关系。
则其子集 B={6,12,18} 的极大元,极小元,上界,下界分别为?(以;分隔)答案:12,18;6;36;1,69.设函数, 则以下哪一项是复合函数答案:10.设图 G 有 n 个结点,n+1 条边,且每个结点的度数都不超过 3,则G中至少有()个度数等于 3 的结点?答案:211.有向图G如下图所示,则图G中长度为4的通路和回路数各为多少条?答案:15;312.某城市拟在六个区之间架设有线电话网,其网点间的距离如下列有权矩阵给出,则架设线路的最优方案的线路总长度为()。
答案:1813.判断以下命题哪个为真?答案:若A-B=B-A,则有A=B14.设,下列哪个是A的划分?答案:{{1,2,7},{3,5,10},{4,6,8},{9}}15.“今有 a,b,c,d,e,f,g 共 7 人,已知下列事实:a 会讲英语;b 会讲英语和汉语;c 会讲英语,意大利语;d 会讲日语和汉语;e 会讲德语和意大利语;f会讲法语和日语;g 会讲法语和德语。
《离散数学》题库大全及答案

《离散数学》题库大全及答案为离散数学领域的经典教材,全世界几乎所有知名的院校都曾经使用本书作为教材.以我个人观点看来,这本书可以称之为离散数学百科.书中不但介绍了离散数学的理论和方法,还有丰富的历史资料和相关学习网站资源.更为令人激动的便是这本书少有的将离散数学理论与应用结合得如此的好.你可以看到离散数学理论在逻辑电路,程序设计,商业和互联网等诸多领域的应用实例.本书的英文版(第六版)当中更增添了相当多的数学和计算机科学家的传记,是计算机科学历史不可多得的参考资料.作为教材这本书配有相当数量的练习.每一章后面还有一组课题,把学生已经学到的计算和离散数学的内容结合在一起进行训练.这本书也是我个人在学习离散数学时读的唯一的英文教材,实为一本值得推荐的好书。
《离散数学》题库答案一、选择或填空(数理逻辑部分)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条边。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
a
d
bLeabharlann c[a]R = {a, b} = [b]R, [c]R = {c, d} = [d]R; A/R = {[a]R, [c]R} = {{a, b}, {c, d}}。
3. 证明. :
(a) 自反性: 对任意 < a, b >∈ A, 有 a−b = a−b, 所以 < a, b >∼< a, b >, 即 ∼ 是自反的;
由 (1),(2) 和 (3) 知,∼ 是 A 上的等价关系。
4. 哈斯图如下;
1
12
46
2
3
1 子集 B = {2, 3, 6} 的极大元 6;极小元 2,3;最大元 6;最小元无;上界 6,12;下界 1;上确界 6;下确界 1.
5. (1) 满射;(2) 单射;(3) 双射;(4) 一般函数。
参考答案——7-特殊关系和函数
1. 解 R = {1, 2}×{1, 2} ∪ {3}×{3} ∪ {4, 5}×{4, 5} = {< 1, 1 >, < 2, 2 >, < 1, 2 >, < 2, 1 >, < 3, 3 >, < 4, 4 >, < 5, 5 >, < 4, 5 >, < 5, 4 >}.
=
(h
◦
f )(x
+
5)
=
f (h(x
+
5))
=
f(
x+5 2
)
=
2×
x+5 2
+
1
=
x
+
6。
2
6. g ◦ f (x) = f (g(x)) = f (x + 5) = 2(x + 5) + 1 = 2x + 11
f
◦
(h
◦
g)(x)
=
(h
◦
g)(f
(x))
=
(h
◦
g)(2x
+
1)
=
g(h(2x
+
1))
=
g(
2x+1 2
)
=
5+
2x+1 2
=
x
+ 5.5
g
◦
(h
◦
f )(x)
=
(h
◦
f )(g(x))
(b) 对称性: 对任意 < a, b >, < c, d >∈ A, 若 < a, b >∼< c, d >, 则有 a − d = c − b, 即 c − b = a − d, 所以 < c, d >∼< a, b >, 即 ∼ 是对称 的;
(c) 传递性: 对任意 < a, b >, < c, d >, < e, f >∈ A,若 < a, b >∼< c, d > 且 < c, d >∼< e, f >,则有 a − d = c − b 且 c − f = e − d。两式相 加后整理,可有 a − f = e − b, 所以 < a, b >∼< e, f >,即 ∼ 是传 递的.