- 1、本文档共46页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
命题、联结词与符号化.ppt
第一篇 数理逻辑 数理逻辑简介 逻辑学 关于推理的科学,是一门研究思维形式及其规律的科学 包括: 辨证逻辑 以辩证法认识论的世界观为基础的逻辑学 形式逻辑 对思维的形式结构和规律进行研究的一门工具性学科 形式逻辑 概念:思维的基本单位 判断:通过概念对事物是否具有某种属性作出回答 推理:根据一个或多个判断推出另外一个判断的思维形式 数理逻辑简介(Cont.) 数理逻辑 是应用数学方法研究推理的科学。数理逻辑又叫符号逻辑,因为它的主要工具是符号体系。数理逻辑的核心是把逻辑推理符号化,即变成象数学演算一样(逻辑演算)。 数理逻辑 古典数理逻辑 命题逻辑 谓词逻辑 现代数理逻辑 公理集合论 证明论 模型论 递归论 数理逻辑把推理符号化之一 如果天下雨,则路上有水。 设 P表示:天下雨。 设Q表示:路上有水。 设?表示:如果…则… 推理过程表示为: 前提1: P?Q (如果天下雨,则路上有水。) 前提2:P (天下雨了。) 结 论:Q (路上有水。) (这就是第一章命题逻辑中要讨论的问题) 数理逻辑把推理符号化之二 所有金属都导电 设M(x): x是金属 . 设C(x): x能导电. 设?x 表示: 所有的x . 设 a 表示铜. 推理过程表示为: 前提:?x(M(x)?C(x)) (所有金属都导电.) 前提:M(a) (铜是金属.) 结论:C(a) (铜能导电.) (其中符号M(x)是谓词,所以这就是第二章“谓词逻辑”中所讨论的内容.) 数理逻辑与计算机 使用计算机必须首先学会编“程序”,那么什么 是程序? 程序=算法+数据 算法=逻辑+控制 可见“逻辑”对于编程序是多么重要。要想学 好、使用好计算机,必须学习逻辑,此外,通过 学习逻辑,掌握逻辑推理规律和证明方法 ,培养自己的逻辑思维能力,提高证明问题的技巧。 钱学森谈“计算机与数理逻辑” 电子计算机与数理逻辑具有非常密切的 关系。正是在数理逻辑中,把人类的推理 过程分解成一些非常简单原始的、非常机 械的动作,才使得用机器代替人类的推理 的设想有了实现的可能。 有了电子计算机,使用它时,必须先进 行程序设计,把整个推理、计算过程,丝 毫不漏地考虑到,统统编入程序, 而机器则依次而运行;如稍有错误,将立 即得到毫无意义的结果。可见必须有足够的 数理逻辑的训练,熟悉推理过程的全部细节, 才能从事程序设计。 此外,程序设计是一个很细致又很麻烦的 工作,如何从事程序设计,如何防止在计算 过程中出错,如何很快地发现这种错误而及 时加以改正,都是程序设计理论(软件理论)中 非常根本又非常重要的内容,大家都认为, 这些内容都与数理逻辑息息相关。 正如著名的计算机软件大师戴克斯 特拉 (E.W.Dijkstra)曾经说过:我现在年纪 大了,搞了这么多年软件,错误不知犯了 多少,现在觉悟了。我想,假如我早在数 理逻辑上好好下点功夫的话,我就不会犯 这么多错误。不少东西逻辑学家早就说过 了,可是我不知道。要是我能年轻20岁的 话,我就会回去学逻辑。 第一章 命题逻辑(Proposition Logic) 命题逻辑是研究以命题为基本单位构成的前提和结论之间的可推导关系。 本节内容 命题 联结词 命题符号化 命题 定义(例子) 具有非真必假的陈述句 特征 任何命题都对思维对象有所陈述,不论其正确与否。 任何命题都有真假值,非真即假。 命题实例 离婚率的上升是社会文明进步的表现。 流动人口的增加有利于城市的发展。 电脑给人类带来福音。 外来文化对民族文化的发展来说利大于弊。 医学发展应有伦理界限。 生态危机可能毁灭人类。 只有年满18周岁,才有选举权。 自由有两个方面:否定的一面是免除束缚,肯定的一面则是行为的自主。 命题的真
文档评论(0)