Chapter2(谓词逻辑篇).pptVIP

离散数学（谓词逻辑篇） Discrete Mathematics （ Logic of Predicates） 前言 离散数学是现代数学的一个重要分支，是计算机科学与技术的理论基础，所以又称为计算机数学． 人们已公认，高技术本质上是数学技术。因此可以说，计算机科学与技术说到底是数学技术．事实上，从计算机产生到以后它的每一步发展都离不开数学．1936年，英国数学家图灵(A.M.Turing)发表了著名论文“理想计算机”，从而给出了计算机设计的理论模型． 前言 1946年在著名数学家冯·诺依曼(J.Von Neumann)的领导下，制造了世界上第一台计算机ENIAC(Electronic Numerical Integrator and Calculator). 尔后，计算机各代的发展也都无不证实了这一点． 离散数学是计算机科学与技术专业的核心、骨干课程．一方面，它给后继课，如数据结构、编译系统、操作系统、数据库原理和人工智能等，提供必要的数学基础；另一方面，通过学习离散数学，培养和提高了学生的抽象思维和逻辑推理能力，为学生今后继续学习和工作，参加科学研究，攀登科技高峰，打下坚实的数学基础. 前言 离散数学内容很多，本课程主要有5部分：数理逻辑、集合论、数论、代数结构和图论．本课件是编著者在多年教学实践的基础上，参考了国内外多种教材，并结合自己一些科研成果，在力求通俗、流畅、简明、扼要的指导思想下编写而成． 本课件在编写过程中有几点考虑，说明如下： (1)本课程除讲述离散数学最基本的比较典型的传统内容外，增添了数论基础知识，以便为学习和理解密码理论打下基础. 前言 (2)在编写过程中，力图做到“少而精”，注意突出重点，力求论证详细明了，便于自学，在基本定理的证明中，反复运用归纳法，希望读者不但了解定理内容，同时应该掌握这一证明方法． (3)全课程涉及数学5个分支，每一分支都有数百字的说明，概述了它的发展，这对于掌握其内容是十分有益的． 前言 (4)在加强基本理论教学的同时，注意了分析问题、解决问题的技能培养和训练．书中各部分内容均配有典型例子，并加以说明．此外，各章都配有适量的习题，希望通过做习题这个环节，来培养、提高学生解决问题的能力和技能． (5)课程中的5部分，一方面各自成篇，教师根据需要可以单独选讲几篇；另一方面，尽可能注意各篇之间的联系，规范并统一了符号和术语． 数理逻辑 逻辑学: 研究人的思维形式和规律的科学．由于研究的对象和方法各有侧重而又分为形式逻辑、辩证逻辑和数理逻辑． 数理逻辑: 用数学方法研究推理，是研究推理中前题和结论之间的形式关系的科学．所谓推理就是由一个或几个判断推出一个新判断的思维形式. 这里所说的数学方法就是建立一套表意符号体系，对具体事物进行抽象的形式研究的方法．因此，数理逻辑又称符号逻辑．这种方法的优点是表达简洁、推理方便、概括性好、易于分析等． 数理逻辑 一般认为，数理逻辑是由德国数学家兼哲学家莱布尼兹(G.W.Leibnitz)在17世纪中叶创立的．其后由英国数学家布尔(G.Boole)于1847年出版的《逻辑的数学分析》一书发展了逻辑代数，即通常称为布尔代数．还有德国数学家弗雷树(F.L.G.Frege)于1879年出版了《表意符号》,引入了量词、约束变元，使逻辑演算趋于完备．1930年出生于奥地利的美藉数学家哥德尔(K.G?del)的完全性定理证明，使数理逻辑的基础得到完善．意大利数学家皮亚诺(G.Peano)，英国数学家德·摩根(A.DeMorgen)、罗素(B.A.W.Russell)等人都做了很大贡献，丰富和发展了数理逻辑． 第二章 一阶谓词逻辑Lp 在Ls中，把命题分解到原子命题为止，认为原子命题是不能再分解的，仅仅研究以原子命题为基本单位的复合命题之间的逻辑关系和推理．这样，有些推理用命题逻辑就难以确切地表示出来．例如，著名的亚里士多德三段论苏格拉底推理： 所有的人都是要死的， 苏格拉底是人， 所以苏格拉底是要死的． 第二章 一阶谓词逻辑Lp 根据常识，认为这个推理是正确的．但是，若用Ls来表示，设P, Q和R分别表示这三个原子命题，则有 P, Q├R 然而，P∧Q?R并不是永真式，故上述推理形式又是错误的．一个推理，得出矛盾的结论，问题在哪里呢？问题就在于这类推理中，各命题之间的逻辑关系不是体现在原子命题之间，而是体现在构成原子命题的内部成分之间，即体现在命题结构的更深层次上．对此，为是无能为力的． 第二章 一阶谓词逻辑Lp 所以，在研究某些推理时，有必要对原子命题作进一步分析，分析出其中的个体词、谓词和量词，研究它们的形式结构和逻辑关系、正确的推理形式和规则，这些正是谓词逻辑(简称为Lp)的基本内容． 2.1 Lp中的谓词与个体