离散数学课后习题答案.pdf

合集下载

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

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

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

离散数学课后答案(第1-2-4章)武汉大学出版社

离散数学课后答案(第1-2-4章)武汉大学出版社

离散数学课后答案(第1-2-4章)武汉大学出版社习题1.11、(1)否(2)否(3)是,真值为0(4)否(5)是,真值为12、(1)P:天下雨Q:我去教室┐P →Q(2)P:你去教室Q:我去图书馆P →Q (3)P,Q同(2)Q →P(4)P:2是质数Q:2是偶数P∧Q3、(1)0(2)0(3)14、(1)如果明天是晴天,那么我去教室或图书馆。

(2)如果我去教室,那么明天不是晴天,我也不去图书馆。

(3)明天是晴天,并且我不去教室,当且仅当我去图书馆。

习题1.21、(1)是(2)是(3)否(4)是(5)是(6)否2、(1)(P →Q) →R,P →Q,R,P,Q (2)(┐P∨Q) ∨(R∧P),┐P ∨Q,R∧P,┐P,Q,R,P(3)((P →Q) ∧(Q →P)) ∨┐(P →Q)),(P →Q) ∧(Q →P),┐(P →Q),P →Q,(Q →P),P →Q,P,Q,Q,P,P,Q3、(1)((P →Q) →(Q →P)) →(P →Q) (2)((P →Q) ∨((P →Q) →R))→((P →Q) ∧((P →Q) →R))(3)(Q →P∧┐P) →(P∧┐P →Q)4、(P →Q) ∨((P∧Q) ∨(┐P∧┐Q)) ∧(┐P∨Q)习题1.31、(1)I(P∨(Q∧R)) = I(P)∨(I(Q)∧I(R)) = 1∨(1∧0) = 1(2)I((P∧Q∧R)∨(┐(P∨Q)∧┐(R∨S))) = (1∧1∧0)∨(┐(1∨1)∧┐(0∨1)) = 0∨(0∧0) = 0 (3)I((P←→R)∧(┐Q→S)) = (1←→0)∧(┐1→1) = 0∧1 = 0(4)I((P∨(Q→R∧┐P))←→(Q∨┐S)) = (1∨(1→(0∧┐1)))←→(1∨┐1) = 1←→1 = 1(5)I(┐(P∧Q)∨┐R∨((Q←→┐P)→R∨┐S)) = ┐(1∧1)∨┐0∨((1←→┐1)→(0∨┐1)) = 0∨1∨1 = 12、(1)P Q P→Q Q∧(P→Q) Q∧(P→Q)→P0 0 1 0 10 1 1 1 01 0 0 0 11 1 1 1 1(2)P Q R Q∧R ┐(P∨(Q∧R)) P∨Q P∨R(2)原式<=> ┐T∨(┐(┐P∨Q)∨(┐┐Q∨┐P)) <=> (P∧┐Q)∨(Q∨┐P)<=> (P∧┐Q)∨┐(P∧┐Q) <=> T 原式为永真式(3)原式<=> ┐(P∧Q) ←→┐(P∧Q) <=> T 原式为永真式(4)原式<=> P∧(Q∨R) ←→P∧(Q∨R) <=> T 原式为永真式(5)原式<=> ┐(P∨┐Q)∨Q <=> (┐P∧Q)∨Q <=> Q 原式为可满足式(6)原式<=> ┐(P∧Q)∨P <=> ┐P∨┐Q∨P <=> T∨┐Q <=> T 原式为永真式(7)原式<=> (┐P∨P∨Q)∧┐P <=> (T∨Q)∧┐P<=> T∧┐P <=> ┐P 原式为可满足式(8)原式<=> ┐((P∨Q) ∧(┐Q∨R))∨(┐P ∨R) <=> (P∧┐Q)∨(Q∧┐R)∨(┐P∨R)<=> ((P∧┐Q)∨┐P)∨((Q∧┐R)∨R)<=>(( P∨┐P)∧(┐Q∨┐P))∨(( Q∨R)∧(┐R ∨R))<=> (┐Q∧┐P)∨( Q∨R) <=> T 原式为永真式4、(1)左<=> ┐P∨┐Q∨P <=> ┐┐P∨(┐P ∨┐Q) <=> 右(2)左<=> ┐(┐P∨Q) <=> 右(3)左<=> ┐(P∧Q)∨P <=> ┐P∨┐Q∨P <=> T∨┐Q <=> 右(4)左<=> ┐(P→Q)∨┐(Q→P) <=> (P∧┐Q)∨(Q∧┐P) <=> 中<=> ((P∧┐Q)∨Q)∧((P∧┐Q)∨┐P)<=> (P∨Q)∧(┐Q∨Q)∧(P∨┐P)∧(┐Q∨┐P)<=> (P∨Q)∧┐(P∧Q) <=> 右(5)左( P Q) ( R Q) (P Q) Q 右5.(1)左Q P Q 右(2)(P (Q R)) ((P Q) (P R))( P Q R) ( P Q) ( P R)(P Q R) (P Q) P R(P Q R) ((P P) ( Q P)) R(P Q R) ( Q P R)(P Q R) (P Q R)T故P (Q R) (P Q) (P R)(3).(P Q) (P P Q)( P Q) P (P Q)( P Q) ( P P) ( P Q)( P Q) ( P Q)T故P Q P P Q(4).((P Q) Q) P Q( ( P Q) Q) P Q(( P Q) Q) P Q( P Q) (Q Q) P Q(P Q) (P Q)T故(P Q) Q P Q(5).((P P) Q) ((P P) R) (Q R) (( T Q) ( T R)) Q R(Q R) Q RQ R Q RQ TT故((P P) Q) ((P P) R) Q R(6)左(Q F) (R F)( Q F) ( R F)Q RRR Q 右6.(1)原式( P Q R)(2)原式P Q P (P Q P)(3)原式P (Q R P) P Q R ( P Q R)7.(1)原式( P Q P)(2)原式( P Q R) P Q ( ( P Q R) P Q)(3)原式P Q (R P) (P Q (R P))8. (1) (P Q) (( P ( P Q)) R) P(2)(P Q R) ( P R)(3)(P F) (Q T)习题1.41.(1)原式( P Q) (( P Q) (Q P))( P Q) (Q P)(P Q) Q PQ P,既是析取范式又是合取范式(2)原式(( P Q) ( P Q)) ( ( P Q) ( P Q))(P Q) (P Q) 析取范式P (Q Q)合取范式(3)原式P Q S ( P Q)析取范式( P ( P Q)) Q SP Q S合取范式(4)原式P P Q Q R既是析取范式又是合取范式2.(1)原式P Q R为真的解释是:000,001,011,100,101,110,111故原式的主析取范式为:( P Q R) ( P Q R) ( P Q R) (P Q R) (P QR) (P Q R) (P Q R)(2)原式(P Q) R(P Q (R R)) ((P P) R)(P Q R) (P Q R) (P Q) ( P R)(P Q R) (P Q R) (P (Q Q) R) ( P (Q 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)为真的解释是101,100,111,011,001(3)原式( P (Q R)) (P ( Q R))(( P (Q R)) P) (( P (Q R)) ( Q R))( P P) (Q P R) ( P Q R) (Q R Q R)(P Q R) ( P Q R)为真的解释是:000,111(4)原式P P Q Q R P Q R为真的解释是:001,010,011,100,101,110,111故原式的主析取范式为:( P Q R) ( P Q R) ( P Q R) (P Q R) (P QR) (P Q R) (P Q R)3.(1)原式P Q P Q T主合取范式,无为假的解释。

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

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

习题参考解答习题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。

离散数学习题解答(祝清顺版)

离散数学习题解答(祝清顺版)
2
(1) 错误; (2) 正确; (3) 正确; (4) 错误; (5) 错误; (6) 错误; (7) 正确; (8) 正确; (9) 错误; (10) 错误. 10. (1) {d}; (2) {a, c, e}; (3) {a, b, c, e}; (4) {b, d, e}. 11. 各集合的文氏图如图所示(阴影部分).
5
195 = 1 ∙ 154 + 41 154 = 3 ∙ 41 + 31 41 = 1 ∙ 31 +10 31 = 3 ∙ 10 +1 10=10 ∙ 1 +0 所以, gcd(934, 195) = 1. 代回去, 有 gcd(540, 168) = 1 = 31 3 ∙ 10 = 31 3 ∙ (41 1∙31) = 4 ∙ 31 3 ∙ 41 = 4 ∙ (154 3 ∙ 41) 3 ∙ 41 = 4 ∙ 154 15 ∙ 41 = 4 ∙ 154 15 ∙ (1951 ∙ 154) = 19 ∙ 154 15 ∙ 195 = 19 ∙ (934 4 ∙ 195) 15 ∙ 195 = 19 ∙ 934 91 ∙ 195 故 gcd(540, 168) = 19 ∙ 934 91 ∙ 195, 其中 m=19, n = 91. (2) 方法同(1). 计算可得: gcd(369, 25) = 1, gcd(369, 25)= 4 ∙ 369 59 ∙ 25, 其中 m=4, n = 59. (3) 方法同(1). 计算可得: gcd(369, 25) = 33, gcd(369, 25)= 8 ∙ 165 1 ∙ 1287, 其中 n=8, m = 1. (4) 方法同(1). 计算可得: gcd(369, 25) = 2, gcd(369, 25)= 17 ∙ 42 2 ∙ 256, 其中 n=8, m = 1. 32. 由定理 1.3.8, 可得 ab=lcm(a, b)gcd(a, b)=24 ∙ 144. 由已知条件 a+b=120, 根据根与 系数的关系可构造一个一元二次方程 x2120x+24 ∙ 144=0 解之得, x1=72, x2=48. 由此可得 a=72, b=48 或 a=48, b=72. 33. (1) 运用辗转相除法可得 10920 = 1 ∙ 8316 + 2604 8316 = 3 ∙ 2604 + 504 2604 = 5 ∙ 504 + 84 504 = 6 ∙ 84 +0 所以, gcd(934, 195) = 84. (2) 对于(1)中各式回代过去, 有 gcd(10920, 8316) = 84 = 2604 5 ∙ 504 = 2604 5 ∙ (8316 3 ∙ 2604) = 16 ∙ 2604 5 ∙ 8316 = 16 ∙ (10920 1 ∙ 8316) 5 ∙ 8316 = 16 ∙ 10920 21 ∙ 8316 故 gcd(10920, 8316) = 21 ∙ 8316+16 ∙ 10920, 其中 m = 21, n=16. (3) 由最大公因子与最小公倍数的关系, 有 ab 8316 10920 =1081080. lcm(a, b) gcd(a, b) 84

离散数学课后习题答案

离散数学课后习题答案

1.3.1习题1.1解答1设S = {2,a,{3},4},R ={{a},3,4,1},指出下面的写法哪些是对的,哪些是错的?{a}∈S,{a}∈R,{a,4,{3}}⊆S,{{a},1,3,4}⊂R,R=S,{a}⊆S,{a}⊆R,φ⊆R,φ⊆{{a}}⊆R⊆E,{φ}⊆S,φ∈R,φ⊆{{3},4}。

解:{a}∈S ,{a}∈R ,{a,4,{3}} ⊆ S ,{{a},1,3,4 } ⊂ R ,R = S ,{a}⊆S ,{a}⊆ R ,φ⊆ R ,φ⊆ {{a}} ⊆ R ⊆ E ,{φ} ⊆ S ,φ∈R ,φ⊆ {{3},4 } 2写出下面集合的幂集合{a,{b}},{1,φ},{X,Y,Z}解:设A={a,{b}},则ρ(A)={ φ,{a},{{b}},{a,{b}}};设B={1,φ},则ρ(B)= { φ,{1},{φ},{1,φ}};设C={X,Y,Z},则ρ(C)= { φ,{X},{Y},{Z},{X,Y },{X,Z },{ Y,Z },{X,Y,Z}};3对任意集合A,B,证明:(1)A⊆B当且仅当ρ(A)⊆ρ(B);(2)ρ(A)⋃ρ(B)⊆ρ(A⋃B);(3)ρ(A)⋂ρ(B)=ρ(A⋂B);(4)ρ(A-B) ⊆(ρ(A)-ρ(B)) ⋃{φ}。

举例说明:ρ(A)∪ρ(B)≠ρ( A∪B)证明:(1)证明:必要性,任取x∈ρ(A),则x⊆A。

由于A⊆B,故x⊆B,从而x∈ρ(B),于是ρ(A)⊆ρ(B)。

充分性,任取x∈A,知{x}⊆A,于是有{x}∈ρ(A)。

由于ρ(A)⊆ρ(B),故{x}∈ρ(B),由此知x∈B,也就是A⊆B。

(2)证明:任取X∈ρ(A)∪ρ(B),则X∈ρ(A)或X∈ρ(B)∴X⊆A或X⊆B∴X⊆(A∪B)∴X∈ρ(A∪B)所以ρ(A)∪ρ(B) ⊆ρ( A∪B)(3)证明:先证ρ(A)∩ρ(B) ⊆ρ( A∩B)任取X∈ρ(A)∩ρ(B),则X∈ρ(A)且X∈ρ(B)∴X⊆A且X⊆B∴X⊆ A∩B∴X∈ρ( A∩B)所以ρ(A)∩ρ(B) ⊆ρ( A∩B)再证ρ( A∩B) ⊆ρ(A)∩ρ(B)任取Y∈ρ(A∩B),则Y⊆ A∩B∴Y⊆A且Y⊆B∴Y∈ρ(A)且Y∈ρ(B)∴Y∈ρ(A)∩ρ(B)所以ρ( A∩B) ⊆ρ(A)∩ρ(B)故ρ(A)∩ρ(B) = ρ( A∩B)得证。

离散数学习题的答案解析

离散数学习题的答案解析

离散数学习题答案习题一及答案:(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 →⌝→⌝解:列出公式的真值表,如下所示:20、求下列公式的成真赋值:(4)()p q q ⌝∨→解:因为该公式是一个蕴含式,所以首先分析它的成假赋值,成假赋值的条件是:()10p q q ⌝∨⇔⎧⎨⇔⎩⇒00p 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。

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

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

离散数学课后习题答案1. 第一章习题答案1.1 习题一答案1.1.1 习题一.1 答案根据题意,设集合A和B如下:Set A and BSet A and B在此情况下,我们可以得出以下结论:•A的幂集为{ {}, {a}, {b}, {a, b} };•B的幂集为{ {}, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3} };•A和B的笛卡尔积为{ (a, 1), (a, 2), (a, 3), (b, 1), (b, 2), (b, 3) }。

因此,习题一.1的答案为:•A的幂集为{ {}, {a}, {b}, {a, b} };•B的幂集为{ {}, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3} };•A和B的笛卡尔积为{ (a, 1), (a, 2), (a, 3), (b, 1), (b,2), (b, 3) }。

