哈工大《离散数学》教科书习题答案

合集下载

离散数学(第二版)课后习题答案详解(完整版)

离散数学(第二版)课后习题答案详解(完整版)

离散数学(第⼆版)课后习题答案详解(完整版)习题⼀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 整除符号化为: ,该式为重⾔式,所以论述为真。

02324离散数学(课后习题解答(详细)

02324离散数学(课后习题解答(详细)

离散数学~习题1.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。

离散数学第一章部分课后习题参考答案

离散数学第一章部分课后习题参考答案

第一章部分课后习题参考答案16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。

(1)p∨(q∧r)0∨(0∧1) 0(2)(p?r)∧(﹁q∨s) (0?1)∧(1∨1) 0∧10.(3)(p∧q∧r)?(p∧q∧﹁r) (1∧1∧1)? (0∧0∧0)0(4)(r∧s)→(p∧q) (0∧1)→(1∧0) 0→0 117.判断下面一段论述是否为真:“是无理数。

并且,如果3是无理数,则也是无理数。

另外6能被2整除,6才能被4整除。

”答:p: 是无理数 1q: 3是无理数0r: 是无理数 1s:6能被2整除 1t: 6能被4整除0命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。

19.用真值表判断下列公式的类型:(4)(p→q) →(q→p)(5)(p∧r) (p∧q)(6)((p→q) ∧(q→r)) →(p→r)答:(4)p q p→q q p q→p (p→q)→(q→p)0 0 1 1 1 1 10 1 1 0 1 1 11 0 0 1 0 0 11 1 1 0 0 1 1所以公式类型为永真式(5)公式类型为可满足式(方法如上例)(6)公式类型为永真式(方法如上例)第二章部分课后习题参考答案3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.(1) (p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)答:(2)(p→(p∨q))∨(p→r)(p∨(p∨q))∨(p∨r)p∨p∨q∨r1所以公式类型为永真式(3)P q r p∨q p∧r (p∨q)→(p∧r)0 0 0 0 0 10 0 1 0 0 10 1 0 1 0 00 1 1 1 0 01 0 0 1 0 01 0 1 1 1 11 1 0 1 0 01 1 1 1 1 1所以公式类型为可满足式4.用等值演算法证明下面等值式:(2)(p→q)∧(p→r)(p→(q∧r))(4)(p∧q)∨(p∧q)(p∨q) ∧(p∧q)证明(2)(p→q)∧(p→r)(p∨q)∧(p∨r)p∨(q∧r))p→(q∧r)(4)(p∧q)∨(p∧q)(p∨(p∧q)) ∧(q∨(p∧q)(p∨p)∧(p∨q)∧(q∨p) ∧(q∨q)1∧(p∨q)∧(p∧q)∧1(p∨q)∧(p∧q)5.求下列公式的主析取范式与主合取范式,并求成真赋值(1)(p→q)→(q∨p)(2)(p→q)∧q∧r(3)(p∨(q∧r))→(p∨q∨r)解:(1)主析取范式(p→q)→(q p)(p q)(q p)(p q)(q p)(p q)(q p)(q p)(p q)(p q)(p q)(p q)(p q)∑(0,2,3)主合取范式:(p→q)→(q p)(p q)(q p)(p q)(q p)(p(q p))(q(q p))1(p q)(p q) M1∏(1)(2) 主合取范式为:(p→q)q r(p q)q r(p q)q r0所以该式为矛盾式.主合取范式为∏(0,1,2,3,4,5,6,7)矛盾式的主析取范式为 0(3)主合取范式为:(p(q r))→(p q r)(p(q r))→(p q r)(p(q r))(p q r)(p(p q r))((q r))(p q r))1 11所以该式为永真式.永真式的主合取范式为 1主析取范式为∑(0,1,2,3,4,5,6,7)第三章部分课后习题参考答案14. 在自然推理系统P中构造下面推理的证明:(2)前提:p q,(q r),r结论:p(4)前提:q p,q s,s t,t r结论:p q证明:(2)①(q r) 前提引入②q r ①置换③q r ②蕴含等值式④r 前提引入⑤q ③④拒取式⑥p q 前提引入⑦¬p(3)⑤⑥拒取式证明(4):①t r 前提引入②t ①化简律③q s 前提引入④s t 前提引入⑤q t ③④等价三段论⑥(q t)(t q) ⑤置换⑦(q t)⑥化简⑧q ②⑥假言推理⑨q p 前提引入⑩p ⑧⑨假言推理(11)p q ⑧⑩合取15在自然推理系统P中用附加前提法证明下面各推理:(1)前提:p(q r),s p,q结论:s r证明①s 附加前提引入②s p 前提引入③p ①②假言推理④p(q r) 前提引入⑤q r ③④假言推理⑥q 前提引入⑦r ⑤⑥假言推理16在自然推理系统P中用归谬法证明下面各推理:(1)前提:p q,r q,r s结论:p证明:①p 结论的否定引入②p﹁q 前提引入③﹁q ①②假言推理④¬r q 前提引入⑤¬r ④化简律⑥r¬s 前提引入⑦r ⑥化简律⑧r﹁r ⑤⑦合取由于最后一步r﹁r 是矛盾式,所以推理正确.第四章部分课后习题参考答案3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:(1) 对于任意x,均有2=(x+)(x).(2) 存在x,使得x+5=9.其中(a)个体域为自然数集合.(b)个体域为实数集合.解:F(x): 2=(x+)(x).G(x): x+5=9.(1)在两个个体域中都解释为,在(a)中为假命题,在(b)中为真命题。

离散数学课后习题答案(最新)

离散数学课后习题答案(最新)

习题参考解答习题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 ⇒∴→ 、为永真式。

离散数学第2版课后习题答案

离散数学第2版课后习题答案

离散数学第2版课后习题答案离散数学是计算机科学和数学领域中一门重要的学科,它研究离散对象及其关系、结构和运算方法。

离散数学的应用非常广泛,包括计算机科学、信息科学、密码学、人工智能等领域。

而离散数学第2版是一本经典的教材,它系统地介绍了离散数学的基本概念、原理和方法。

本文将为读者提供离散数学第2版课后习题的答案,帮助读者更好地理解和掌握离散数学的知识。

第一章:基本概念和原理1.1 命题逻辑习题1:命题逻辑的基本符号有哪些?它们的含义是什么?答:命题逻辑的基本符号包括命题变量、命题联结词和括号。

命题变量用字母表示,代表一个命题。

命题联结词包括否定、合取、析取、条件和双条件等,分别表示“非”、“与”、“或”、“如果...则...”和“当且仅当”。

括号用于改变命题联结词的优先级。

习题2:列举命题逻辑的基本定律。

答:命题逻辑的基本定律包括德摩根定律、分配律、结合律、交换律、吸收律和否定律等。

1.2 集合论习题1:什么是集合?集合的基本运算有哪些?答:集合是由一些确定的对象组成的整体,这些对象称为集合的元素。

集合的基本运算包括并、交、差和补等。

习题2:列举集合的基本定律。

答:集合的基本定律包括幂等律、交换律、结合律、分配律、吸收律和德摩根定律等。

第二章:数理逻辑2.1 命题逻辑的推理习题1:什么是命题逻辑的推理规则?列举几个常用的推理规则。

答:命题逻辑的推理规则是用来推导命题的逻辑规则。

常用的推理规则包括假言推理、拒取推理、假言三段论和析取三段论等。

习题2:使用推理规则证明以下命题:如果A成立,则B成立;B不成立,则A不成立。

答:假言推理规则可以用来证明该命题。

根据假言推理规则,如果A成立,则B成立。

又根据假言推理规则,如果B不成立,则A不成立。

2.2 谓词逻辑习题1:什么是谓词逻辑?它与命题逻辑有何区别?答:谓词逻辑是一种扩展了命题逻辑的逻辑系统,它引入了谓词和量词。

与命题逻辑不同,谓词逻辑可以对个体进行量化和描述。

(完整版)离散数学课后习题答案(第三章)

(完整版)离散数学课后习题答案(第三章)

a t a t i m e an dA l lt h i ng si nt h ei r be i ng ar eg oo df o r so me t hi n 3-5.1 列出所有从X={a,b,c}到Y={s}的关系。

解:Z 1={<a,s>}Z 2={<b,s>} Z 3={<c,s>}Z 4={<a,s>,<b,s>} Z 5={<a,s>,<c,s>} Z 6={<b,s>,<c,s>}Z 7={<a,s>,<b,s>,<c,s>}3-5.2 在一个有n 个元素的集合上,可以有多少种不同的关系。

解 因为在X 中的任何二元关系都是X ×X 的子集,而X ×X=X 2中共有n 2个元素,取0个到n 2个元素,共可组成22n 个子集,即22|)(|n X X =⨯℘。

3-5.3 设A ={6:00,6:30,7:30,…, 9:30,10:30}表示在晚上每隔半小时的九个时刻的集合,设B={3,12,15,17}表示本地四个电视频道的集合,设R 1和R 2是从A 到B 的两个二元关系,对于二无关系R 1,R 2,R 1∪R 2,R 1∩R 2,R 1⊕R 2和R 1-R 2可分别得出怎样的解释。

解:A ×B 表示在晚上九个时刻和四个电视频道所组成的电视节目表。

R 1和R 2分别是A ×B 的两个子集,例如R 1表示音乐节目播出的时间表,R 2是戏曲节日的播出时间表,则R 1∪R 2表示音乐或戏曲节目的播出时间表,R 1∩R 2表示音乐和戏曲一起播出的时间表,R 1⊕R 2表示音乐节目表以及戏曲节目表,但不是音乐和戏曲一起的节日表,R 1-R 2表示不是戏曲时间的音乐节目时间麦。

3-5.4 设L 表示关系“小于或等于”,D 表示‘整除”关系,L 和D 刀均定义于解:L={<1,2>,<1,3>,<1,6>,<2,3>,<2,6>, <3,6>,<1,1>,<2,2>,<3,3>,<6,6>}D={<1,2>,<1,3>,<1,6>,<2,6>,<3,6>,<1,1>,<2,2>,<3,3>,<6,6>} L ∩D={<1,2>,<1,3>,<1,6>,<2,6>,<3,6>,<1,1>,<2,2>,<3,3>,<6,6>}3-5.5对下列每一式,给出A 上的二元关系,试给出关系图:a){<x,y>|0≤x ∧y ≤3},这里A={1,2,3,4};b){<x,y>|2≤x,y ≤7且x 除尽y ,这里A ={n|n ∈N ∧n ≤10}c) {<x,y>|0≤x-y<3},这里A={0,1,2,3,4};d){<x,y>|x,y 是互质的},这里A={2,3,4,5,6}解:a) R={<0,0>,<0,1>,<0,2>,<0,3>, <1,0>,<1,1>,<1,2>,<1,3>, <2,0>,<2,1>,<2,2>,<2,3>, <3,0>,<3,1>,<3,2>,<3,3>,} 其关系图b) R={<2,0>,<2,2>,<2,4>,<2,6>,<3,0>,<3,3>,<3,6>, <4,0>,<4,4>, <5,0>,<5,5>,i m e an dA l lt h in gs in th ei r be i ng ar eg oo df o rsa)若R1和R2是自反的,则R1○R2也是自反的;b)若R1和R2是反自反的,则R1○R2也是反自反的;c)若R1和R2是对称的,则R1○R2也是对称的;d)若R1和R2是传递的,则R1○R2也是传递的。

