文档介绍：第一讲数理逻辑与公理化系统逻辑是人通过概念、判断、推理、论证来理解和区分客观事物的思维过程,逻辑思维,人们在认识过程中借助于概念、判断、推理等思维形式能动地反映客观现实的理性认识过程,又称理论思维。它是作为对认识着的思维及其结构以及起作用的规律的分析而产生和发展起来的。只有经过逻辑思维,人们才能达到对具体对象本质规定的把握,进而认识客观对象。它是人的认识的高级阶段,即理性认识阶段。概念是反映事物内的本质属性及其分子的的思维形式,是抽象的、普遍的想法、观念或充当指明实体、事件或关系的范畴或类的实体。其特征是概念的内涵(内容)和外延(包含在概念中的事物);判断的特征是对事物有所断定且有真假;演绎推理的特征是如果前提真,则结论真;(数学的逻辑推理通常是演绎推理)定义是揭示概念内涵的逻辑方式,是用简洁的语词揭示概念反映的对象特有属性和本质属性。定义的基本方法是“种差”加最邻近的“属”概念。定义的规则:一是定义概念与被定义概念的外延相同;二是定义不能用否定形式;三是定义不能用比喻;四是不能循环定义。划分是明确概念全部外延的逻辑方法,是将“属”概念按一定标准分为若干种概念。划分的逻辑规则:一是子项外延之和等于母项的外延;二是一个划分过程只能有一个标准;三是划分出的子项必须全部列出;四是划分必须按属种关系分层逐级进行,不可以越级。数学中的逻辑除了上述特点之外,更重要的是定量的刻画客观事物,在这一过程中,集合是一个基本的概念,它通过集合中的一些关系将事物量化。将具有某种确定的特性的事物的全体称为一个集合。在数学中,在逻辑量化过程中,会用到量词。量词是命题中表示数量的词,分为全称量词和存在量词。全称量词断定所有的个体都具有相关谓词所表示的性质或关系,相当于自然语言中的“一切”、“所有”、“凡”等;存在量词断定存在(即至少有一个,但不一定是每一个)个体具有相关谓词所表示的性质或关系,相当于自然语言中的“有的”、“有”、“至少有一个”、“找得到一个”等。符号表示为(任一)表示全称量词,(存在)表示存在量词,在数学中主要有以下几种形式:表示任一具有性质;表示存在具有性质(满足条件);表示任一和任一具有关系(满足条件);表示对任一,存在,使得具有关系(满足条件);表示存在,对任一,使得具有关系(满足条件);表示存在,存在,使得具有关系(满足条件);复杂的命题或定理、定义是由这几种形式的组合,其一般形式为:使得成立。其中为逻辑符号或;为数学表达式。:若对任何正数有,(反证)若结论不成立,则根据实数的有序性,,则且,这与题设矛盾,,例如极限的定义数列极限定义:设是一个数列,是一个确定的实数(),,当时(),有,则称是数列的极限,此时也称数列收敛于。定义中,数列在条件:是一个确定的实数(),,当时()下的性质是。为了更好地理解定义,从反面看一个数列不收敛,这需要对偶法则。公理系统:从一些公理出发,根据演绎法,推导出一系列定理,这样形成的演绎系统叫做公理系统。欧氏几何学是一个古典的公理系统;现代公理系统的特征:一是严格性;二是选定公理所依据的标准(不是自明的)。形式系统是一个完全形式化了的公理系统,系统包括各种初始符号、形式规则、公理、变形规则。公理4个:第一公理:重言律第二公理:引入律第三公理:析取交换律第四公理:变形规则:一、代入规则;二、分离规则;三、置换规则推演规则(8条),重点介绍求否定规则与对偶规则求否定规则:设为一公式,其中和不出现,:设为两个公式,在其中和不出现,和是中把和互换的结果,有从├,可得├从├,可得├注意:求否定规则实质上是数学中的求否命题,对偶规则的本质是命题与其逆否命题等价;由此可以给出对偶法则:设命题为“使得成立。”,则为了得到的否命题的正面叙述,只要将“使得成立。”中的逻辑符号从改为,并将改为它的否定形式即可。例2定义数列发散:,使得例3数集无上界。先看数集有上界:,有则由对偶法则,数集无上界:,有公理系统的作用在于,从一些公理或推演规则出发,把某一范围内的真命题推演出来。因此公理系统要求有两个重要性质,一是完全性(完备性),即从公理出发,能推出多少,是否完全;二是一致性(无矛盾性),即有没有逻辑矛盾,是否一致。一致性定义有几种,一般介绍以下三种:古典定义:一公理系统是一致的,当且仅当,不存在任何公式,和非都在这个系统里可证。语义定义:一公理系统是一致的,当且仅当,一切在这系统里可证的公式都是真的。语法定义:一公理系统是一致的,当且仅当,并非任一合式公式都在这系统里可证。完全性定义有以下三种:语义定义:一公理系统是完全的,当且仅当,一切属于某一特定范围内的真命题都是在这个系统