1.1.2 习题一.2 答案根据题意,集合A和B如下所示:Set A and BSet A and B根据集合的定义,习题一.2要求我们判断以下命题的真假性:a)$A \\cap B = \\{ 2, 3 \\}$b)$\\emptyset \\in B$c)$A \\times B = \\{ (a, 2), (b, 1), (b, 3) \\}$d)$B \\subseteq A$接下来,我们来逐个判断这些命题的真假性。

a)首先计算集合A和B的交集:$A \\cap B = \\{ x\\,|\\, x \\in A \\, \\text{且} \\, x \\in B \\} = \\{ 2, 3 \\}$。

因此,命题a)为真。

b)大家都知道,空集合是任意集合的子集,因此空集合一定属于任意集合的幂集。

根据题意,$\\emptyset \\in B$,因此命题b)为真。

c)计算集合A和B的笛卡尔积:$A \\times B = \\{ (x, y) \\,|\\, x \\in A \\, \\text{且} \\, y \\in B \\} = \\{ (a, 1), (a, 2), (a, 3), (b, 1), (b, 2), (b, 3) \\}$。

邱学绍离散数学课后习题答案及全解指南

邱学绍离散数学课后习题答案及全解指南
3.证明 因为,{ ¬,∨,∧, →, ↔ }是功能完备联结词集,所以,含有{ ¬,∨,∧, →, ↔ }外的其他联结 词的公式均可以转换为仅含{ ¬,∨,∧, →, ↔ }中的联结词的公式。
7
/wenda
实用文章
又因为 p → q ⇔ ¬p ∨ q p ↔ q ⇔ ( p → q) ∧ (q → p) ⇔ (¬p ∨ q) ∧ (¬q ∨ p) 即含有 →, ↔ 的公式均可以转换为仅含{ ¬,∨,∧ }中的联结词的公式。因此,含{ ¬,∨,∧ }外其他联结词的
表 2-11
p
q
r
p → q q → r ( p → q) ∧ (q → r) p → r
A
0
0
0
1
1
1
1
1
0
0
1
1
1
1
1
1
0
1
0
1
0
0
1
1
0
1
1
1
1
1
1
1
1
0
0
0
1
0
0
1
3 /wenda
实用文章
1
0
1
0
1
0
1
1
1
1
0
1
⑶设 A=(p→q)↔(¬p↔q),其真值表如表 2-10 所示:
表 2-10
p
q
¬p
¬p ↔ q
p→q
A
0
0
1
0
1
0
0
1
1
1
1
1
0
1
1
0
0
1
0