离散数学课后答案详细

离散数学课后答案详细

第一章命题逻辑基本概念课后练习题答案4.将下列命题符号化,并指出真值:(1)p∧q,其中,p:2是素数,q:5是素数,真值为1;(2)p∧q,其中,p:是无理数,q:自然对数的底e是无理数,真值为1;(3)p∧┐q,其中,p:2是最小的素数,q:2是最小的自然数,真值为1;(4)p∧q,其中,p:3是素数,q:3是偶数,真值为0;(5)┐p∧┐q,其中,p:4是素数,q:4是偶数,真值为0.5.将下列命题符号化,并指出真值:(1)p∨q,其中,p:2是偶数,q:3是偶数,真值为1;(2)p∨q,其中,p:2是偶数,q:4是偶数,真值为1;(3)p∨┐q,其中,p:3是偶数,q:4是偶数,真值为0;(4)p∨q,其中,p:3是偶数,q:4是偶数,真值为1;(5)┐p∨┐q,其中,p:3是偶数,q:4是偶数,真值为0;6.(1)(┐p∧q)∨(p∧┐q),其中,小丽从筐里拿一个苹果,q:小丽从筐里拿一个梨;(2)(p∧┐q)∨(┐p∧q),其中,p:刘晓月选学英语,q:刘晓月选学日语;.7.因为p与q不能同时为真.13.设p:今天是星期一,q:明天是星期二,r:明天是星期三:(1)p→q,真值为1(不会出现前件为真,后件为假的情况);(2)q→p,真值为1(也不会出现前件为真,后件为假的情况);(3)p q,真值为1;(4)p→r,若p为真,则p→r真值为0,否则,p→r真值为1.16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。

