2022年2022年离散数学答案屈婉玲版第二版高等教育出版社课后答案 .pdf
《2022年2022年离散数学答案屈婉玲版第二版高等教育出版社课后答案 .pdf》由会员分享,可在线阅读,更多相关《2022年2022年离散数学答案屈婉玲版第二版高等教育出版社课后答案 .pdf(30页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、1 离散数学答案屈婉玲版第二版 高等教育出版社课后答案第一章部分课后习题参考答案16 设 p、q 的真值为 0;r、s 的真值为 1,求下列各命题公式的真值。(1)p(qr)0(01) 0 (2) (p? r)( qs) (0? 1)(1 1) 010. (3) (pqr )? (pqr) (111) ? (0 00)0 (4) (r s)(p q) (01)(10) 001 17判断下面一段论述是否为真: “是无理数。并且,如果3 是无理数,则2也是无理数。另外 6 能被 2 整除, 6 才能被 4 整除。 ”答:p: 是无理数1 q: 3 是无理数0 r: 2是无理数1 s:6 能被 2
2、整除1 t: 6 能被 4 整除0 命题符号化为:p(qr)(ts)的真值为 1,所以这一段的论述为真 。19用真值表判断下列公式的类型:(4)(pq) (qp) (5)(pr) (pq) (6)(pq) (qr) (pr) 答:(4)p q pq q p qp (pq)(qp) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 所以公式类型为永真式(5)公式类型为可满足式(方法如上例)(6)公式类型为永真式(方法如上例)第二章部分课后习题参考答案名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - -
3、- - - - - - - 名师精心整理 - - - - - - - 第 1 页,共 30 页 - - - - - - - - - 2 3. 用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值 . (1) (pqq) (2)(p(pq)(pr) (3)(pq)(pr) 答:(2)(p(pq))(pr)(p(pq)(pr)ppqr1所以公式类型为永真式(3) Pq r pq pr (pq)(pr) 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 1
4、 1 1 1 1 1 所以公式类型为可满足式4. 用等值演算法证明下面等值式:(2)(p q)(p r)(p (qr) (4)(p q)(pq)(pq) (pq)证明( 2)(pq)(p r) (pq) (pr) p(q r) p(qr) (4)(pq)(pq)(p (pq) (q(pq) (pp) (pq)(qp) (qq) 1(pq) (pq)1 (pq)(pq) 5. 求下列公式的主析取范式与主合取范式,并求成真赋值(1)(pq)(qp) (2)(pq)qr (3)(p (q r) (p qr)名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - -
5、- - - - - 名师精心整理 - - - - - - - 第 2 页,共 30 页 - - - - - - - - - 3 解:(1)主析取范式(pq)(qp) (pq)(qp) (pq)(qp) (pq)(qp)(qp)(pq)(pq) (pq)(pq)(pq) 320mmm(0,2,3) 主合取范式: (pq) (qp) (pq)(qp) (pq)(qp) (p(qp)(q(qp) 1(pq) (pq) M1(1) (2) 主合取范式为:(p q)qr(pq)qr (pq)qr0 所以该式为矛盾式 . 主合取范式为 (0,1,2,3,4,5,6,7) 矛盾式的主析取范式为 0 (3)主
6、合取范式为:(p(qr) (pqr) (p(qr) (pqr) (p(qr)(pqr) (p(pqr)(qr)(pqr) 11 1 名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 3 页,共 30 页 - - - - - - - - - 4 所以该式为永真式 . 永真式的主合取范式为 1 主析取范式为 (0,1,2,3,4,5,6,7) 第三章部分课后习题参考答案14. 在自然推理系统 P中构造下面推理的证明: (2) 前提: pq,(qr),r 结论:p (4) 前提: qp,qs
7、,st,tr 结论: pq 证明: (2)(qr) 前提引入qr 置换qr 蕴含等值式r 前提引入q 拒取式pq 前提引入p(3)拒取式证明( 4) :tr 前提引入t 化简律qs 前提引入st 前提引入qt 等价三段论(qt )(tq) 置换(qt )化简q 假言推理qp 前提引入名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 4 页,共 30 页 - - - - - - - - - 5 p 假言推理(11)pq 合取15 在自然推理系统 P中用附加前提法证明下面各推理:(1) 前
8、提: p(qr),sp,q 结论: sr 证明s 附加前提引入sp 前提引入p 假言推理p(qr) 前提引入qr 假言推理q 前提引入r 假言推理16 在自然推理系统 P中用归谬法证明下面各推理:(1) 前提: pq,rq,rs 结论:p 证明:p 结论的否定引入pq 前提引入q 假言推理rq 前提引入r 化简律rs 前提引入r 化简律rr 合取由于最后一步 rr 是矛盾式 , 所以推理正确 . 第四章部分课后习题参考答案3. 在一阶逻辑中将下面将下面命题符号化, 并分别讨论个体域限制为(a),(b)条件时命名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - -
9、- - - - - - - 名师精心整理 - - - - - - - 第 5 页,共 30 页 - - - - - - - - - 6 题的真值 : (1) 对于任意 x, 均有2=(x+)(x). (2) 存在 x, 使得 x+5=9. 其中(a) 个体域为自然数集合 . (b)个体域为实数集合 . 解:F(x): 2=(x+)(x). G(x): x+5=9. (1) 在两个个体域中都解释为)(xxF,在( a)中为假命题,在 (b) 中为真命题。(2) 在两个个体域中都解释为)(xxG,在( a)(b) 中均为真命题。4. 在一阶逻辑中将下列命题符号化: (1) 没有不能表示成分数的有理
10、数. (2) 在北京卖菜的人不全是外地人. 解: (1)F(x): x能表示成分数 H(x): x是有理数命题符号化为 : )()(xHxFx(2)F(x): x是北京卖菜的人 H(x): x是外地人命题符号化为 : )()(xHxFx5. 在一阶逻辑将下列命题符号化: (1) 火车都比轮船快 . (3) 不存在比所有火车都快的汽车. 解: (1)F(x): x是火车 ; G(x): x是轮船 ; H(x,y): x比 y 快命题符号化为 : ),()()(yxHyGxFyx(2) (1)F(x): x是火车 ; G(x): x是汽车 ; H(x,y): x比 y 快命题符号化为 : ),()
11、()(yxHxFxyGy9. 给定解释 I 如下: 名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 6 页,共 30 页 - - - - - - - - - 7 (a) 个体域 D为实数集合 R. (b) D中特定元素=0. (c) 特定函数 (x,y)=xy,x,yD . (d) 特定谓词(x,y):x=y,(x,y):xy,x,yD . 说明下列公式在 I 下的含义 , 并指出各公式的真值 : (1),(),(yxFyxGyx(2),(),(yxGayxfFyx答:(1) 对于任
12、意两个实数x,y, 如果 xy, 那么 xy. 真值 1. (2) 对于任意两个实数x,y, 如果 x-y=0, 那么 xy. 真值 0. 10. 给定解释 I 如下:(a) 个体域 D=N(N为自然数集合 ). (b) D 中特定元素=2. (c) D 上函数=x+y, (x,y)=xy. (d) D 上谓词 (x,y):x=y. 说明下列各式在I 下的含义,并讨论其真值 . (1)xF(g(x,a),x) (2)x y(F(f(x,a),y)F(f(y,a),x) 答:(1) 对于任意自然数x, 都有 2x=x, 真值 0. (2) 对于任意两个自然数x,y, 使得如果 x+2=y, 那么
13、 y+2=x. 真值 0.11. 判断下列各式的类型 : (1) (3) yF(x,y). 解:(1) 因为1)()(pqppqp为永真式;所以为永真式;(3) 取解释 I 个体域为全体实数F(x,y) :x+y=5 所以, 前件为任意实数x 存在实数 y 使 x+y=5,前件真;后件为存在实数x 对任意实数 y 都有 x+y=5,后件假, 此时为假命题名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 7 页,共 30 页 - - - - - - - - - 8 再取解释 I 个体域为
14、自然数 N,F(x,y) ::x+y=5 所以, 前件为任意自然数x 存在自然数 y 使 x+y=5,前件假。此时为假命题。此公式为非永真式的可满足式。13. 给定下列各公式一个成真的解释,一个成假的解释。(1) (F(x)(2) x(F(x)G(x) H(x) 解:(1) 个体域 : 本班同学F(x) :x 会吃饭 , G(x) :x 会睡觉 . 成真解释F(x) :x 是泰安人 ,G(x) :x 是济南人 . (2)成假解释(2) 个体域 : 泰山学院的学生F(x) :x 出生在山东 ,G(x):x出生在北京 ,H(x):x出生在江苏 , 成假解释 . F(x) :x 会吃饭 ,G(x)
15、:x 会睡觉 ,H(x) :x 会呼吸 . 成真解释 . 第五章部分课后习题参考答案5. 给定解释如下 : (a) 个体域 D=3,4; (b)(xf为3)4(,4)3(ff(c)1)3,4()4,3(,0)4,4()3, 3(),(FFFFyxF为. 试求下列公式在下的真值. (1),(yxyFx(3)(),(),(yfxfFyxFyx解:(1)4,()3 ,(),(xFxFxyxyFx)4,4()3,4()4,3()3,3(FFFF1)01()10(2)(),(),(yfxfFyxFyx)4(),()4,()3(),()3 ,(fxfFxFfxfFxFx)3),()4,()4),()3 ,
16、(xfFxFxfFxFx名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 8 页,共 30 页 - - - - - - - - - 9 )3),3()4,3()4),3()3, 3(fFFfFF)3),4()4,4()4),4()3,4(fFFfFF)3,4()4,3()4 ,4(0(FFF)3 , 3(0()4,3(1(FF)11 ()00()00()11 (112. 求下列各式的前束范式。(1),()(yxyGxxF(5),()(),(2121211xxGxxHxxFx (本题课本
17、上有错误 ) 解:(1),()(yxyGxxF),()(ytyGxxF),()(ytGxFyx (5),()(),(2121211xxGxxHxxFx),()(),(2323211xxGxxHxxFx),()(),(2332411xxGxHxxxFx),()(),(2334121xxGxHxxFxx15. 在自然数推理系统F 中, 构造下面推理的证明 : (1)前提: )()()()(yRyGyFyxxF,)(xxF结论: xR(x) (2)前提: x(F(x) (G(a) R(x), xF(x) 结论: x(F(x) R(x) 证明(1) )(xxF前提引入F(c) EI )()()()(y
18、RyGyFyxxF前提引入)()()(yRyGyFy假言推理(F(c) G(c) R(c) UI F(c) G(c) 附加R(c) 假言推理xR(x) EG (2) 名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 9 页,共 30 页 - - - - - - - - - 10 xF(x) 前提引入F(c) EI x(F(x) (G(a) R(x) 前提引入F(c) (G(a) R(c) UI G(a)R(c) 假言推理R(c) 化简F(c) R(c) 合取引入x(F(x)R(x) E
19、G第六章部分课后习题参考答案5. 确定下列命题是否为真:(1)真(2)假(3)真(4)真(5) a,b a,b,c, a,b,c 真(6) a,b a,b,c, a,b 真(7) a,b a,b, a,b 真(8) a,b a,b, a,b 假6设 a,b,c 各不相同,判断下述等式中哪个等式为真: (1) a,b ,c, = a,b ,c 假(2) a ,b,a =a,b 真(3) a ,b = a,b 假(4) , ,a,b = , ,a,b 假8求下列集合的幂集:(1) a,b,c P(A)= ,a,b,c,a,b,a,c,b,c,a,b,c (2) 1, 2,3 P(A)= , 1,
20、2,3, 1,2 ,3 (3) P(A)= , (4) , P(A)= , 1, 2,3, 1,2,3 名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 10 页,共 30 页 - - - - - - - - - 11 14化简下列集合表达式:(1) (AB)B )- (AB)(2) ( (AB C)- (BC) )A 解: (1) (AB)B )- (AB)=(AB)B )(AB)=(AB)(AB))B=B=(2) ( (AB C)- (BC) )A=( (AB C)(BC) )A
21、=(A(BC ) )( (BC )(BC) )A =(A(BC ) )A=(A(BC ) )A=A 18某班有 25 个学生,其中 14 人会打篮球, 12 人会打排球, 6 人会打篮球和排球, 5人会打篮球和网球, 还有 2 人会打这三种球。已知 6 个会打网球的人都会打篮球或排球。求不会打球的人数。解: 阿 A=会打篮球的人 ,B=会打排球的人 ,C=会打网球的人 |A|=14, |B|=12, |AB|=6,|AC|=5,| ABC|=2, |C|=6,CAB 如图所示。25-(5+4+2+3)-5-1=25-14-5-1=5 不会打球的人共 5 人21. 设集合 A1 ,2,2 ,3,
22、1,3, 计算下列表达式:(1)A (2)A (3)A (4)A 解: (1)A=1,22,31,3=1 ,2,3,(2)A=1,22,31,3=(3)A=123=(4)A=27、设 A,B,C 是任意集合,证明名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 11 页,共 30 页 - - - - - - - - - 12 (1)(A-B)-C=A- BC (2)(A-B)-C=(A-C)-(B-C) 证明(1) (A-B)-C=(AB) C= A( BC)= A(BC) =A- B
23、C (2) (A-C)-(B-C)=(AC) (B C)= (AC) (BC) =(ACB) (ACC)= (ACB) = A(BC) =A- BC 由(1)得证。第七章部分课后习题参考答案7.列出集合 A=2,3,4 上的恒等关系 I A,全域关系 EA,小于或等于关系LA,整除关系 DA. 解:IA =, EA=, LA=, DA= 13.设 A=, B=, 求 AB,AB, domA, domB, dom(AB), ranA, ranB, ran(AB ), fld(A-B).解:AB=, AB= domA=1,2,3 domB=1,2,4 dom(A B)=1,2,3,4 ranA=2
24、,3,4 ranB=2,3,4 ran(AB)=4 A-B=,,fld(A-B)=1,2,3 14.设 R=, 求 R R, R-1, R0,1, R1,2解:R R=, 名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 12 页,共 30 页 - - - - - - - - - 13 R-1,=, R0,1=, R1,2=ran(R|1,2)=2,3 16设 A=a,b,c,d ,1R,2R为 A 上的关系,其中1R=,a aa bb d2,Ra db cb dc b求2312211
25、2,RRRR RR。解: R1R2=, R2R1= R12=R1R1=, R22=R2R2=, R23=R2R22=,36设 A=1,2,3,4 ,在 A A上定义二元关系 R ,,A A , u,v R u + y = x + v. (1) 证明 R 是 A A上的等价关系 . (2) 确定由 R 引起的对 A A的划分 . (1)证明: R u+y=x-y Ru-v=x-y A A u-v=u-v R R是自反的任意的 , AA 如果R ,那么 u-v=x-y x-y=u-v R R是对称的任意的 ,AA 名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - -
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 2022年2022年离散数学答案屈婉玲版第二版高等教育出版社课后答案 2022 离散数学 答案 屈婉玲版 第二 高等教育出版社 课后
限制150内