离散数学第二版课后答案pdf

离散数学第二版课后答案pdf

离散数学第二版课后答案pdf选择题:1. 以下哪个函数不是单射?A. f(x)=x+1B. f(x)=x²C. f(x)=sin(x)D. f(x)=|x|2. 设 A={1,2,3},B={2,3,4},则A∪B=?A. {1,2,3,4}B. {2,3}C. {1,2,3}D. {1,2,3,4,5}3. 若 5n+1 是完全平方数,则 n 的取值范围是?A. n 是任意自然数B. 1、3、11C. 2、3、7D. 0、2、84. 若 P(A)=0.4,P(B)=0.3,P(AB)=0.1,则P(A∪B)=?A. 0.2B. 0.3C. 0.4D. 0.55. 在一个 10 个点的完全图中,不同颜色的边有红、蓝、绿三色,其中红边有 3 条,蓝边有 2 条,绿边有 5 条,则将这 10 个点分成涂3 种颜色的三部分的方案数为?A. 6552B. 1260C. 3150D. 5040选择题答案:1. C2. D3. B4. A5. C填空题:1. 用 1,2,3,4,5 这 5 个数字,能组成多少个长度为 3 的无重复的数字串?答:602. 已知 a+b=7,a-b=3,则 a²-b²=?答:203. 一个无向图有 8 条边,则它的图的边数有多大范围?答:4≤边数≤284. 在一组含有 5 个正整数的数列中,最大值是最小值的 3 倍,则这5 个数中的最小值不能小于多少?答:55. 若 G 是一个有 n 个点的简单无向图,且 G 不是完全图,则 G 中边的数量最少是多少?答:n填空题答案:1. 602. 203. 4≤边数≤284. 55. n解答题:1. 一张简单无向图 G 有 10 个顶点和 20 条边,证明 G 中至少有 3 个度数为偶数的顶点。

