- 1、本文档共29页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
交大数理逻辑5-2 谓词逻辑等值和推理演算课件
作业讲评2 P37: 4(1) 证明:A→B与B*→A*同永真、同可满足 定理2.5.2: (A*)*=A, (A—)—= A 定理2.5.3: ? A = A*— 证明: 若A→B永真,则 ? B →? A 永真 由 ?A = A*—, ?B = B*—,得 B*—→A*— 永真 即: B*→A* 永真 反之,若B*→A* 永真,则(A*)* →(B*)*永真 由 A=(A*)*,B=(B*)*,得 A→B 永真 ∴ A→B与B*→ A*同永真 显然, A → B与B*→ A*同可满足 P37:5(3)求析取范式、主析取范式 (?P∨?Q) ?(P??Q) = (? P ∨? Q) ?((P ∧? Q)∨(? P ∧ Q)) =?(? P ∨? Q)∨((P ∧? Q)∨(? P ∧ Q)) = (P ∧ Q)∨(P ∧? Q)∨(? P ∧ Q) = ∨(1,2,3) P37:5(8)求析取范式、主析取范式 (P?Q)∨((Q ∧ P) ? (Q ??P)) = (P ? Q)∨(((Q∧P) ? Q) ? ?P) = (P ? Q)∨(((Q ∧P)∧Q)∨(?Q∨?P)∧? Q)) ? ?P) = (P ? Q)∨(((Q ∧P)∨?Q)) ? ?P) = (P ? Q)∨((P∨?Q) ? ?P) = (P ? Q)∨(((P∨?Q) ∧?P)∨((?P ∧Q) ∧P)) =(?P∨Q)∨(?P∧?Q) = ?P∨Q = m0x ? mx1 = m00 ? m01 ? m01 ? m11 = ? (0,1,3) 补充题:(主析取范式的应用) 某勘探队有3名队员,有一天取得一块矿样,3人的判断如下: 甲说:这不是铁,也不是铜; 乙说:这不是铁,是锡; 丙说:这不是锡,是铁。 经实验室鉴定后发现,其中一个人两个判断都正确,一个人判对一半,另一个人全错了。根据以上情况判断矿样种类。 解:设P:矿样为铁, Q:矿样为铜, R:矿样为锡。 则:甲: ? P ? ? Q 乙: ? P ? R 丙: P ? ? R 补充题 设P: 矿样是铁,Q : 矿样是铜, R : 矿样是锡 “√”:全对,“”:对一半,“×”:全错 以甲为例, “√”:全对 ? P ? ? Q “”:对一半 (? P ? Q)?( P ? ?Q) “×”:全错 P ? Q 例:甲全对,乙对一半,丙全错 (?P??Q)?((?P??R)?(P ? R))?(?P?R) =((?P??Q)?(?P ??R) ? (?P?R))? ((?P??Q)?(P?R)?(?P ?R)) 第5章 谓词逻辑的等值和推理演算 5.1 否定型等值式 5.2 量词分配等值式 5.3 范式 5.4 基本的推理公式 5.5 推理演算 5.6 谓词逻辑的归结推理法 量词分配等值式 量词对∨、 ∧的分配律 (?x)(P(x)∨q) = (?x)P(x)∨q (?x)(P(x)∧q) = (?x)P(x)∧q (?x)(P(x)∨q) = (?x)P(x)∨q (?x)(P(x)∧q) = (?x)P(x)∧q 量词对?的分配律 (?x)(P(x) ?q) = (?x)P(x) ? q (?x)(P(x) ? q) = (?x)P(x) ? q (?x)(q ? P(x)) = q ?(?x)P(x) (?x)(q ? P(x)) = q ?(?x)P(x) 量词分配等值式 量词?对∧的分配律 (?x)(P(x)∧Q(x)) = (?x)P(x)∧(?x)Q(x) 注意:?对?无分配律 (?x)P(x) ? (?x)Q(x) T (?x)(P(x) ? Q(x)) 量词? 对∨的分配律 (?x)(P(x)∨Q(x)) = (?x)P(x)∨(?x)Q(x) 注意:?对?无分配律 (?x)(P(x)∧Q(x))?(?x)P(x)∧(?x)Q(x) 量词分配等值式 量词? 对∨的分配律 (?x)(P(x)∨Q(x)) = (?x)P(x)∨(?x)Q(x) 注意:?对?无分配律 由前面证明得: (?x)?P(x)∨(?x)?Q(x)?(?x)(?P(x)∨?Q(x)) 而 (?x)?P(x)∨(?x)?Q(x) = ?(?x)P(x)∨?(?x) Q(x) = ?((?x)P(x)∧(?x) Q(x)) ∴ ?((?x)P(x)∧(?x)Q(x))??(?x)(P(x)∧Q(x)) 由双条件否定等价式有 (?x)(
您可能关注的文档
- Matlab基本用法---还需要读课件.ppt
- 二次方程实根在区间上分布课件.ppt
- (青岛版)四年级数学下册_加法交换律与加法结合律课件.ppt
- 二端口网络功率增益和工作特性参数(未改完)课件.ppt
- 二烯烃通式和命名分类课件.ppt
- 二次调查成果汇总与验收要求课件.ppt
- 二甲双胍历史与作用机制课件.ppt
- 二章、系统出现问题与使用技巧课件.ppt
- 二级Access考试-关于模块课件.ppt
- 二类买点和三类买点重合课件.ppt
- (4篇)XX区抓党建促基层治理培训心得体会汇编12.docx
- 汇编1154期-在培训班上的讲话汇编(3篇).doc
- 汇编1173期-专题党课讲稿汇编(3篇)112.doc
- 汇编1076期-主题党课讲稿汇编(3篇).doc
- 汇编1177期-学习心得体会汇编(3篇)112.doc
- (6篇)党和国家机构改革心得体会汇编.docx
- 汇编1166期-坚定理想信念、全面从严治党、担当作为专题党课讲稿汇编(3篇)112.doc
- 汇编1174期-专题党课讲稿汇编(3篇)112.doc
- 教育13期-主题教育学习心得体会、研讨发言材料参考汇编(3篇).doc
- 汇编1458期-心得体会研讨发言提纲参考汇编(3篇)123.doc
最近下载
- 露天非煤矿山施工方案.docx VIP
- 标准图集-13G322-1-钢筋混凝土过梁 - 烧结普通砖、蕉压灰砂翩。蒸压粉煤灰砖砌体.pdf
- 危大工程-模板工程及支撑体系-安全管理措施.doc VIP
- 高中历史选择性必修3《文化交流与传播》教学设计(修订版).doc
- 废水处理可行性研究报告.docx VIP
- 统编人教部编版小学语文四年级下册语文第二单元测试卷A(附答案).docx VIP
- GB-55015 空气源热泵技术解读-2024制冷展.pdf
- 2025年郑州旅游职业学院单招职业技能测试题库必考题.docx VIP
- 基于PLC的教室照明自控系统设计.doc
- GB50175-2014 露天煤矿工程质量验收规范.docx
文档评论(0)