高级数理逻辑第1讲报告方案.doc

学科介绍 数理逻辑介绍 什么是数理逻辑？ 逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。命题演算是研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的方法。命题是指具有具体意义的又能判断它是真还是假的句子。 如果我们把命题看作运算的对象，如同代数中的数字、字母或代数式，而把逻辑连接词看作运算符号，就象代数中的“加、减、乘、除”那样，那么由简单命题组成复和命题的过程，就可以当作逻辑运算的过程，也就是命题的演算。((B(A) 这样的逻辑运算也同代数运算一样具有一定的性质，满足一定的运算规律。例如满足交换律、结合律、分配律，同时也满足逻辑上的同一律、吸收律、双否定律、狄摩根定律、三段论定律等等。利用这些定律，我们可以进行逻辑推理，可以简化复和命题，可以推证两个复合命题是不是等价，也就是它们的真值表是不是完全相同等等。 命题演算的一个具体模型就是逻辑代数。逻辑代数也叫做开关代数，它的基本运算是逻辑加、逻辑乘和逻辑费，也就是命题演算中的“或”、“与”、“非”，运算对象只有两个数 0和 1，相当于命题演算中的“真”和“假”。 逻辑代数的运算特点如同电路分析中的开和关、高电位和低电位、导电和截至等现象完全一样，都只有两种不同的状态，因此，它在电路分析中得到广泛的应用。 利用电子元件可以组成相当于逻辑加、逻辑成和逻辑非的门电路，就是逻辑元件。还能把简单的逻辑元件组成各种逻辑网络，这样任何复杂的逻辑关系都可以有逻辑元件经过适当的组合来实现，从而使电子元件具有逻辑判断的功能。因此，在自动控制方面有重要的应用。 谓词演算也叫做命题涵项演算。在谓词演算里，把命题的内部结构分析成具有主词和谓词的逻辑形式，由命题涵项、逻辑连接词和量词构成命题，然后研究这样的命题之间的逻辑推理关系。命题涵项就是指除了含有常项以外还含有变项的逻辑公式。常项是指一些确定的对象或者确定的属性和关系；变项是指一定范围内的任何一个，这个范围叫做变项的变域。命题涵项和命题演算不同，它无所谓真和假。如果以一定的对象概念代替变项，那么命题涵项就成为真的或假的命题了。 命题涵项加上全程量词或者存在量词，那么它就成为全称命题或者特称命题了。逻辑思想的提出：亚里士多德数理逻辑思想提出：莱布尼茨“通用的科学语言”，可以把推理过程象数学一样利用公式来进行计算，从而得出正确的结论。由于当时的社会条件，他的想法并没有实现。但是它的思想却是现代数理逻辑部分内容的萌芽，从这个意义上讲，莱布尼茨的思想可以说是数理逻辑的先驱。 数理逻辑诞生：1847年，英国数学家布尔发表了《逻辑的数学分析》，建立了“布尔代数”，并创造一套符号系统，利用符号来表示逻辑中的各种概念。布尔建立了一系列的运算法则，利用代数的方法研究逻辑问题，初步奠定了数理逻辑的基础。发展成独立学科：十九世纪末二十世纪初，数理逻辑有了比较大的发展，1884年，德国数学家弗雷格出版了《数论的基础》，在书中引入量词的符号，使得数理逻辑的符号系统更加完备。对建立这门学科做出贡献的，还有美国人皮尔斯，他也在著作中引入了逻辑符号。从而使现代数理逻辑最基本的理论基础逐步形成，成为一门独立的学科。1936年图灵 将程序的执行过程抽象成多个逻辑公式，通过逻辑公式之间的推理来得到结论。对于这种方法给软件工程解决以下问题： 自动化程序设计：给出所目标程序的逻辑表达式，由这个逻辑表达式，产生所需要的程序。 程序验证：将现有的程序，描述成逻辑表达式，通过对逻辑表达式的推理，证明程序的正确性。 人工智能与数理逻辑：人工智能中需要将人类的知识进行抽象、表示、利用。从而使计算机具有人类的智力水平。利用知识进行推理必然要涉及的推理的科学－数理逻辑，因此数理逻辑在人工智能中有非常重要的作用。 在人工智能中，利用数理逻辑的主要有： 经典逻辑－知识工程 非单调逻辑－常识推理（弥补了经典逻辑在描述世界时的不足之处） 例如：利用知识推理的过程 例如：常识推理 鸟会飞 鸵鸟是鸟 鸵鸟会飞 定理机器证明：对于给定的公里系统定理集合和固定的。那么怎样利用计算机技术将人类从复杂的定理证明过程中，解脱出来是人们长期考虑的问题。定理机器证明正是解决这个问题。 例如：给出前提，证明结论的过程。 前提：P1, P1, P1, …., Pn . 求证：结论A成立。 归结原理中讲述怎样建立这样的证明推理系统。 数理逻辑与数学 代数学对数理逻辑的促进作用：数理逻辑近年来发展特别迅速，主要原因是这门学科对于数学其它分支如集合论、数论、代数、拓扑学等的发展有重大的影响，特别是对新近形成的计算机科学的发展起了推动作用。反过来，其他学科的发展也推动了数理逻辑的发展。弗雷格，G. Got