第1章-命题逻辑.pptVIP

第1篇 数理逻辑 Mathematical Logic 引言 什么是逻辑? 赫拉克利特(Heraclitus, 约公元前540年-前480年) 古希腊哲学家 赫拉克利特认为神是涵盖整个世界的事物. 但他常常用逻各斯(logos, 即理性)一词来代替神. 他相信世界上有“普遍的理性”来指导大自然发生的每一件事. 什么是逻辑?(续) 什么是逻辑?(续) 逻辑学是研究人的思维的科学.它包含: 辩证逻辑:是研究人的思维中的辩证法.例如: 用全面的和发展的观点观察事物; 具体问题具体分析; 实践是检查事物正误的唯一标准;等等. 形式逻辑:是研究人的思维的形式和一般规律. 这里我们只关心形式逻辑. 什么是逻辑?(续) 人的思维过程: 概念 ? 判断 ? 推理 正确的思维: 概念清楚, 判断正确, 推理合乎逻辑. 人们是通过各种各样的学习(理论学习和从实践中学习)来掌握许多概念和判断. 而形式逻辑主要是研究推理的. 推理: 是由若干个已知的判断(前提),推出新的判断(结论)的思维过程. 什么是逻辑?(续) 推理方法 类比推理:由个别事实推出个别结论. 如: 地球上有空气和水, 地球上有生物. 火星上有空气和水. ?火星上有生物. 归纳推理:由若干个别事实推出一般结论. 如: 铜能导电. 铁能导电. 锡能导电. 铅能导电. …… ?一切金属都导电. 演绎推理: 由一般规律推出个别事实. 形式逻辑主要是研究演绎推理的. 什么是逻辑?(续) 演绎推理 举例 例1: 如果天下雨, 则路上有水. (一般规律) 天下雨了. (个别事实) 推出结论: 路上有水. (个别结论) 例2: (大前提): 所有金属都导电. (一般规律) (小前提): 铜是金属. (个别事实) 推出结论: 铜能导电. (个别结论) 什么是数理逻辑? 数理逻辑(Mathematical Logic)是用数学的方法研究形式逻辑. 所谓“数学方法”:是建立一套有严格定义的符号, 即建立一套形式语言, 来研究形式逻辑.所以数理逻辑也称为“符号逻辑”. 数理逻辑的主要内容: 逻辑演算, 证明论, 递归论, 模型论, 公理集合论 我们这里只涉及逻辑演算中“命题逻辑”和“谓词逻辑”. 数理逻辑与数学的其它分支,计算机科学,人工智能,语言学等学科均有密切联系. 下面就前面两个例子,说明如何将推理符号化的. 什么是数理逻辑?(续) 数理逻辑把推理符号化之一: 例1: 如果天下雨, 则路上有水. 天下雨了. 所以路上有水. 设P表示:天下雨. 设Q表示:路上有水. 设?表示:如果…则… 例1的推理过程表示为: 前提1: P?Q (如果天下雨,则路上有水.) 前提2: P (天下雨了.) 结 论: Q (路上有水.) (这就是第一章命题逻辑中要讨论的问题.) 什么是数理逻辑?(续) 数理逻辑把推理符号化之二: 例2: 所有金属都导电. 铜是金属. 所以铜能导电. 设M(x): x是金属. C(x): x能导电. 设?x 表示: 所有的x. 设 a 表示铜. 例2的推理过程表示为: 前提: ?x(M(x)?C(x)) (所有金属都导电.) M(a)?C(a) 前提: M(a) (铜是金属.) 结论: C(a) (铜能导电.) (其中符号M(x), C(x)是谓词, 所以这就是第二章“谓词逻辑” 中所讨论的内容.) Dijkstra谈数理逻辑 钱学森谈“计算机与数理逻辑” 第1章 命题逻辑 第1章 命题逻辑 1.1 命题逻辑基本概念 1.2 命题逻辑等值演算 1.3 范式 1.4 命题逻辑推理理论 1.1 命题逻辑基本概念 1.1.1 命题与联结词 命题与真值(简单命题, 复合命题) 联结词(?, ?, ?, ?, ?) 1.1.2 命题公式与分类 命题公式及其赋值 真值表 命题公式的分类 命题及其真值 命题: 判断结果惟一的陈述句 命题的真值: 判断的结果, 真或假 例 (1)北京是中华人民共和国的首都. (2)南京是中华人民共和国的首都. 真命题: 真值为真的命题 假命题: 真值为假的命题 注意: 感叹句, 祈使句, 疑问句都不是命题 陈述句中的悖论以及判断结果不惟一确定的也不是命题 例 下列句子中那些是命题？ (1) 北京是中华人民共和