离散数学答案屈婉玲版第二版高等教育出版社课后答案.pdf
《离散数学答案屈婉玲版第二版高等教育出版社课后答案.pdf》由会员分享,可在线阅读,更多相关《离散数学答案屈婉玲版第二版高等教育出版社课后答案.pdf(25页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、离散数学答案 屈婉玲版 第二版 高等教育出版社课后答案 第一章部分课后习题参考答案 16 设 p、q 的真值为 0;r、s 的真值为 1,求下列各命题公式的真值;1pqr 001 0 2prqs 0111 010.3pqrpqr 111 0000 4rspq 0110 001 17判断下面一段论述是否为真:“是无理数;并且,如果 3 是无理数,则2也是无理数;另外 6 能被 2 整除,6 才能被 4 整除;”答:p:是无理数 1 q:3 是无理数 0 r:2是无理数 1 s:6 能被 2 整除 1 t:6 能被 4 整除 0 命题符号化为:pqrts 的真值为 1,所以这一段的论述为真;19用
2、真值表判断下列公式的类型:4pq qp 5pr pq 6pq qr pr 答:4 p q pq q p qp pqqp 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 pqq 2ppqpr 3pqpr 答:2ppqprppqprppqr1 所以公式类型为永真式 3 P q r pq pr pqpr 0 0 0 0 0 1 0 0
3、 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 1 1 1 1 1 所以公式类型为可满足式 4.用等值演算法证明下面等值式:2pqprpqr 4pqpqpq pq 证明 2pqpr pqpr pqr pqr 4pqpqppq qpq pppqqp qq 1pqpq1 pqpq 5.求下列公式的主析取范式与主合取范式,并求成真赋值 1pqqp 2pqqr 3pqrpqr 解:1 主析取范式 pqqp p p pp ppqppqpq pqpqpq 0,2,3 主合取范式:pqqp p p pp pqpp
4、1pq pq M1 1 2 主合取范式为:p r p r p r0 所以该式为矛盾式.主合取范式为0,1,2,3,4,5,6,7 矛盾式的主析取范式为 0 3 主合取范式为:pqrpqr pqrpqr pqrpqr ppqrqrpqr 11 1 所以该式为永真式.永真式的主合取范式为 1 主析取范式为0,1,2,3,4,5,6,7 第三章部分课后习题参考答案 14.在自然推理系统 P 中构造下面推理的证明:2 前提:pq,qr,r 结论:p 4 前提:qp,qs,st,tr 结论:pq 证明:2 qr 前提引入 qr 置换 qr 蕴含等值式 r 前提引入 q 拒取式 pq 前提引入 p3 拒取
5、式 证明 4:tr 前提引入 t 化简律 qs 前提引入 st 前提引入 qt 等价三段论 qttq 置换 qt 化简 q 假言推理 qp 前提引入 p 假言推理 11pq 合取 15 在自然推理系统 P 中用附加前提法证明下面各推理:(1)前提:pqr,sp,q 结论:sr 证明 s 附加前提引入 sp 前提引入 p 假言推理 pqr 前提引入 qr 假言推理 q 前提引入 r 假言推理 16 在自然推理系统 P 中用归谬法证明下面各推理:1 前提:pq,rq,rs 结论:p 证明:p 结论的否定引入 pq 前提引入 q 假言推理 rq 前提引入 r 化简律 rs 前提引入 r 化简律 rr
6、 合取 由于最后一步 rr 是矛盾式,所以推理正确.第四章部分课后习题参考答案 3.在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为 a,b 条件时命题的真值:1 对于任意 x,均有x22=x+2x2.2 存在 x,使得 x+5=9.其中 a 个体域为自然数集合.b 个体域为实数集合.解:Fx:x22=x+2x2.Gx:x+5=9.1 在两个个体域中都解释为)(xxF,在 a 中为假命题,在 b 中为真命题;2 在两个个体域中都解释为)(xxG,在 ab 中均为真命题;4.在一阶逻辑中将下列命题符号化:1 没有不能表示成分数的有理数.2 在北京卖菜的人不全是外地人.解:1Fx:x 能
7、表示成分数 Hx:x 是有理数 命题符号化为:)()(xHxFx 2Fx:x 是北京卖菜的人 Hx:x 是外地人 命题符号化为:)()(xHxFx 5.在一阶逻辑将下列命题符号化:1 火车都比轮船快.3 不存在比所有火车都快的汽车.解:1Fx:x 是火车;Gx:x 是轮船;Hx,y:x 比 y 快 命题符号化为:),()()(yxHyGxFyx 2 1Fx:x 是火车;Gx:x 是汽车;Hx,y:x 比 y 快 命题符号化为:),()()(yxHxFxyGy 9.给定解释 I 如下:a 个体域 D 为实数集合 R.b D 中特定元素a=0.c 特定函数fx,y=xy,x,yD.d 特定谓词Fx
8、,y:x=y,Gx,y:xy,x,yD.说明下列公式在 I 下的含义,并指出各公式的真值:答:1 对于任意两个实数 x,y,如果 xy,那么 xy.真值 1.2 对于任意两个实数 x,y,如果 x-y=0,那么 xy.真值 0.10.给定解释 I 如下:a 个体域 D=NN 为自然数集合.b D 中特定元素a=2.c D 上函数f(x,y)=x+y,g x,y=xy.d D 上谓词Fx,y:x=y.说明下列各式在 I 下的含义,并讨论其真值.(1)xFgx,a,x(2)xyFfx,a,yFfy,a,x 答:1 对于任意自然数 x,都有 2x=x,真值 0.2 对于任意两个自然数 x,y,使得如
9、果 x+2=y,那么 y+2=x.真值 0.11.判断下列各式的类型:1 F(x,y)(G(x,y)F(x,y).3 xyF(x,y)xyFx,y.解:1 因为 1)()(pqppqp 为永真式;所以 F(x,y)(G(x,y)F(x,y).为永真式;3 取解释 I 个体域为全体实数 Fx,y:x+y=5 所以,前件为任意实数 x 存在实数 y 使 x+y=5,前件真;后件为存在实数 x 对任意实数 y 都有 x+y=5,后件假,此时为假命题 再取解释 I 个体域为自然数 N,Fx,y::x+y=5 所以,前件为任意自然数 x 存在自然数 y 使 x+y=5,前件假;此时为假命题;此公式为非永
10、真式的可满足式;13.给定下列各公式一个成真的解释,一个成假的解释;1 xFx G(x)2 xFxGxHx 解:1 个体域:本班同学 Fx:x 会吃饭,Gx:x 会睡觉.成真解释 Fx:x 是泰安人,Gx:x 是济南人.2 成假解释 2 个体域:泰山学院的学生 Fx:x 出生在山东,Gx:x 出生在北京,Hx:x 出生在江苏,成假解释.Fx:x 会吃饭,Gx:x 会睡觉,Hx:x 会呼吸.成真解释.第五章部分课后习题参考答案 5.给定解释如下:a 个体域 D=3,4;b)(xff为3)4(,4)3(ff c1)3,4()4,3(,0)4,4()3,3(),(FFFFyxF为.试求下列公式在下的
11、真值.1),(yxyFx 3)(),(),(yfxfFyxFyx 解:1)4,()3,(),(xFxFxyxyFx 2)(),(),(yfxfFyxFyx 12.求下列各式的前束范式;1),()(yxyGxxF 5),()(),(2121211xxGxxHxxFx 本题课本上有错误 解:1),()(yxyGxxF),()(ytyGxxF),()(ytGxFyx 5),()(),(2121211xxGxxHxxFx 15.在自然数推理系统 F 中,构造下面推理的证明:(1)前提:)()()()(yRyGyFyxxF,)(xxF 结论:xRx(2)前提:xFxGaRx,xFx 结论:xFxRx 证
12、明 1)(xxF 前提引入 Fc EI )()()()(yRyGyFyxxF 前提引入 )()()(yRyGyFy 假言推理 FcGcRc UI FcGc 附加 Rc 假言推理 xRx EG 2 xFx 前提引入 Fc EI xFxGaRx 前提引入 FcGaRc UI GaRc 假言推理 Rc 化简 FcRc 合取引入 xFxRx EG 第六章部分课后习题参考答案 5.确定下列命题是否为真:1 真 2 假 3 真 4 真 5a,ba,b,c,a,b,c 真 6a,ba,b,c,a,b 真 7a,ba,b,a,b 真 8a,ba,b,a,b 假 6设 a,b,c 各不相同,判断下述等式中哪个等
13、式为真:1 a,b,c,=a,b,c 假 2a,b,a=a,b 真 3 a,b=a,b 假 4,a,b=,a,b 假 8求下列集合的幂集:1a,b,c PA=,a,b,c,a,b,a,c,b,c,a,b,c 21,2,3 PA=,1,2,3,1,2,3 3 PA=,4,PA=,1,2,3,1,2,3 14化简下列集合表达式:1ABB-AB 2ABC-BCA 解:1ABB-AB=ABB AB=ABABB=B=2ABC-BCA=ABCBCA=ABCBC BCA=ABCA=ABCA=A 18 某班有 25 个学生,其中 14 人会打篮球,12 人会打排球,6 人会打篮球和排球,5 人会打篮球和网球,
14、还有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,1,3,计算下列表达式:1A 2A 3A 4A 解:1A=1,22,31,3=1,2,3,2A=1,22,31,3=3A=123=4A=27、设 A,B,C 是任意集合,证明 1A-B-C=A-BC 2A-B-C=A-C-B-C 证明 1 A-B-
15、C=AB C=A BC=ABC=A-BC 2 A-C-B-C=AC B C=AC BC=ACB ACC=ACB =ABC=A-BC 由 1 得证;第七章部分课后习题参考答案 7.列出集合 A=2,3,4上的恒等关系 I A,全域关系 EA,小于或等于关系 LA,整除关系 DA.解:IA=,EA=,LA=,DA=13.设 A=,B=,求 AB,AB,domA,domB,domAB,ranA,ranB,ranAB,fldA-B.解:AB=,AB=domA=1,2,3 domB=1,2,4 domAB=1,2,3,4 ranA=2,3,4 ranB=2,3,4 ranAB=4 A-B=,fldA-B
16、=1,2,3 14.设 R=,求 RR,R-1,R0,1,R1,2 解:RR=,R-1,=,R0,1=,R1,2=ranR|1,2=2,3 16设 A=a,b,c,d,1R,2R为 A 上的关系,其中 1R=,a aa bb d 求23122112,RR RR RR;解:R1R2=,R2R1=R12=R1R1=,R22=R2R2=,R23=R2R22=,36设 A=1,2,3,4,在 AA 上定义二元关系 R,AA,u,v R u+y=x+v.(1)证明 R 是 AA 上的等价关系.2 确定由 R 引起的对 AA 的划分.1 证明:R u+y=x-y Ru-v=x-y AA u-v=u-v R
17、 R 是自反的 任意的,AA 如果R,那么 u-v=x-y x-y=u-v R R 是对称的 任意的,AA 若R,R 则 u-v=x-y,x-y=a-b u-v=a-b R R 是传递的 R 是 AA 上的等价关系 2=,41.设 A=1,2,3,4,R 为 AA 上的二元关系,a,b,c,d AA,a,bRc,da+b=c+d(1)证明 R 为等价关系.(2)求 R 导出的划分.1 证明:a,b AA a+b=a+b R R 是自反的 任意的,AA 设R,则 a+b=c+d c+d=a+b R R 是对称的 任意的,AA 若R,R 则 a+b=c+d,c+d=x+y a+b=x+y R R
18、是传递的 R 是 AA 上的等价关系 2=,43.对于下列集合与整除关系画出哈斯图:1 1,2,3,4,6,8,12,24 2 1,2,3,4,5,6,7,8,9,10,11,12 解:1 2 45.下图是两个偏序集的哈斯图.分别写出集合 A 和偏序关系 R的集合表达式.a b 解:aA=a,b,c,d,e,f,g R=,AI b A=a,b,c,d,e,f,g R=,AI 46.分别画出下列各偏序集的哈斯图,并找出A的极大元极小元最大元和最小元.1A=a,b,c,d,e R=,IA.2A=a,b,c,d,e,R=IA.解:1 2 项目 1 2 极大元:e a,b,d,e 极小元:a a,b,
19、c,e 最大元:e 无 最小元:a 无 第八章部分课后习题参考答案 1设 f:NN,且 f x=12xxx,若 为奇数若 为偶数,求 f 0,f 0,f 1,f 1,f 0,2,4,6,f 4,6,8,f-13,5,7.解:f 0=0,f 0=0,f 1=1,f 1=1,f 0,2,4,6,=N,f 4,6,8=2,3,4,f-1 3,5,7=6,10,14.4.判断下列函数中哪些是满射的哪些是单射的哪些是双射的 1 f:NN,fx=x2+2 不是满射,不是单射 2 f:NN,fx=xmod 3,x 除以 3 的余数 不是满射,不是单射 3 f:NN,fx=10 xx,若 为奇数,若 为偶数
20、不是满射,不是单射 4 f:N0,1,fx=01xx,若 为奇数,若 为偶数 是满射,不是单射 5 f:N-0R,fx=lgx 不是满射,是单射 6 f:RR,fx=x2-2x-15 不是满射,不是单射 5.设 X=a,b,c,d,Y=1,2,3,f=,判断以下命题的真假:1f 是从 X 到 Y 的二元关系,但不是从 X 到 Y 的函数;对 2f 是从 X 到 Y 的函数,但不是满射,也不是单射的;错 3f 是从 X 到 Y 的满射,但不是单射;错 4f 是从 X 到 Y 的双射.错 第十章部分课后习题参考答案 4判断下列集合对所给的二元运算是否封闭:(1)整数集合 Z 和普通的减法运算;封闭
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 答案 屈婉玲版 第二 高等教育出版社 课后
限制150内