离散数学及算法课后习题作业答案.pdf
《离散数学及算法课后习题作业答案.pdf》由会员分享,可在线阅读,更多相关《离散数学及算法课后习题作业答案.pdf(47页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、离散数学及算法(曹晓东,原旭版)课后作业题答案第一章命题逻辑1.第7页第3题(1)解:逆命题:如果我去公园,则天不下雨;反命题:如果天下雨,则我不去公园;逆反命题:如果我不去公园,则天下雨了。(2)解:(此题注意:P仅当Q翻译成P -Q)逆命题:如果你去,那么我逗留。反命题:如果我不逗留,那么你没去。逆反命题:如果你没去,那么我不逗留。(3)解:逆命题:如果方程+y =Z 无整数解,那么n是大于2的正整数。反命题:如果n不是大于2的正整数,那么方程X +y =Z 有整数解。逆反命题:如果方程+y =Z 有整数解,那么n不是大于2的正整数。(4)解:逆命题:如果我不完成任务,那么我不获得更多的帮
2、助。反命题:如果我获得了更多的帮助,那么我能完成任务。逆反命题:如果我能完成任务,那么我获得了更多的帮助。2 .第1 5页 第1题(4)解:TTPv。)f(Pv。)(-,p v-,e)(-,p v-2)(重言式)(9)解:P/7P t Q o F TQ 0T(重言式)(1 0)W:P v-nQ Q o T-。=。(可满足式)3 .第1 6页第5题(2)证明:(TPv 0)fP)=T(PVQ)VP)O(PVQ)AP=-nF A-nQ A P=1PAp 八 Q=F 人-i。O F因此,T T P v。)尸)3尸,得证。(4)证明:(P-尸)(尸-P)=(P vP)/(PvP)-FAFO F因此,(
3、P-尸)人(2一尸)3尸,得证。4.第16页第6题(1)P 人 Q=P TQ证明:设尸。为真,那么P为真,并且Q为真,因此P-。为真。所以P A Q n P -。(2)P f (Q /?)=(尸。)(尸-R)证明:设(P Q)f (尸-R)为假,于是P f。为真,P f R为假。得P为真,Q为真,R为 假。于 是 得Q f R为 假,由P为 真 可 得,P-(0 f R)为 假。因 此,P-(0-A)n (P-0)-(P f R)。得证。(5)(P vP Q)f (Pv 0=#?)-6 /?证明:(P vP Q)f(P vP fR)Q(TTQ)T(TTR)OQTR因此,(P vP f Q)f(
4、P v四 印)-e R,得证。5.补充:试证明(Q A)-C)(A-(尸 v C)o (A (P-。)f C证明:(QAA)-C)/(A -(P v C)0(T Q AA)VC)A(-U4V(PV O)0(A v C v iQ)A(u4 v C v P)u (A v C)v (P A Q)(AA(P Q)f Co-I(A A(-iP v Q)v C(iA v -i(P v Q)v CoA v(P A Q)v Co(-v4 v C)v(P A-Q)因此,(Q A)-C)(A -(P v C)o (A (P Q)-C,得证。6 .第2 1页 第1题(2)解:(PA2)V(/,A2)V(FA2)=(
5、PVP)AQ)V(PMQ)=V(PM0)=(P v Q)人(Q v-iQ)o P V。n(o)7 .第2 1页第2题(只求主析取范式)(4)W:(P A iQ A S)V(iP A(2 A 7?)=(尸 i(2 AS A/?)v(P A-iQ A S A-iR)v (-1 P A g A5 A/?)v (iP Q 5 A R)0 (5,7,1 0,1 1)8.第2 5页第3题证明:(1)Bp规贝Ij(2)B(u4 v iC)p规则(3)-iA v-iCT 规 则,(1)(2)(4)A (8-C)P规则(5)A CT规则,(4)(6)(A A C)v (iA A-iC)T规则(5)(7)i(A
6、A C)T规则(3)(8)-LA A-iC,T规则(9)(Av C)T规则因此,(A v C)是题目的有效结论,A v C不是。9.第2 6页第7题(a)火,的 尸证明:(1)(2)iRQ v RP规则P规则(3)T 规 则(1)(2)(4)TP。)P规则(5)T规 则(4)(6)PT 规 则(3)(5)(b)(P A Q)/?,R-iSS-1 八 Q证明:(1)SP规则(2)-、R v-SP规则(3)RT 规 则(1)(2)(4)(P 八 Q)TRP规则(5)T 尸人。)T 规 则(3)(4)(6)P v iQT规 则(5)(c)(PTQ)T/R,R 1。分 尸证明:(题目有问题)1 0.第
7、2 6页第8题(a)iP vQ,iQ 玲 R+F S证明:(1)pp规 则(假设前提)(2)Pv Qp规则(3)QT 规 则(1)(2)(4)QvRP规则(5)RT 规贝I (3)(4)(6)RTSP规则(7)ST 规 则(5)(6)(8)PTSC P规 则(1)(7)(b)P T Q n P f(P d Q)证明:(1)pP规 则(假设前提)(2)PTQP规则(3)QT 规 则(1)(2)(4)P /QT 规 则(1)(3)(5)P-(FAQ)C P 规贝ij(4)(c)(Pv。)R =(尸人。)/?证明:(1)P MQP规 则(假设前提)(2)PT规 则(1)(3)QT规 则(1)(4)P
8、 QT 规 则(2)(3)(5)(P v Q)-RP规则(6)RT 规 则(4)(5)(7)(PAQ)TRC P 规 则(1)(6)1 1.:第2 6 页第9题(a)(R-Q),/?v S,S QP*P证明:(1)P规 则(假设前提)(2)PT规 则(1)(3)PTQP规则(4)QT 规 则(2)(3)(5)S QP规则(6)iST 规 则(4)(5)(7)R 7 sP规贝IJ(8)RT 规 则(6)(7)(9)RTQP规则(1 0)-QT 规 则(8)(9)(1 1)QLQT 规 则(4)(1 0)(1 2)F 规 则(1)(1 1)(b)S QR V-JS,我P-1P证明:(1)P规 则(
9、假设前提)(2)pT规 则(1)(3)尸3。P规则(4)QT规 则(2)(3)(5)S T 1。P规则(6)ST规 则(4)(5)(7)R v SP规则(8)RT规 则(6)(7)(9)RP规则(1 0)R八 RT规 则(8)(9)(1 1)F规 则(1)(1 0)(c)TP-。)-TR v S),(。)-RRn Q证明:(1)RP规则(2)(Q f P)vRP规则(3)QTPT规则(1)(2)(4)R 7 sT规则(1)(5)TPf Q)-T R v S)P规则(6)I P t Q)T规则(4)(5)(7)PTQT规则(6)(8)(2-。)人(。-P)T规则(3)(7)(9)尸3。T规 则(
10、8)第二章 谓词逻辑1 .第3 9页 第1题(b)(3 x)A(x)T(V x)B(x)0(V x)(A(x)T B(x)(3 x)A(x)T(V x)B(x)=-,(3 x)A(x)v(V x)B(x)证明:=(V x)Y(x)v(V x)B(x)=(V x)(u4(x)v B(x)=(V x)(A(x)t B(x)(还可以用推理的方法证明)证明:(V x)(A(x)-6(x)P (假设前提)(a)(Vx)(P(x)T Q(x)n (Vx)P(x)-(Vx)Q(x)(2)0 x)(A(x)f 5(切)T(3)(3x)(A(x)A iB(x)T(4)(3x)A(x)A(3x)iB(x)T(5)
11、(3x)A(x)T(6)T(7)(3x)A(x)(Vx)B(x)P(8)(Vx)B(x)T (5)(7)(9)B(a)E S (6)(1 0)B(a)U S (8)(1 1)-13(。)A 3(a)T (9)(1 0)(1 2)W)(A(x)f B(x)F (1)(1 1)(d)(Vx)(A(x)vB(x),(Vx)(B(x)-G(x),(.冰(x)V证明:(1)(Vx)C(x)P(2)C(x)U S (1)(3)(Vx)(B(x)T -C(x)P(4)B(x)-iC(x)U S (3)(5)8(x)T (2)(4)(6)(Vx)(A(x)vB(x)P(7)A(x)v B(x)U S (6)(
12、8)A(x)T (5)(7)(9)2.第 3 9 页 2(Vx)A(x)U G (8)x)A(x)证明:(1)(Vx)P(x)p (假设前提)(2)P(x)U S (1)(3)V(P(x)f。)p(4)P(x)f。(尤)U S (3)(5)Q(X)T (2)(4)(6)(Tx)Q(x)U G (5)(7)(Vx)P(x)T (Vx)Q(x)C P (1)(6)(b)(Vx)(P(x)v Q(x)n (Vx)P(x)v 0 x)Q(x)(Vx)P(x)v(士)Q(x)o(Vx)(Q(x)v(Wx)P(x)证明:由于o(Vx)(Q(x)f(Vx)P(x)因此,原题等价于证明(Vx)(P(x)v Q
13、(x)n (Vx)(Q(x)T (Wx)P(x)3.第 3 9 页第3题(a)所有的有理数是实数,某些有理数是整数,因此某些实数是整数。解:首先定义如下谓词:(1)(Vx)(Q(x)p (假设前提)(2)Q(x)U S (1)(3)(Vx)(P(x)vQ(x)p(4)尸(x)vQ(x)U S (3)(5)尸(x)T (2)(4)(6)(Vx)P(x)U G (5)(7)(Vx)(Q(x)f(Vx)P(x)C P (1)(6)尸(X):%是有理数R(%):X是实数/(X):%是整数于是问题符号化为:(Vx)(P(x)-7?(x),(3x)(P(x)A/(x)=(训(R(x)/(%)推理如下:(1
14、)(土)(尸(%)A(%)p(2)P(a)A 1(a)ES(1)(3)(Vx)(p(x)T /?(%)P(4)P(a)f R(a)US(3)(5)P(a)T(2)(6)/T(2)(7)R(a)T(4)(5)(8)R(a)A 1(a)T(6)(7)(9)(3x)(/?(x)A/(%)EG(8)(b)任何人如果他喜欢步行,他就不喜欢乘汽车,每一个人或者喜欢乘汽车或者喜欢骑自行车,有的人不爱骑自行车,因而有的人不爱步行。解:首先定义如下谓词:P(x):x是人产(%):%喜欢步行C(x):x喜欢乘汽车B(x):x喜欢骑自行车于是问题符号化为:(Vx)(P(x)A/(x)-1c(x),(Vx)(P(x)
15、-C(x)V 8(%),(lx)(P(x)盘%)3(木)(尸(x)i F(x)推理如下:(1)(土)(尸(x)人p(2)P(a)八一18(a)ES(1)(3)q(a)T(2)(4)T(2)(5)(Vx)(P(x)-C(x)v B(x)P(6)P(a)C(a)v B(a)US(5)(7)C(a)v B(a)T(3)(6)(8)C()T(4)(7)(9)(V%)(P(x)A F(x)-C(x)P(10)P(a)A F(a)-iC(a)US(9)(11)(尸 3)八%。)T(8)(10)(12)1尸(Q)V iF(iZ)T(11)(13)T(3)(12)(14)P(a)A iF(iz)T(3)(13
16、)(15)(3X)(P(X)A-IF(X)EG(14)(c)每个科学工作者都是刻苦钻研的,每个刻苦钻研而且聪明的科学工作者在他的事业中都将获得成功。华为是科学工作者并且他是聪明的,所以,华为在他的事业中将获得成功。解:首先定义如下谓词:尸(X):%是科学工作者Q(x):x是刻苦钻研的/?(光):是聪明的S(x):%在他的事业中将获得成功定义个体a:华为于是命题符号化为:(Vx)(P(x)T Q(x),(Vx)(P(x)A Q(x)A R(x)-5(x),P(a)A R(a)=S(a)推理如下:(i)(VX)(P(x)f Q(x)P(2)尸(a)-Q(q)u s(1)(3)P(a)A R(a)p
17、(4)T(3)(5)R(a)T(3)(6)Q(a)T(2)(4)(7)(Vx)(尸(x)A Q(x)A R(x)-S(x)P(8)P(a)A Q(a)A R(a)T S(a)US(7)(9)尸(a)A Q(a)A R(a)T(3)(6)(10)S(a)T(8)(9)(d)每位资深名士或是中科院院士或是国务院参事,所有的资深名士都是政协委员。张伟是资深名士,但他不是中科院院士。因此,有的政协委员是国务院参事。解:首先定义如下谓词:P(%):%是资深名士Q(x):x是中科院院士R(x):%是国务院参事S(x):%是政协委员定义个体a:张伟于是命题符号化为:(Vx)(P(x)t Q(x)V 7?(x
18、),(Vx)(P(x)-S(%),P(a)AQ(a)n (3x)(5(x)A/?(%)推理如下:(1)尸(Q)八-iQ(Q)p(2)T(1)(3)iQ(a)T(1)(4)(Vx)(尸 f S(x)P(5)P(a)f S(a)US(4)(6)S(a)T(2)(5)(e)每一个自然数不是奇数就是偶数,自然数是偶数当且仅当它能被2整除。并不是所有的自然数都能被2所整除。因此,有的自然数是奇数。解:首先定义如下谓词:(7)(Vx)(P(x)f Q(x)v R(x)p(8)P(a)0(a)v R(a)US (7)(9)Q(a)v R(a)T (2)(8)(1 0)R(a)T (3)(9)(1 1)S(a
19、)A R(a)T (6)(1 0)(1 2)0 尤)(5(%)A R(x)E G (1 1)N(X):X是自然数。(无):%是奇数0(%):X是偶数P(%):X能被2整除于是命题符号化为:(Vx)(N(x)-(2(x)VO(x),(Vx)(7V(x)-(0(X)-P(x),i(Vx)(7V(x)-P(%)n (*)(N(x)A Q(X)推理如下:(1)(Dx)(N(x)-P(%)P(2)(Hx)(N(x)八-TP(X)T(1)(3)N(G)A-1P(a)E S (2)(4)N(a)T (3)(5)-1P(a)T (3)(6)(V%)(N(x)-(0(x)3 P(x)P(7)N(a)f(0(a)
20、P(a)us(6)(8)0(a)0尸(a)T (4)(7)(f)如果一个人怕困难,那麽他就不会获得成功。每个人或者获得成功或者失败过。有些人未曾失败过,所以,有些人不怕困难。解:首先定义如下谓词:(9)iO(l)T(5)(8)(10)(Vx)(7V(x)T (C(x)VO(x)P(11)N(a)-(Q(a)VO(a)US(10)(12)Q(a)。T(4)(11)(13)Q(。)T(9)(12)(14)N(a)A Q(a)T(4)(13)(15)(3x)(2V(x)A 2(x)EG(14)尸(X):%是人Q(x):尤怕困难/?(%):%曾获得成功S(x):%曾获得失败于是命题符号化为:(Vx)(
21、P(x)A Q(x)TR(x),(Vx)(P(x)T (/?(%)V S(x),0%)(P(X)AMX)3()(P(x)Q(x)推理如下:(1)0X)(P(X)A-1S(X)P(2)P(a)A-)S(a)ES(1)(3)P(a)T(2)(4)-,S(a)T(2)(5)(V%)(P(x)-(R(x)vS(x)P(6)尸(a)f(E(a)vS(a)us(5)(7)R(a)v S(a)T(3)(6)解:错误,第 2 行的y 是泛指,第 4 行的y 是特制(8)R(a)T(4)(7)(9)(Vx)(P(x)A Q(x)t-J?(x)P(10)P(a)A Q(a)ijR(a)US(9)(11)(P(a)
22、A Q(a)T(8)(10)(12)-iP(a)v-iQ(a)T(11)(13)。T(3)(12)(14)P(a)A-iQ(a)T(3)(13)(15)(3X)(P(X)AQ(X)EG(14)4.第 4 0 页第5 题更改如下:(1)0 x)P(x)P(2)尸(y)ES(1)(3)(W x)(P(x)f Q(x)P(4)P(y)-Q(y)US(3)(5)Q(y)T(2)(4)(6)(3x)Q(x)EG(5)5.第 40页第6 题(a)(Bx)P(x)-(Vx)(P(x)v Q(x)-R(x),0 x)P(x),(川 匆 x)n (川 0y)(R(x)A R(y)证明:(1)(3x)P(x)PP
23、(a)5,(1)(3x)2(x)P(4)Q(b)E S,(5)(玉)P(x)f(Vx)(P(x)vQ(x)-R(x)P(6)(Vx)(P(x)vQ(x)f R(x)(1),(5)(P(a)vQ(a)-R(a)US,(6 )(8)P(a)vQ(a)T,(2 )RT,,(1 0X P(b)vQ S)-R S)US,(6)(1 1)PS)vQ(b)T,(4)(1 2)R(b)T,(1 0),(U)(1 3)R(a)八 R(b)T,,((1 4)(寺)(R(a)AR(y)E G,(1 3)(1 5)0 x)0y)(R(x)AR(y)E G,(1 4)(b)(3x)P(x)-(Vx)Q(x)n (Vx)
24、(P(x)-0(x)证明:(1)0 x)P(x)-(Vx)Q(x)P(2)-0 x)P(x)v(Vx)Q(x)T(1)(3)(Vx)P(x)v(Vx)Q(x)T(2)(4)(Wx)(P(x)vQ(x)T(3)(5)(V尤)(P(x)-Q(x)T(4)6.第42页 第1题(a)x)(P(x)f(十)。(田)解:(Vx)(P(x)r(寺)。(y)o (V元)(P(x)v(寺)Q(y)o (V%)0y)(P(x)v Q(y)(b)(Vx)(Vy)(3z)(P(x,y)AP(y,z)-(3u)Q(x,y,)解:(Wx)(W),)(0z)(P(x,y)A P(y,z)f 0”)Q(x,),,)o (Vx
25、)(Vy)(切(P(x,y)A P(y,z)v(A)Q(x,y,)o (Vx)(Vj)(Vz)(-P(x,y)v-iP(y,z)v(Bu)Q(x,y,w)o (Vx)(Vy)(Vz)(3w)(-P(x,y)v-P(y,z)v Q(x,y,u)(c)(V x)6y)A(x,y)T (3x)(Vy)(B(x,y)(Vy)(A(y,x)T B(x,y)解:T V x)(h)A(x,y)T (3x)(Vy)(B(x,y)A(Vy)(A(y,x)-B(x,y)O (Vx)(寺)A(x,y)v(3x)(Vy)(B(x,y)A(Vy)(A(y,x)T B(x,y)o (Vx)(3y)A(x,y)v(3x)(
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 算法 课后 习题 作业 答案
限制150内