答:设 G 中度数为奇数的点的个数为 x,度数为偶数的点的个数为 y,则 x+y=10,2x+4y=40,化简得 x=2y-10,由于每个点的度数都是偶数或奇数,所以 2x+20-y 是偶数,即 2(2y-10)+20-y=3y-10 是偶数,即 y 是奇数。

离散数学第四版课后标准答案

离散数学第四版课后标准答案

离散数学第四版课后答案第1章习题解答1.1 除(3),(4),(5),(11)外全是命题,其中,(1),(2),(8),(9),(10),(14),(15)是简单命题,(6),(7),(12),(13)是复合命题。

分析首先应注意到,命题是陈述句,因而不是陈述句的句子都不是命题。

本题中,(3)为疑问句,(5)为感叹句,(11)为祈使句,它们都不是陈述句,所以它们都不是命题。

其次,4)这个句子是陈述句,但它表示的判断结果是不确定。

又因为(1),(2),(8),(9),(10),(14),(15)都是简单的陈述句,因而作为命题,它们都是简单命题。

(6)和(7)各为由联结词“当且仅当”联结起来的复合命题,(12)是由联结词“或”联结的复合命题,而(13)是由联结词“且”联结起来的复合命题。

这里的“且”为“合取”联结词。

在日常生活中,合取联结词有许多表述法,例如,“虽然……,但是……”、“不仅……,而且……”、“一面……,一面……”、“……和……”、“……与……”等。