(1)p∨(q∧r)⇔0∨(0∧1) ⇔0(2)(p↔r)∧(﹁q∨s) ⇔(0↔1)∧(1∨1) ⇔0∧1⇔0.(3)(⌝p∧⌝q∧r)↔(p∧q∧﹁r) ⇔(1∧1∧1)↔ (0∧0∧0)⇔0(4)(⌝r∧s)→(p∧⌝q) ⇔(0∧1)→(1∧0) ⇔0→0⇔117.判断下面一段论述是否为真:“π是无理数。

并且,如果3是无理数,则2也是无理数。

另外6能被2整除,6才能被4整除。

(完整版)离散数学习题答案

(完整版)离散数学习题答案

离散数学习题答案习题一及答案:(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,,()(110)1p q r ∧∧⌝⇔∧∧⌝⇔(())((11)0)(00)1p q r ⌝∨⌝→⇔⌝∨⌝→⇔→⇔()(())111p q r p q r ∴∧∧⌝↔⌝∨⌝→⇔↔⇔19、用真值表判断下列公式的类型:(2)()p p q→⌝→⌝解:列出公式的真值表,如下所示:p qp⌝q⌝()p p →⌝()p p q→⌝→⌝001111011010100101110001由真值表可以看出公式有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。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

教材习题解答第一章 集合及其运算习题8P 3. 写出方程的根所构成的集合。

2210x x ++=解:的根为,故所求集合为2210x x ++=1x =-{1}-4.下列命题中哪些是真的,哪些为假a)对每个集A ,;b)对每个集A ,;A φ∈A φ⊆c)对每个集A ,;d)对每个集A ,;{}A A ∈A A ∈e)对每个集A ,;f)对每个集A ,;A A ⊆{}A A ⊆g)对每个集A ,;h)对每个集A ,;2A A ∈2A A ⊆i)对每个集A ,;j)对每个集A ,;{}2A A ⊆{}2A A ∈k)对每个集A ,;l)对每个集A ,;2A φ∈2A φ⊆m)对每个集A ,;n);{}A A ={}φφ=o)中没有任何元素;p)若,则{}φA B ⊆22A B⊆q)对任何集A ,;r)对任何集A ,;{|}A x x A =∈{|}{|}x x A y y A ∈=∈s)对任何集A ,;t)对任何集A ,{|}y A y x x A ∈⇔∈∈;{|}{|}x x A A A A ∈≠∈答案:假真真假真假真假真假真真假假假真真真真真5.设有n 个集合且,试证:12,,,n A A A 121n A A A A ⊆⊆⊆⊆ 12nA A A === 证明:由,可得且,故。

