命题逻辑基本概念.ppt

第1章 命题逻辑基本概念 本章说明 数理逻辑概述 数理逻辑是用数学的方法研究思维规律的一门学科。由于它使用了一套符号，简洁的表达出各种推理的逻辑关系，因此数理逻辑一般又称为符号逻辑。 数理逻辑和计算机的发展有着密切的联系，它为机器证明、自动程序设计、计算机辅助设计等计算机应用和理论研究提供必要的理论基础。 数理逻辑的发展前期 前史时期——古典形式逻辑时期：亚里斯多德的直言三段论理论 初创时期——逻辑代数时期（17世纪末） (1)资本主义生产力大发展，自然科学取得了长足的进步，数学在认识自然、发展技术方面起到了相当重要的作用。 (2)人们希望使用数学的方法来研究思维，把思维过程转换为数学的计算。 数理逻辑的发展前期 (3)莱布尼兹(Leibniz, 1646~1716)完善三段论，提出了建立数理逻辑或者说理性演算的思想： 提出将推理的正确性化归于计算，这种演算能使人们的推理不依赖于对推理过程中的命题的含义内容的思考，将推理的规则变为演算的规则。 使用一种符号语言来代替自然语言对演算进行描述，将符号的形式和其含义分开。使得演算从很大程度上取决与符号 的组合规律，而与其含义无关。 数理逻辑的发展前期 (4)布尔(G. Boole, 1815~1864)代数：将有关数学运算的研究的代数系统推广到逻辑领域，布尔代数既是一种代数系统，也是一种逻辑演算。 数理逻辑的奠基时期 弗雷格(G.Frege,1848~1925)：《概念语言—一种按算术的公式语言构成的纯思维公式语言》(1879)的出版标志着数理逻辑的基础部分—命题演算和谓词演算的正式建立。 皮亚诺(Giuseppe Peano, 1858~1932)：《用一种新的方法陈述的算术原理》(1889)提出了自然数算术的一个公理系统。 数理逻辑的奠基时期 罗素(Bertrand Russell,1872~1970)：《数学原理》(与怀特黑合著，1910, 1912, 1913)从命题演算和谓词演算开始，然后通过一元和二元命题函项定义类和关系的概念，建立了抽象的类演算和关系演算。由此出发，在类型论的基础上用连续定义和证明的方式引出了数学（主要是算术）中的主要概念和定理。 数理逻辑的奠基时期 逻辑演算的发展：甘岑(G. Gentzen)的自然推理系统(Natural Deduction System)，逻辑演算的元理论：公理的独立性、一致性、完全性等。 各种各样的非经典逻辑的发展：路易斯(Lewis, 1883~1964)的模态逻辑，实质蕴含怪论和严格蕴含、相干逻辑等，卢卡西维茨的多值逻辑等。 第1章 命题逻辑 命题逻辑研究的是以原子命题为基本单位的推理演算，其特征在于，研究和考查逻辑形式时，我们把一个命题只分析到其中所含的原子命题成分为止。通过这样的分析可以显示出一些重要的逻辑形式，这种形式和有关的逻辑规律就属于命题逻辑。 1.1 命题与联结词 数理逻辑研究的中心问题是推理。 推理的前提和结论都是表达判断的陈述句。 表达判断的陈述句构成了推理的基本单位。 1.1 命题与联结词 称能判断真假而不是可真可假的陈述句为命题（proposition）。 作为命题的陈述句所表达得的判断结果称为命题的真值。 真值只取两个：真与假。 真值为真的命题称为真命题。 真值为假的命题称为假命题。 例1.1 判断下列句子是否为命题。 4是素数。 x大于y。 充分大的偶数等于两个素数之和。 今天是星期二。 请不要吸烟！ 这朵花真美丽啊！ 我正在说假话。 命题和真值的符号化 用小写英文字母p,q,r…,pi ,qi ,ri …表示命题 用“1”表示真，用“0”表示假 例1.2 例1.2的讨论 半形式化形式 数理逻辑研究方法的主要特征是将论述或推理中的各种要素都符号化。即构造各种符号语言来代替自然语言。 形式化语言：完全由符号所构成的语言。 将联结词（connective）符号化，消除其二义性，对其进行严格定义。 例如： 他是100米或400米赛跑的冠军。  鱼香肉丝或锅包肉，加一碗汤。 定义1.1 否定(negation) 设p为命题，复合命题“非p”(或“p的否定”)称为p的否定式,记作┐p，符号┐称作否定联结词，并规定┐p为真当且仅当p为假。 定义1.2 合取(conjunction) 设p,q为二命题，复合命题“p并且q”(或“p与q”)称为p与q的合取式，记作p∧q，∧称作合取联结词，并规定p∧q为真当且仅当p与q同时为真。 例1.3 将下列命题符号化 吴颖既用功又聪明。 吴颖不仅用功而且聪明。 吴颖虽然聪明，但不用功。 张辉与王丽都是三好学生。 张辉与王丽是同学。 合取举例 p：我们去看电影。q：房间里有十张桌子。 p∧q：我们去看