版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、1,4讲谓词逻辑的推理微积分论客宇智中国地质大学计算机学院,2,主要内容,1推理规则2推理规则3推理方法,3,1。在命题逻辑推理规律中,一般化的谓词逻辑推理规律利用赋值定理概括命题逻辑的推理规律,得出了谓词逻辑的推理规律。命题逻辑有 、 的公式,有xa (x) Yb (y) xa (x)、xa (x) xa (x) Yb (y)等公式。4.1推理法则,4,2。在基本等价生成的推理法则之前,给定等价的每个等价函数都可以生成两个推理法则。例如,xa (x) xa (x)、xa (x) xa (x)和xa (x) xa (x)、xa (x) xa (x)等。4.1推理法则,5,3。某些特定的重要推断
2、法则(1)xa(x)XB(x)x(a(x)b(x)x(a(x)b(x)xa(x)XB(),4.1推理法则,6,1。全称量词移除规则(us) (1) xa (x) a (y)或(2) xa (x) a (c) 2。全称量词引入规则(ug) a (y) xa (x) 3。数量词移除规则(es) xa (x) a (c) 4。量词引入规则(eg) a (c) xa (x),4.2推理规则,7,直接证词前提推理规则推理规则推理规则结论间接证词(反证法,CP规则)反证法结论的否定前提推理规则推理规则推理规则矛盾CP规则(条件:包括结论)有些人总是违反交通规则。所以有些人会受到惩罚。(使用整个对象域)命令
3、p (x): x表示人员q (x): x表示违反交通规则r (x): x表示惩罚:前提条件:X(p(X)q(X) 证明(1)x(p(x)-q(x)p(2)p(a)-q(a)es,(1) (3) p (a) 示例2 x (p (x) q (x) XP (x) xq (x)是反证(1) (XP (x) xq (x) p(添加)(2) ,4.3推断方法,11,示例3 x (p (x) q (x) XP (x) xq (x)是CP规则(1) XP (x) p(添加)王大卫是科学家,也很聪明,他的职业生涯会取得成功。将单个域设置为整个单个域。M (x): x是人。K (x): x是科学家;Q (x): x勤奋;T (x): x聪明;S (x): x成功;答:王储,前提条件:x(M(x)k(x)q(x)x(M(x)q(x)t(x)S() (1) 3) m (
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 节能降碳基本原则
- 产科护士长下半年工作总结
- 学校卫生保健工作总结
- 司机工作总结日常行车维护与安全措施
- 城市更新可行性研究:成本效益分析
- 全国12123交管学法减分试题与答案
- 采购主管职责培训
- 医院药剂师一年来的工作总结
- 心脏科医生日常工作总结
- 心理健康教育知识讲座
- 170位真实有效投资人邮箱
- 2022年四川发展投资有限公司招聘笔试题库及答案解析
- 《实验探究黄土高原水土流失》实验报告
- 突发公共卫生事件下我国制造型企业供应链风险调查问卷
- 2022年通信施工应急救援演练方案
- 《抽样技术》课件(完整版)
- 思想政治教育学原理整套课件完整版电子教案课件汇总(最新)
- DBJ50∕T-337-2019 装配式隔墙技术标准
- 家庭治疗理论观点比较要点
- 工贸企业粉尘爆炸危险场所安全指导手册
- 混合所有制企业董事会议事规则
评论
0/150
提交评论