1241n A A A A A ⊆⊆⊆⊆⊆ 12A A ⊆21A A ⊆12A A =同理可得:134nA A A A ==== 因此123nA A A A ====1.设A,B,C 为集合,并且,则下列断言哪个成立?A B A C = (1);(2);(3);(4)。

B C =A B A C = C C A B A C = C C A B A C = 答案:d 。

在两边同时并上A 即得。

C C A B A C = A B A C = 2.设A,B,C 为任意集合,化简()()()()()()()C C C C C C C C C A B C A B C A B C A B C A B C A B C A B C证:证1:原式=()()()()C C C C B C A B B C A B C ()()()()()(())C C C C C C B A B A B C A B A B C A B A B C A B C==== 证2:令原式=T ,全集为S ,则且,()C C C S T A B C = ()C C C T A B C φ= 故 。

()C C C C T A B C A B C == 3.证明:(1);(2);()()C C A B A B A B ∆= ()()()C C C A B A B A B ∆= (3)()()()C C C A B A B A B ∆= 证:(1)()()(())(())C C C C A B A B A B A A B B = ()()C C B A A B = (\)(\)()A B B A A B ==∆ (2)证: 〔根据(1)〕()C A B ∆(()())C C C A B A B = ()()()()C C C C C C A B A B A B A B == (3)证:()()C C A B A B = (())(())C C C A B A A B B 〔根据(2)〕()()C C A B A B = ()C A B =∆4.设和是集合S 的子集的两个序列,对,有12,,M M 12,,N N ,,1,2,i j i j ≠= 。

