离散数学习题答案-2015(34页).doc
《离散数学习题答案-2015(34页).doc》由会员分享,可在线阅读,更多相关《离散数学习题答案-2015(34页).doc(34页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、-离散数学习题答案-2015-第 34 页离散数学习题答案习题一1、利用逻辑联结词把下列命题翻译成符号逻辑形式(1) 他既是本片的编剧,又是导演 - P Q(2) 银行利率一降低,股价随之上扬- P Q(3) 尽管银行利率降低,股价却没有上扬- P Q(4) 占据空间的、有质量而且不断变化的对象称为物质 - M (SPT)(5) 他今天不是乘火车去北京,就是随旅行团去了九寨沟- P Q(6) 小张身体单薄,但是极少生病,并且头脑好使- P Q R(7) 不识庐山真面目,只缘身在此山中- P Q(解释:因为身在此山中,所以不识庐山真面目)(8) 两个三角形相似,当且仅当他们的对应角相等或者对应边
2、成比例- S (ET)(9) 如果一个整数能被6整除,那么它就能被2和3整除。如果一个整数能被3整除,那么它的各位数字之和也能被3整除解:设 P 一个整数能被6整除Q 一个整数能被2整除R 一个整数能被3整除S 一个整数各位数字之和能被3整除翻译为:(P (Q R) (R S)2、判别下面各语句是否命题,如果是命题,说出它的真值(1)BASIC语言是最完美的程序设计语言- Y,T/F(2)这件事大概是小王干的- N(3)x2 = 64- N(4)可导的实函数都是连续函数- Y,T/F(5)我们要发扬连续作战的作风,再接再厉,争取更大的胜利- N(6)客观规律是不以人们意志为转移的- Y,T(7
3、)到2020年,中国的国民生产总值将赶上和超过美国- Y,N/A(8)凡事都有例外- Y,F3、构造下列公式的真值表,并由此判别哪些公式是永真式、矛盾式或可满足式(1)(P (P Q) Q解:PQP QP (P Q)(P (P Q) Q可满足式00001011111001011011(2)(4)表略:(2)可满足式、(3)永真式 、(4)可满足式4、利用真值表方法验证下列各式为永真式(1)(8)略5、证明下列各等价式(3)P(Q R) (P Q)(P R)证明:左式PQ R PQP R (PQ)(P R) (P Q)(P R) 右式(4)(P Q)(R Q)(R P) (P Q)(R Q)(R
4、 P)证明:左式((PR) Q)(R P) ((PR)R) ) ((PR)P) ) (QR)(QP) (P Q)(R Q)(R P) 右式6、如果P Q QR,能否断定 P R ? 如果P Q QR,能否断定 P R?如果P R,能否断定 P R?解:(1)如果P Q QR,不能判断P R,因为如果 Q = P R, 那么P Q PP R QR,但P可以不等价于R. (2)如果P Q QR,不能判断P R,因为如果 Q = P R, 那么P Q PP R QR,但P可以不等价于R.(3)如果P R,那么有P R,因为P R,则P R为永真式,及有P R为永真式,所以P R.8、把下列各式用等价
5、表示出来(1)(PQ) P解:原式 (PQ) (PQ) (PP) (PQ) (PQ) (PQ) (PQ) (PP) (PP)9、证明: 是最小功能完备集合证明:因为, 是最小功能完备集合,所以,如果 能表示出,则其是功能完备集合。由于 P Q (P) Q ,所以 是功能完备集合。因为 不能相互表示,所以 是最小功能完备集合;同理可证:非,条件非也能将或表示出来:P Q (P ! Q)8、分别利用真值表法和等价变换法求下列公式的主合取范式及主析取范式:(3) P(R(QP)解:真值表法PQRQPR(QP)P(R(QP)000101001111010001011001100100101111110
6、100111111所以:主合取范式为 = (PQR) (PQR) = M4M6主析取范式为 = (PQR)(PQR)(PQR)(PQR)(PQR)(PQR) = m0m1m2m3m5m7等价变换法(略)(4) (P(QR) (P(QR)解:真值表法PQRQRQRP(QR)P(QR)(P(QR) (P(QR)0000111100100100010001000111010010001010101000101100001011110111所以:主合取范式为 = (PQR) ( PQR) ( PQR) (PQR) ( PQR) ( PQR) = M1M2M3M4M5M6主析取范式为 = (PQR)(P
7、QR) = m0m7等价变换法(略)14、从A,B,C,D 4个人中派2人出差,要求满足下列条件:如果A去,则必须在C或D中选一人同去;B和C不能同时去;C和D不能同时去。用构造范式的方法决定选派方案。解:由题设 A:A去,B:B去,C:C去,D:D去则满足条件的选派应满足如下范式:(A(CD)(BC)(CD)构造和以上范式等价的主析取范式(A(CD)(BC)(CD)(AB C D )(ABCD)(ABCD)(ABCD)(ABCD)(ABCD)(ABCD)(ABCD)共有八个极小项,但根据题意,需派两人出差,所以,只有其中三项满足要求: (ABCD),(ABCD),(ABCD)即有三种方案:A
8、和C去或者A和D去或者B和D去。15、证明下列蕴含试:(1)PQ=P (PQ)证明:PQ P Q T(P Q) (PP) (P Q) P (PQ) P (PQ)所以,这是个等价式,因此也是个蕴含式(2)(PQ) Q= (PQ)证明:(PQ) Q (PQ) Q (PQ) Q (PQ) (QQ) (PQ) T (PQ)所以,这是个等价式,因此也是个蕴含式(3)PPR=S证明:PPR F = S (F可蕴含任何命题公式)(4)P=QRR证明:P=T QRR (任何公式可蕴含永真式)18、一个有钱人生前留下了一笔珍宝,藏在一个隐秘处。在他留下的遗嘱中指出寻找珍宝的线索如下:(1) 如果藏宝的房子靠近池
9、塘,那么珍宝不会藏在东厢房。(2) 如果房子的前院栽有大柏树,那么珍宝就藏在东厢房。(3) 藏宝房子靠近池塘。(4) 要么前院栽有大柏树,要么珍宝埋在花园正中地下。(5) 如果后院栽有香樟树,珍宝藏在附近。请利用蕴含关系找出藏宝处解:根据给定的条件有下述命题:P:珍宝藏在东厢房Q:藏宝的房子靠近池塘R:房子的前院栽有大柏树S:珍宝藏在花园正中地下T:后院栽有香樟树M:珍宝藏在附近根据题意,得出:(QP)(RP)Q(RS)(TM) ?(QP)(RP)Q(RS)(TM) P(RP)(RS)(TM) R(RS)(TM) S(TM)S 即珍宝藏在花园正中地下20、演绎证明下面各蕴含式:(4)(RQ)
10、(RS),(QE) (SB), (EB),(PR) P证明:运用反证方法,将结论的非纳入前提,证明步骤如下1Pp(附加前提)2PRp3RT 1,2 I4(RQ) (RS)p5QST 3,4 I6(QE) (SB)p7EBT 5,6 I8(EB)p9F(矛盾式)T 7,8 E(5)P(QR),Q(RS) P(QS)证明:运用cp法,将结论条件式的前件作为前提,证明步骤如下1Pp(附加前提)2P(QR)p3QRT 1,2 I4Q(RS)p5R(QS)T 4 E6QST 3,5 I7P(QS)CP 1,621、把下列句子演绎成逻辑形式,并给出证明(2)某公司发生了一起盗窃案,经仔细侦察,掌握了如下一
11、些事实:l 被盗现场没有留下任何痕迹l 失盗时,小花或则小英正在卡拉ok厅l 如果失窃时小胖正在附近,他就会习惯性地破门而入偷走东西后扬长而去l 如果失盗时小花正在卡拉ok厅唱歌,那么金刚是最大的嫌疑者l 如果失盗时小胖不在附近,那么他的女友小英会和他一起外出旅游l 如果失盗时小英正在卡拉ok厅唱歌,那么瘦子是最大的嫌疑者根据以上事实,请通过演绎推理找出偷窃者解:根据给定的条件有下述命题:P:现场无任何痕迹Q:失窃时,小花在OK厅R:失窃时,小英在OK厅S:失窃时,小胖在附近T:金刚是偷窃者M:瘦子是偷窃者则根据案情有如下命题公式:P,QR,S P,Q T, S R,R M P P SP P
12、S TI SR P R TI QR P Q TI QT P T TI即 金刚是偷窃者23、利用消解法证明下列各蕴含式:(3)P(QR),Q(RS) P(QS)证明:P(QR) PQRQ(RS) QRS(P(QS)) PQS因此子句集合 = PQR,QRS,P,Q,S 消解过程如下:1PQRp2Pp3QR由1,2归结4Qp5R由3,4归结6QRSp7Sp8QR由6,7归结9R由4,8归结10FLASE 由5,9归结导出空子句习题二1、把下列谓词翻译成谓词公式(1)每个有理数都是实数,但是并非每个实数都是有理数,有些实数是有理数解: R(x)-x是实数Ra(x)-x是有利数翻译如下:(x)( Ra
13、(x) R(x) (x)( R(x) Ra(x)$(x)( R(x) Ra(x))(2)直线a和b平行当切仅当a和b不相交解:A(x)-x是直线 F(x,y)-x与y平行G(x,y)-与相交 翻译如下:()()(A()A() (F(,) G(,)))(3)除非所有的会员都参加,这个活动才有意义解:A(x)-是会员B(x)-x有意义-这个活动F(x,y)-参加翻译如下:B()(x)(A(x)F(x,)) 或(x)(A(x)F(x,))B()(4)任何正整数不是合数就是质数解:A(x)-是正整数(x)-是合数(x)-是质数翻译如下:(x)(A(x)(x)(x))(6) 凡是存钱的人都想有利息,如果
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 习题 答案 2015 34
限制150内