但要注意,有时“和”或“与”联结的是主语,构成简单命题。

例如,(14)、(15)中的“与”与“和”是联结的主语,这两个命题均为简单命题,而不是复合命题,希望读者在遇到“和”或“与”出现的命题时,要根据命题所陈述的含义加以区分。

1.2 (1)p: 2是无理数,p为真命题。

(2)p:5能被2整除,p为假命题。

(6)p→q。

其中,p:2是素数,q:三角形有三条边。

由于p与q都是真命题,因而p→q为假命题。

(7)p→q,其中,p:雪是黑色的,q:太阳从东方升起。

由于p为假命题,q为真命题,因而p→q为假命题。

(8)p:2000年10月1日天气晴好,今日(1999年2月13日)我们还不知道p的真假,但p的真值是确定的(客观存在的),只是现在不知道而已。

(9)p:太阳系外的星球上的生物。

它的真值情况而定,是确定的。

1(10)p:小李在宿舍里. p的真值则具体情况而定,是确定的。

(完整版)洪帆《离散数学基础》(第三版)课后习题答案

(完整版)洪帆《离散数学基础》(第三版)课后习题答案

(完整版)洪帆《离散数学基础》(第三版)课后习题答案第1章集合1、列举下列集合的元素 (1) 小于20的素数的集合 (2) 小于5的非负整数的集合(3) 2{|,10240515}i i I i i i ∈--<≤≤且答:(1) {1,3,5,7,11,13,17,19}(2) {0,1,2,3,4} (3) {5,6,7,8,9,10,11}2、用描述法表示下列集合 (1) 12345{,,,,}a a a a a 答:{|,15}i a i Ii ∈≤≤ (2) {2,4,8,}L 答:{2|}i i N ∈ (3) {0,2,4,100}L答:{2|,050}i i Z i ∈≤≤3、下面哪些式子是错误的?(1) {}{{}}a a ∈ 答:正确 (2) {}{{}}a a ? 答:错误(3) {}{{},}a a a ∈ 答:正确 (4) {}{{},}a a a ? 答:正确4、已给{2,,{3},4}S a =和{{},3,4,1}R a =,指出下面哪些论断是正确的?哪些是错误的?(1) {}a S ∈ 错误(2) {}a R ∈ 正确 (3) {,4,{3}}a S ? 正确 (4) {{},1,3,4}a R ? 正确 (5)R S = 错误 (6) {}a S ? 正确 (7) {}a R ?错误(8) R φ?正确(9) {{}}a R φ?? 正确(10) {}S φ?错误(11) R φ∈错误(12) {{3},4}φ?正确5、列举出集合,,A B C 的例子,使其满足A B ∈,B C ∈且A C ?答:{}A a =,{{}}B a =,显然A B ∈,{{{}}}C a =,显然B C ∈,但是A C ?。