令。

试证:i j N N φ= 1111,(),2,3,n C n n k k Q M Q M M n -==== 。

1()nn n i i i N Q N M =∆⊆∆反证法:假设题中结论不成立,则。

,,1,2,3,,1i i n m i mn +≤≤=+ 令,,则是单射。

:{1,2,,}{1,2,,},i A n m u A ϕ→⨯∀∈ ()(,)i i i u ϕ+-= ϕ实际上,且,则,i j u u A ∀∈()i j u u i j ≠<若,则,所以;i j u u >i j -- >(,)(,)i i j j +-+-≠ 即。

()i u ϕϕ≠()j u 若,则,所以;i j u u <i j ++ >(,)(,)i i j j +-+-≠ 即。

()()i j u u ϕϕ≠故为单射,从而就有矛盾。

ϕ1mn mn +≤习题43P 1. 证明:从一个边长为1的等边三角形中任意选5个点,那么这5个点中必有2个点,它们之间的距离至多为1/2,而任意10个点中必有2个点其距离至多是1/3。

证:(1) 将边长为1的等边三角形4等分,得到4个边长为1/2的小等边三角形。

任给5个点,由鸽巢原理可知必有一个小等边三角形里面至少有2个点,又因为小等边三角形中任意两个点之间的距离至多为1/2,因此5个点中必有2个点,它们之间的距离至多为1/2。

(2) 连接各边的三等分点,则可得到9个边长都为1/3的小等边小角形,每个小等边三角形中任意两个点之间的距离至多为1/3。

将10个点放入该大等边三角形中,则由鸽洞原理,必有一个小等边三角形中至少有2个点,因此任意10个点中必有2个点其距离至多为1/3。

2.已知个整数,试证:存在两个整数,使得m 12,,m a a a ,,0k k m ≤≤ <能被整除。

12k k a a a +++++ m 证:考察下式:11212312m a a a a a a a a a ++++++若第式能被整除,则显然成立,此时;i m 0,k i == 若任一式都不能被整除,则考察各式被整除后的余数,如下式:m m 11112221233312m m m a q m r a a q m r a a a q m r a a a q m r =++=+++=++++=+由于每一个都不能被整除,故共有个余数—相当于个物体。

而任意m m m 整数被除后,只有-1个余数——相当于-1抽屉,于是由鸽巢原理可知m m m 必有两个余数相等。

设这两个余数为,对应两式相减便有:,,()i j r r i j i j ≠<可被整除,此时。

12i i j a a a +++++ m ,k i j == 3. 证明在52个整数中,必有两个整数,使这两个整数之和或差能被100整除。

