下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、习题一 1.,利用逻辑联结词把下列命题翻译成符号逻辑形式: (1)他既是本片的编剧,又是导演。 令P:编剧; Q:导演; 译为PQ (2)银行利率一降低,股价随之上扬。 令P:利率降低; Q:股价上扬; 译为P Q (3)尽管银行利率降低,股价却没有上扬。 译为P Q 或 (P Q),习题一 1.,利用逻辑联结词把下列命题翻译成符号逻辑形式: (4)占据空间的、有质量而且不断变化的对象称为物质。 令P:占据空间; Q:有质量; R:变化; S:物质;译为(P Q R) S (5)他今天不是乘火车去了北京,就是随旅游团去了九寨沟。 令P:去北京; Q:去九寨沟;译为P Q (6)小张身体单薄,但
2、是极少生病,并且头脑好使。 令P:身体单薄; Q:少生病; R:头脑好使; 译为PQ R,习题一 1.,利用逻辑联结词把下列命题翻译成符号逻辑形式: (7)不识庐山真面目,只缘生在此山中。 令P:身在此山中; Q:识庐山真面目;译为P Q (8)两个三角形相似当且仅当它们对应角相等或者对应边成比例。 令P:两个三角形相似; Q:对应角相等; R:对应边成比例;译为P (Q R) (9)如果一个整数能被6整除,那么它就能被2和3整除。如果一个整数能被3整除,那么它的各位数字之和也能被3整除。 令P:被6整除; Q:被2整除; R:被3整除; S:各位数字之和被3整除。译为(P (Q R) (R
3、S),习题一 2.,判别下面各语句是否是命题,如果是命题,说出其真值。 (1)BASIC语言是最完美的程序设计语言。Y(0) (2)这件事大概是小王干的。Y(待定) (3)x2=64. N (4)可导的一元实函数都是连续函数。Y(1) (5)我们要发扬连续作战的作风,再接再厉,争取更大的胜利。N (6)客观规律是不依人们意志为转移的。Y(1) (7)到2020年,中国的国民生产总值将赶上和超过美国。Y(待定) (8)凡事都有例外。悖论,习题一 3.,构造下列公式的真值表,判断哪些是永真式、矛盾式或可满足式: 解:构造真值表略. (1)可满足式 (2)可满足式 (3)永真式, 可满足式 (4)矛
4、盾式,习题一 5.证明下列各等价式,(3) P (Q R) (P Q) (P R) 证明 : P (Q R) P Q R ( P Q) ( P R) (P Q) (P R),习题一 5.证明下列各等价式,(4)(P Q) (Q R) (R P) (P Q) (Q R) (R P) 证明 : (P Q) (Q R) (R P) (Q (P R) ) (R P) (分配律) (Q (R P) ) (P R (R P) ) (Q R) (P Q) (R P) (分配律、吸收律、交换律),习题一 6.,如果P Q R Q,能否断定P R? 如果P Q R Q,能否断定P R? 如果 P R ,能否断定
5、P R? 解: P Q R Q时,不能断定P R. 因为当Q T时, P和R可以取不同的值. P Q R Q时,不能断定P R. (由Q F推) P R时, 两端同时取“非”, 即P R.,习题一 13 (3)分别用真值表法和等价变换法求公式 P (R (Q P)的主合取范式和主析取范式,解法一 (真值表法) 由对应于公式取值为0的全部解释得主合取范式: (P Q R) (P Q R) 由对应于公式取值为1的全部解释得主析取范式: (P Q R) (P Q R) (P Q R) (P Q R) (P Q R) (P Q R),习题一 12(3),解法二 (等价变换法) P (R (Q P) P
6、 (R ( Q P) P R P R (Q Q ) (P Q R) (P Q R) (主合) 由 P R ( P (Q Q) (R R) (P P) (Q Q) R) (P Q R) (P Q R) (P Q R) (P Q R) (P Q R) (P Q R) (主析),习题一 12(4) 分别用真值表法和等价变换法求公式 (P (Q R) (P (Q R)的主合取范式和主析取范式,真值表法略. (P (Q R) (P (Q R) (P (Q R) ( P (Q R) (P Q) (P R ) (P Q) (P R ) (P Q (R R) (P (Q Q) R ) (P Q (R R) )
7、 (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) (主析),习题一 14.,从A、B、C、D4人中派2人出差,要求满足下述条件:如果A去,则必须在C或D中选一人同去;B和C不能同时去;C和D不能同去。用构造范式的方法决定出选派方案。 若X表示“X去出差”, 可得公式 (A (C D) (B C) (C D) (A (C D) (C D) ) (B C ) (C D ) (A B C D) (A B C D) (A B C D) (A B C D) (A B C D) (A B C
8、 D) (A B C D) (A B C D) 可得派法: B, D A, C A, D,习题一 15(2) 证明蕴含式:(P Q) Q P Q,证明:(P Q) Q ( P Q) Q (P Q) Q (P Q) ( Q Q) P Q P Q,习题一 21(2),一个有钱人死前留下了一笔珍宝,藏在一个隐秘处。在他留下的遗嘱中指出寻找珍宝的线索如下: (1)如果藏宝房靠近池塘,那么珍宝不会藏在东厢房 ; (2)如果房子的前院载有大柏树,那么珍宝就藏在东厢房; (3)藏宝房子靠近池塘; (4)要么前院载有大柏树,那么珍宝埋在花园正中地下; (5)如果后院载有香樟树,珍宝就藏在附近。 请利用蕴含关系
9、找出藏宝处。 解:令P:靠近池塘; Q:藏在东厢房; R:有大柏树; S:花园正中地下; U:有香樟树; V:在附近; 翻译为: P Q, R Q, P, R S, U V 可推出结果为S, 过程如下:, Q,R Q,R,R S,S,P P Q,习题一 20(4) 演绎证明下列蕴含式:,(P Q) (R S) , (Q E) (S B), (EB), P R P 证明:(直接法) 步骤公式规则 (P Q) (R S) P (PR) (QS)TI(1) (Q E) (S B)P (QS) (EB)TI(3) (PR) (EB)TI(2)(4) (EB)P (PR)TI(5)(6) P RTE(7
10、) (即R P ) P RP PTI(8)(9),习题一 20(5) 演绎证明下列蕴含式:,P (Q R), Q (R S) P (Q S) 证明:(CP法) 步骤公式规则 PP(附加) P (Q R)P Q RTI(1)(2) Q (R S)P R (Q S) TE(4) Q (Q S)TI(3)(5) Q STE(6) P (Q S)CP(1)(7),习题一 21(2),某单位发生一起盗窃案,经仔细侦查,掌握了如下一些事实: 被盗现场没留下任何痕迹; 失窃时,小花或者小英正在卡拉OK厅; 如果失窃时小胖正在附近,他就会习惯性地破门而入偷走东西后扬长而去; 如果失窃时小花正在卡拉OK厅唱歌,
11、那么金刚是最大的嫌疑者; 如果失窃时小胖不在附近,那么他的女友小英会和他一起外出郊游; 如果失窃时小英正在卡拉OK厅唱歌,那么瘦子是最大的嫌疑者; 根据以上事实,请通过演绎推理找出偷窃者。 解:令P1:未留痕迹; P2:小花在OK厅; P3:小英在OK厅; P4:小胖在附近; J:金刚是嫌犯; S:瘦子是嫌犯; 翻译为: P1, P2 P3, P4 P1, P2 J, P4 P3, P3 S 可推出结果为”金刚是嫌犯”, 过程如下:,P1,P4 P1,P4,P2 P3,P3,P2,P2 J,P4 P3,J,习题一 23(3) 利用消解法证明蕴含式:,P (Q R), Q (R S) P (Q S) 证明: 首先把结论
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2026年数据结构与算法分析基础测试题
- 2026年网络安全工程师高级专业考试模拟题
- 2024年昌都市八宿县电视台招聘考试真题
- 2026年智能交通系统建设与交通规划题
- 山西省多校2025-2026学年高一上学期1月月考地理(含答案)
- 2026年国际贸易金融题库国际金融市场与交易
- 2026年网络安全合规与隐私保护认证题库
- 2025年涉县事业编综合岗考试真题及答案
- 2025年潍坊教师资格证面试题库及答案
- 2025年学生资源部笔试题及答案
- 2025年电力机车司机职业技能竞赛理论考试题库(含答案)
- 手术器械包装操作
- 电梯维保服务方案及措施
- 《风力发电机组 叶片防雷系统设计规范编制说明》
- 医院消防安全宣传教育
- 医院感染管理基本知识培训
- TSHXCL 0021-2024 温差电致冷组件用晶棒
- DL∕T 1290-2013 直接空冷机组真空严密性试验方法
- 亚马逊全球开店:2024亚马逊日本机会品类动向调查报告-床上用品
- 水岸·琉璃园-山东淄博留仙湖公园景观设计
- 人教版三年级上册脱式计算200题及答案
评论
0/150
提交评论