6、给出下列集合的幂集 (1) {,{}}a b答:幂集{,{},{{}},{,{}}a b a b φ (2) {,,{}}a a φ答:幂集{,{},{},{{}},{,},{,{}},{,{}},{,,{}}}a a a a a a a a φφφφφ 7、设{}A a =,给出A 和2A 的幂集答:2{,{}}A a φ= 22{,{{}},{{}},{,{}}}Aa a φφφ=8、设128{,,,}A a a a =L 由17B 和31B 所表示的A 的子集各是什么?应如何表示子集2,67{,}a a a 和13{,}a a 答:170001000148{,}B B a a ==310001111145678{,,,,}B B a a a a a ==2,670100011070{,}a a a B B ==,1310100000160{,}a a B B ==9、设{1,2,3,4,5}U =,{1,4}A =,{1,2,5}B =,{2,4}C =,确定集合: (1) A B '? (2) ()A B C '?? (3) ()A B C ?? (4)()()A B A C (5) ()A B '? (6) A B ''? (7) ()B C '? (8)B C ''? (9) 22A C - (10)22A C ? 答:(1) {3,4}B '=,{4}A B '?=(2) {1}A B ?=,{1,3,5}C '=,(){1,3,5}A B C '??= (3) {2}B C ?=,(){1,2,4}A B C ??=(4) {1,2,4,5}A B ?=,{1,2,4}A C ?=,()(){1,2,4}A B A C = (5) (){2,3,4,5}A B '?= (6) {2,3,5}A '=,{2,3,4,5}A B ''?= (7) {1,2,4,5}BC ?=,(){3}B C '?= (8) {3,4}B '=,{1,3,5}C '=,{3}B C ''?=(9) 2{,{1},{4},{1,4}}A φ=,2{,{2},{4}{24}}C φ=,,,22{{1},{1,4}}A C -= (10) 22{,{4}}A C φ?=10、给定自然数集N 的下列子集:{1,2,7,8}A =,2{|50}B i i =<,{|330}C i i i =≤≤可被整数,0{|2,,06}k D i i k Z k ==∈≤≤求下列集合: (1) (())A B C D 答:{1,2,3,4,5,6,7}B =,{0,3,6,9,12,15,18,21,24,27,30}C =,{1,2,4,8,16,32,64}D =(()){0,1,2,3,4,5,6,7,8,9,12,15,16,18,21,24,27,30,32,64}A B CD = (2) (())A B C D φ=(3) ()B A C -?解:{0,1,2,3,6,7,8,9,12,15,18,21,24,27,30}A C ?=,(){4,5}B A C -?= (4) ()A B D '??解:{3,4,5,6}A B B A '?=-=,(){1,2,3,4,5,6,8,16,32,64}A B D '??=11、给定自然数集N 的下列子集{|12}A n n =<,{|8}B n n =≤,{|2,}C n n k k N ==∈,{|3,}D n n k k N ==∈ {|21,}E n n k k N ==-∈将下列集合表示为由,,,,A B C D E 产生的集合:(1) {2,4,6,8} (2){3,6,9} (3){10} (4){|369}n n n n ==≥或或(5) {|109}n n n n n ≤>是偶数且或是奇数且 (6) {|6}n n 是的倍数答:{1,2,3,4,5,6,7,8,9,10,11}A =,{1,2,3,4,5,6,7,8}B ={2,4,6,8,}C =L ,{3,6,9,12,}D =L ,{1,3,5,7,}E =L {2,4,6,8}B C =? {3,6,9}=A D ? {10}=(())A B D E ---(4){|369}n n n n ==≥=或或{3}{6}{9,10,11,12,}??L{3,6,9,10,11,12,}()A D B '==??L(5) {2,4,6,8,10,11,13,15,}(()())(())A E E B A D B =-?--?-L (6) {|6}{6,12,18,24,30}n n ==L 是的倍数C D ?12、判断以下哪些论断是正确的,哪些论断是错误的,并说明理由。

离散数学第四版课后标准答案

离散数学第四版课后标准答案

离散数学第四版课后标准答案离散数学第四版课后答案第1章习题解答1.1 除(3),(4),(5),(11)外全是命题,其中,(1),(2),(8),(9),(10),(14),(15)是简单命题,(6),(7),(12),(13)是复合命题。

分析⾸先应注意到,命题是陈述句,因⽽不是陈述句的句⼦都不是命题。

本题中,(3)为疑问句,(5)为感叹句,(11)为祈使句,它们都不是陈述句,所以它们都不是命题。

其次,4)这个句⼦是陈述句,但它表⽰的判断结果是不确定。

⼜因为(1),(2),(8),(9),(10),(14),(15)都是简单的陈述句,因⽽作为命题,它们都是简单命题。

(6)和(7)各为由联结词“当且仅当”联结起来的复合命题,(12)是由联结词“或”联结的复合命题,⽽(13)是由联结词“且”联结起来的复合命题。

这⾥的“且”为“合取”联结词。

在⽇常⽣活中,合取联结词有许多表述法,例如,“虽然……,但是……”、“不仅……,⽽且……”、“⼀⾯……,⼀⾯……”、“……和……”、“……与……”等。

但要注意,有时“和”或“与”联结的是主语,构成简单命题。

例如,(14)、(15)中的“与”与“和”是联结的主语,这两个命题均为简单命题,⽽不是复合命题,希望读者在遇到“和”或“与”出现的命题时,要根据命题所陈述的含义加以区分。

1.2 (1)p: 2是⽆理数,p为真命题。

(2)p:5能被2整除,p为假命题。

(6)p→q。

其中,p:2是素数,q:三⾓形有三条边。

由于p与q都是真命题,因⽽p→q为假命题。

(7)p→q,其中,p:雪是⿊⾊的,q:太阳从东⽅升起。

由于p为假命题,q为真命题,因⽽p→q为假命题。

(8)p:2000年10⽉1⽇天⽓晴好,今⽇(1999年2⽉13⽇)我们还不知道p的真假,但p的真值是确定的(客观存在的),只是现在不知道⽽已。

(9)p:太阳系外的星球上的⽣物。

它的真值情况⽽定,是确定的。

1(10)p:⼩李在宿舍⾥. p的真值则具体情况⽽定,是确定的。

离散数学答案解析屈婉玲版第二版高等教育出版社课后答案解析