证:设是52个整数,令为被100除后所得的余数,即1252,,,a a a i γi a [相当于52个物体]。

100,099,1,2,,52i i i i a q i γγ=+≤≤= 任意一个整数被100除以后的余数为0,1,2,…,99,把它们分成51个类,即{0},{1,99},{2,98},…{49,51},{50}[相当于51个盒子]。

把52个余数放入到51个类中,必在两个余数放在一个类里。

,1,2,,52i i γ= 设在一个类中的两个余数分别为与,。

则有i γj γi j ≠(1)若,则,即能被100整除。

i j γγ≠0i j γγ+=i j a a +(2),则,即能被100整除。

i j γγ=0i j γγ-=i j a a -5.设为的任一排列,若n 是奇数且12,,,n a a a 1,2,3,,n ,12(1)(2)()0n a a a n ---≠ 则乘积为偶数。

解:反证法:若为奇数,则中的与必是一12(1)(2)()n a a a n --- ()i a i -i a i5.任一偶置换均可被分解成3-循环置换(123),(124)…(12n )中若干之乘积。

证:,,,{1,2,,}, ,i j s t n i j s t∀∈≠≠ ()()(1)(1)(1)(2)(2)(2)ij st i j i s t s =(1)(1)(2)(1)(2)(2)i j s j t s =(1)(2)(1)(2)(1)(2)i s j t i s =(12)(12)(12)(12)s i t j =(1 2 )(1 2 )s i 因为1212(12)(12)2121s i s i s i ⎛⎫⎛⎫= ⎪⎪⎝⎭⎝⎭12(1)(2)21s i i s i s ⎛⎫== ⎪⎝⎭1212(12)(12)2121t j t j t j ⎛⎫⎛⎫= ⎪⎪⎝⎭⎝⎭12(1)(2)21t j j t j t ⎛⎫==⎪⎝⎭因此本题得证。

6. 证明下列置换等式(1)1111()()()()h k h k ac c bd d ab ac c bd d = 证:1211112312()()()h k h k a c c c b d d ac c bd d ab ab c c c b d d a ⎛⎫= ⎪⎝⎭ =12112312h k a c c c b d d c c c a d d b ⎛⎫ ⎪⎝⎭11()()h k ac c bd d = (2)11()()()h k ac c bd d ab 111212()h k a c c b d d ab c c a d d b ⎛⎫= ⎪⎝⎭11111212()h k h k a c c b d d ac c bd d c c b d d a ⎛⎫== ⎪⎝⎭8.在所有的n 次置换中,有多少个n —循环置换?解:1212231(,,,)n n i i i i i i i i i ⎛⎫= ⎪⎝⎭ 对,有n 种选择1i 对,有(n-1)种选择2i ……对有1种选择n i第三章 关 系习题86P 1.给出一个既不是自反的又不是反自反的二元关系?解:设R 是X 上的一个二元关系且即可。

(,,),X a b c ={(,),(,)}R a a a b =2.是否存在一个同时不满足自反性,对称性,反对称性,传递性和反自反性的二元关系?解:存在。

设,R 是X 上的二元关系。

{,,}X a b c ={(,),(,),(,),(,)}R a a a c a b c a =3.设R ,S 是X 上的二元关系,下列命题哪些成立:a )若R 与S 是自反的,则分别也是自反的。

,R S R Sb ) 若R 与S 是对称的,则分别对称的,R S R Sc ) 若R 与S 是传递的,则也是传递的R Sd ) 若R 与S 不是自反的,则也不是自反的R Se ) 若R 与S 是反自反的,则也是反自反的,R S R Sf ) 若R 是自反的,则也是反自反的。

c R g ) 若R 与S 是传递的,则R\S 是传递的答案:真真真假真真假4.实数集合上的“小于”关系是否市反自反的?集合X 的幂集上的“真包含”<关系是否是反自反的?为什么?⊂证:实数集合上的“小于”关系是反自反的;<集合X 的幂集上的“真包含”关系也是反自反的。

相关文档
最新文档