




已阅读5页,还剩6页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
习题十四1试判断下列语句是否为命题,并指出哪些是简单命题,哪些是复合命题。(1)是有理数。解:是命题,且为简单命题(2)计算机能思考吗?解:非命题(3)如果我们学好了离散数学,那么,我们就为学习计算机专业课程打下了良好的基础。解:是命题,且为复合命题。(4)请勿抽烟!解:非命题。(5)X+50解:非命题。(6)的小数展开式中,符号串1234出现奇数次。解:是命题,且为简单命题。(7)这幅画真好看啊!解:非命题。(8)2050年元旦的那天天气晴朗。解:是命题,且为简单命题。(9)李明与张华是同学解:是命题,且为简单命题。(10)2既是偶数又是质数。解:是命题,且为复合命题。2讨论上题中命题的真值,并将其中的复合命题符号化。解:(1)F (3)T (6)不知真假 (8)不知真假 (9)真或假,视情况而定 (10)T(3)P:我们学好了离散数学。Q:我们为学习计算机专业课程打下了良好的基础。PQ(10)P:2是质数; Q:2是偶数; PQ3将下列命题符号化(1)小王很聪明,但不用功解:P:小王很聪明; Q:小王不用功; PQ(2)如果天下大雨,我就乘公共汽车上班。解:P:天下大雨; Q:我乘公共汽车上班; PQ(3)只有天下大雨,我才乘公共汽车上班解:P:天下大雨; Q:我乘公共汽车上班; QP(4)不是鱼死,就是网破解:P:鱼死; Q:网破; PQ(5)李平是否唱歌,将看王丽是否伴奏而定。解:P:李平唱歌 Q:王丽伴奏 P Q4求下列命题公式的真值表:(1)P(QR)(2)(QVR)解:(3)解:(4)解:(5)5用真值表方法验证下列基本等值式(1)分配律解:1)(2)De Morgen律) ) ) ) (3) 吸收律) ) ) 6用等值演算的方法证明下列等值式:(1)解:(2)解:(3)解:7设A、B、C为任意命题公式,试判断以下的说法是否正确,并简单说明之。(1)若。解:不正确。 如A为真,B为假,C为真时, 成立,但不成立。(2)若。解:不正确,如A为真,B为假,C为假时,成立,但不成立。(3)若。解:成立。7A,7B同真时,A、B同假,7A、7B假时,A,B同真。8下表是含两个命题变元的所有命题公式F1F16的真值表,试写出每个命题公式Fi的最多两个命题变元的具体形式,i=1,216。解: 11求下列命题公式的析取范式和合取范式:(1)解:原式(析、合取范式)(2) 原式为:又 合取范式为:(3)解:原式析、合取范式均为:(4)解:原式 析、合取范式均为:12求下列命题的主析取范式和主合取范式(1)解:原式主合取式为=M0 主析取式为m1m2m3=(2)解:原式主合取式为:=M0主析取式为:即:(3)解:原式 主合取范式为:=M0 M2 M3M4 M5 。主析取范式为:=13通过求主析取范式,证明:证: 两式的主析取范式相同,即为真时,亦为真,此时成立而为假时,不论为何值成立为重言式故14构造下面推理的证明:(1)前提:证论:7P证明:(1)7R 前提引入(2)7QR 前提此入(3)7Q 析取三段论(1)、(2)(4)7(P7Q) 前提引入(5)7PQ 等值置换(4)(6)7P 析取三段论(3)、(5)(2) 前提:P(QS),Q,P7R证论:RS证明:(1)R 附加前提(2)P7R 前提(3)P 析取三段式(1)、(2)(4)P(QS) 前提(5)7P(7QS)等价置换(4)(6)7QS 析取三段式(3)、(5)(7)Q 前提(8)S 析取三段式(6)、(7)(3) 前提PQ , 结论:P(PQ)证明:(1)P 附加前提(2)PQ 前提(3)Q 假言推理(1)、(2)(4) 合取(4)前提:结论:证明:(1) 前提 (2) 前提 (3) 前提 (4) 构造二难性(1)、(2)、(3)(5)前提:结论:证 明:(1) 附加前提 (2) 前提 (3) 析取三段式(1)、(2) (4) 前提 (5) 等值置换(4) (6) 析取三段式(3)、(5) (7) 前提 (8) 析取三段式(6)、(7)(6)前提: 结论:证明:(1) 前提 (2) 简化(1) (3) 附加(2) (4) 等值置换(3)15、某公安人员审查一件盗窃案,已知的事实如下:(1)甲或乙盗窃了电视机;(2)若甲盗窃了电视机,则作案的时间不能发生在午夜前;(3)若乙的口供正确,则午夜时屋里的灯光未灭;(4)若乙的口供不正确,则作案时间发生在午夜之前;(5)午夜时屋里的灯光灭了。试利用逻辑推理来确定谁盗窃了电视机。解:P:甲盗窃了电视机; Q:乙盗窃了电视机; R:作案时间发生在午夜前; S:乙的口供正确;T: 午夜时屋里的灯光灭了。前提: (1)T 前提(2) 前提(3)7S 拒取式(1)、(2)(4) 前提(5)R 假言推理(3)、(4)(6) 前提(7)7P 拒取式(5)、(6)(8) 前提(9)Q 析取三段式结论:乙盗窃了电视机。16、判断下面的推理是否正确:(1)如果a、b两数之积为0,则a、b中至少有一个数为0。a、b两数之积不为 P Q 7P, 所以,a、b均不为零7Q解:不正确 。因推理形式为:(2)若a、b两数之积是负的,则a、b中恰有一个数为负数。 a、b两数之积是 P Q 7Q非负的,所以,a、b中不是恰有一个为负数。7P解:正确。因推理形式为:(3)如果今天是星期一,则明天是星期三。今天是星期一,所以,明天是星期三。P Q解:正确。因推理形式为:(4)如果西班牙是一个国家, 则北京是一个城市。北京是一个城市,所以,西班牙是P Q一个国家。解:错误。因推理形式为:17、给出下列定理的证明序列 解:(1) (L1) (2) (L2)(3) (1), (2) , MP(4) (L2)(5) (3)、(4), MP 解:(1) L1(2)(3)MP(1)、(2)(4) L218、利用演绎定理证明:1、解:先证: (1) 假设(2) L3(3) (1),(2), MP从而由演绎定理得:2、解:先证:(1
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 江西加油罐采购合同范本
- 锡山区餐饮投资合同范本
- 物业空调安装免责协议书
- 灌溉水渠修复协议书范本
- 用工程货款买房合同范本
- 法律欠款回收协议书范本
- 腻子工工程分包合同范本
- 父母卖房给子女合同范本
- 机械厂临时工合同协议书
- 砖窑摊位转让协议书模板
- 内分泌系统及代谢性疾病的药物治疗(临床药物治疗学课件)
- 民宿托管运营合同模板
- 2024郑州铁路职业技术学院教师招聘考试笔试试题
- 2023年喀什地区莎车县三支一扶笔试真题
- 2024年湖北农谷实业集团有限责任公司招聘笔试冲刺题(带答案解析)
- CHT 9008.3-2010 基础地理信息数字成果1:500 1:1 000 1:2 000数字正射影像图(正式版)
- 四川省成都市2024年七年级下学期期末数学试题附答案
- (正式版)JBT 9229-2024 剪叉式升降工作平台
- 2024年浙江金华义乌市水利工程管理有限公司招聘笔试参考题库含答案解析
- 人口社会学(杨菊华 第二版) 课件 第8-14章 婚姻家庭-人口特征与民生发展
- 2023年汽车内外饰件行业洞察报告及未来五至十年预测分析报告
评论
0/150
提交评论