离散数学答案解析屈婉玲版第二版高等教育出版社课后答案解析

离散数学答案屈婉玲版第二版高等教育出版社课后答案第一章部分课后习题参考答案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整除。

”答:p: π是无理数 1q: 3是无理数0r: 2是无理数 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∨r⇔1所以公式类型为永真式(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∧r⇔0所以该式为矛盾式.主合取范式为∏(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∧1⇔1所以该式为永真式.永真式的主合取范式为 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)在两个个体域中都解释为)(x xF ∀,在(a )中为假命题,在(b)中为真命题。

离散数学(第三版)陈建明,刘国荣课后习题答案

离散数学(第三版)陈建明,刘国荣课后习题答案

离散数学辅助教材概念分析结构思想与推理证明第一部分集合论刘国荣交大电信学院计算机系离散数学习题解答习题一(第一章集合)1. 列出下述集合的全部元素:1)A={x | x ∈N∧x是偶数∧x<15}2)B={x|x∈N∧4+x=3}3)C={x|x是十进制的数字}[解] 1)A={2,4,6,8,10,12,14}2)B=∅3)C={0,1,2,3,4,5,6,7,8,9}2. 用谓词法表示下列集合:1){奇整数集合}2){小于7的非负整数集合}3){3,5,7,11,13,17,19,23,29}[解] 1){n n∈I∧(∃m∈I)(n=2m+1)};2){n n∈I∧n≥0∧n<7};3){p p∈N∧p>2∧p<30∧⌝(∃d∈N)(d≠1∧d≠p∧(∃k∈N)(p=k⋅d))}。

3. 确定下列各命题的真假性:1)∅⊆∅2)∅∈∅3)∅⊆{∅}4)∅∈{∅}5){a,b}⊆{a,b,c,{a,b,c}}6){a,b}∈(a,b,c,{a,b,c})7){a,b}⊆{a,b,{{a,b,}}}8){a,b}∈{a,b,{{a,b,}}}[解]1)真。

因为空集是任意集合的子集;2)假。

因为空集不含任何元素;3)真。

因为空集是任意集合的子集;4)真。

因为∅是集合{∅}的元素;5)真。

因为{a,b}是集合{a,b,c,{a,b,c}}的子集;6)假。

因为{a,b}不是集合{a,b,c,{a,b,c}}的元素;7)真。

因为{a,b}是集合{a,b,{{a,b}}}的子集;8)假。

因为{a,b}不是集合{a,b,{{a,b}}}的元素。

4. 对任意集合A,B,C,确定下列命题的真假性:1)如果A∈B∧B∈C,则A∈C。

2)如果A∈B∧B∈C,则A∈C。

3)如果A⊂B∧B∈C,则A∈C。

[解] 1)假。

例如A={a},B={a,b},C={{a},{b}},从而A∈B∧B∈C但A∈C。

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

(7) 证明:
a) A→(B→A) ┐A∨(┐B∨A) A∨(┐A∨┐B) A∨(A→┐B) ┐A→(A→┐B)
离散数学课后习题答案
(左孝凌版)
不得不放弃、
1-1,1-2 (1) 解:
a) 是命题,真值为 T。 b) 不是命题。 c) 是命题,真值要根据具体情况确定。 d) 不是命题。 e) 是命题,真值为 T。 f) 是命题,真值为 T。 g) 是命题,真值为 F。 h) 不是命题。 i) 不是命题。 (2) 解: 原子命题:我爱北京天安门。 复合命题:如果不是练健美操,我就出外旅游拉。 (3) 解: a) (┓P ∧R)→Q b) Q→R c) ┓P d) P→┓Q (4) 解: a)设 Q:我将去参加舞会。R:我有时间。P:天下雨。 Q (R∧┓P):我将去参加舞会当且仅当我有时间和天不下雨。 b)设 R:我在看电视。Q:我在吃苹果。 R∧Q:我在看电视边吃苹果。 c) 设 Q:一个数是奇数。R:一个数不能被 2 除。 (Q→R)∧(R→Q):一个数是奇数,则它不能被 2 整除并且一个数不能被 2 整除,则它是奇数。 (5) 解: a) 设 P:王强身体很好。Q:王强成绩很好。P∧Q b) 设 P:小李看书。Q:小李听音乐。P∧Q c) 设 P:气候很好。Q:气候很热。P∨Q d) 设 P: a 和 b 是偶数。Q:a+b 是偶数。P→Q e) 设 P:四边形 ABCD 是平行四边形。Q :四边形 ABCD 的对边平行。PQ f) 设 P:语法错误。Q:程序错误。R:停机。(P∨ Q)→ R (6) 解:

FF

FF

FF

FF

FF

所以,P∧(Q∨R) (P∧Q)∨(P∧R) d)
P
Q
┓P
┓Q
┓P∨┓Q
┓(P∧Q)
┓P∧┓Q
┓(P∨Q)
T
T
F
F
F
F
F
F
T
F
F
T
T
T
F
F
F
T
T
F
T
T
F
F
T
T
T
T
所以,┓(P∧Q) ┓P∨┓Q, ┓(P∨Q) ┓P∧┓Q
(5)解:如表,对问好所填的地方,可得公式 F1~F6,可表达为
a) P:天气炎热。Q:正在下雨。 P∧Q b) P:天气炎热。R:湿度较低。 P∧R c) R:天正在下雨。S:湿度很高。 R∨S d) A:刘英上山。B:李进上山。 A∧B e) M:老王是革新者。N:小李是革新者。 M∨N f) L:你看电影。M:我看电影。 ┓L→┓M g) P:我不看电视。Q:我不外出。 R:我在睡觉。 P∧Q∧R h) P:控制台打字机作输入设备。Q:控制台打字机作输出设备。P∧Q
1-4
(4)(Q∧R)
P∧Q
(P∧Q)∧R
TTT
T
T
T
T
TTF
F
F
T
F
TFT
F
F
F
F
TFF
F
F
F
F
FTT
T
F
F
F
FTF
F
F
F
F
FFT
F
F
F
F
FFF
F
F
F
F
所以,P∧(Q∧R) (P∧Q)∧R
b)
PQR
Q∨R
P∨(Q∨R)
P∨Q
(P∨Q)∨R
TTT




TTF




TFT
P
Q
R
F1
F2
F3
T
T
T
T
F
T
T
T
F
F
F
T
T
F
T
T
F
F
T
F
F
F
T
F
F
T
T
T
F
F
F
T
F
T
F
F
F
F
T
T
F
T
F
F
F
F
T
F
F1:(Q→P)→R
F2:(P∧┓Q∧┓R)∨(┓P∧┓Q∧┓R)
F3:(P←→Q)∧(Q∨R)
F4:(┓P∨┓Q∨R)∧(P∨┓Q∨R)
F5:(┓P∨┓Q∨R)∧(┓P∨┓Q∨┓R)
F6:┓(P∨Q∨R)




TFF




FTT




FTF




FFT




F FF




所以,P∨(Q∨R) (P∨Q)∨R c)
P Q Q∨ P∧(Q∨ P∧ P∧ (P∧Q)∨(P∧
RR
R)
QR
R)
TT

TT

TF T

TT

TT

TF

TF T

FT

FF

FF

FT T

FF

TT

FF

FT T
(6)
PQ1234567
8
9
10 11
FFFTFTFTF
T
F
T
F
FTFFTTFFT
T
F
F
T
TFFFFFTTT
T
F
F
F
TTFFFFFFF
F
T
T
T
解:由上表可得有关公式为
1.F
2.┓(P∨Q)
3.┓(Q→P)
5.┓(P→Q) 9.P∧Q 13.P
6.┓Q 10.PQ
14.Q→P
7.┓(PQ) 11.Q 15.P∨Q
1-3 (1)解:
a) 不是合式公式,没有规定运算符次序(若规定运算符次序后亦可作为合式公式) b) 是合式公式 c) 不是合式公式(括弧不配对) d) 不是合式公式(R 和 S 之间缺少联结词) e) 是合式公式。 (2)解: a) A 是合式公式,(A∨B)是合式公式,(A→(A∨B)) 是合式公式。这个过程可以简记为: A;(A∨B);(A→(A∨B)) 同理可记 b) A;┓A ;(┓A∧B) ;((┓A∧B)∧A) c) A;┓A ;B;(┓A→B) ;(B→A) ;((┓A→B)→(B→A)) d) A;B;(A→B) ;(B→A) ;((A→B)∨(B→A)) (3)解: a) ((((A→C)→((B∧C)→A))→((B∧C)→A))→(A→C)) b) ((B→A)∨(A→B))。 (4)解: a) 是由 c) 式进行代换得到,在 c) 中用 Q 代换 P, (P→P)代换 Q. d) 是由 a) 式进行代换得到,在 a) 中用 P→(Q→P)代换 Q. e) 是由 b) 式进行代换得到,用 R 代换 P, S 代换 Q, Q 代换 R, P 代换 S. (5)解: a) P: 你没有给我写信。 R: 信在途中丢失了。 P Q b) P: 张三不去。Q: 李四不去。R: 他就去。 (P∧Q)→R c) P: 我们能划船。 Q: 我们能跑步。 ┓(∨P∧Q) d) P: 你来了。Q: 他唱歌。R: 你伴奏。 P→(QR) (6)解: P:它占据空间。 Q:它有质量。 R:它不断变化。 S:它是物质。 这个人起初主张:(P∧Q∧R) S 后来主张:(P∧QS)∧(S→R) 这个人开头主张与后来主张的不同点在于:后来认为有 P∧Q 必同时有 R,开头时没有这样的主张。 (7)解: a) P: 上午下雨。 Q:我去看电影。 R:我在家里读书。 S:我在家里看报。(┓P→Q)∧(P→(R∨S)) b) P: 我今天进城。Q:天下雨。┓Q→P c) P: 你走了。 Q:我留下。Q→P
相关文档
最新文档