逻辑与公理化系统

第一讲数理逻辑与公理化系统

逻辑是人通过概念、判断、推理、论证来理解和区分客观事物的思维过程，逻辑思维，人们在认识过程中借助于概念、判断、推理等思维形式能动地反映客观现实的理性认识过程，又称理论思维。它是作为对认识着的思维及其结构以及起作用的规律的分析而产生和发展起来的。只有经过逻辑思维，人们才能达到对具体对象本质规定的把握，进而认识客观对象。它是人的认识的高级阶段，即理性认识阶段。

概念是反映事物内的本质属性及其分子的的思维形式，是抽象的、普遍的想法、观念或充当指明实体、事件或关系的范畴或类的实体。其特征是概念的内涵（内容）和外延（包含在概念中的事物）；

判断的特征是对事物有所断定且有真假；

演绎推理的特征是如果前提真，则结论真；（数学的逻辑推理通常是演绎推理） 定义是揭示概念内涵的逻辑方式，是用简洁的语词揭示概念反映的对象特有属性和本质属性。定义的基本方法是“种差”加最邻近的“属”概念。

定义的规则：一是定义概念与被定义概念的外延相同；二是定义不能用否定形式；三是定义不能用比喻；四是不能循环定义。

划分 是明确概念全部外延的逻辑方法，是将“属”概念按一定标准分为若干种概念。划分的逻辑规则：一是子项外延之和等于母项的外延；二是一个划分过程只能有一个标准；三是划分出的子项必须全部列出；四是划分必须按属种关系分层逐级进行，不可以越级。

数学中的逻辑除了上述特点之外，更重要的是定量的刻画客观事物，在这一过程中，集合是一个基本的概念，它通过集合中的一些关系将事物量化。

将具有某种确定的特性的事物的全体称为一个集合。

在数学中，在逻辑量化过程中，会用到量词。

量词是命题中表示数量的词，分为全称量词和存在量词。全称量词断定所有的个体都具有相关谓词所表示的性质或关系，相当于自然语言中的“一切”、“所有”、“凡”等；存在量词断定存在（即至少有一个，但不一定是每一个）个体具有相关谓词所表示的性质或关系，相当于自然语言中的“有的”、“有”、“至少有一个”、“找得到一个”等。

符号表示为∀（任一）表示全称量词，∃（存在）表示存在量词，在数学中主要有以下几种形式：

)(,x F x ∀ 表示 任一x 具有性质F ；

)(,x F x ∃ 表示 存在x 具有性质F （满足条件F ）；

),(,y x G y x ∀∀ 表示 任一x 和任一y 具有关系G （满足条件G ）；

),(,y x G y x ∃∀ 表示 对任一x ，存在y ，使得y x ,具有关系G （满足条件G ）； ),(,y x G y x ∀∃ 表示 存在x ，对任一y ，使得y x ,具有关系G （满足条件G ）； ),(,y x G y x ∃∃ 表示 存在x ，存在 y ，使得y x ,具有关系G （满足条件G ）； 复杂的命题或定理、定义是由这几种形式的组合，其一般形式为：

n n q p q p q p ,,,2211 使得1+n q 成立。

其中),,2,1(n i p i =为逻辑符号∀或∃；)1,,,2,1(+=n n i q i 为数学表达式。 例1 设R b a ∈,.证明：若对任何正数ε有ε+

证明（反证） 若结论不成立，则根据实数的有序性，必有b a >.令b a -=ε，则0>ε且ε+=b a ，这与题设ε+

数学的定义都是用逻辑的量化形式给出来的，例如极限的定义

数列极限定义：设{}n a 是一个数列，a 是一个确定的实数（R a ∈∃），

+∈∃>∀N N ,0ε，当N n >时（N n >∀），有ε<-a a n ，则称a 是数列{}n a 的极限，此时也称数列{}n a 收敛于a 。

定义中，数列{}n a 在条件： a 是一个确定的实数（R a ∈∃），+∈∃>∀N N ,0ε，当N n >时（N n >∀）下的性质是ε<-a a n 。

为了更好地理解定义，从反面看一个数列不收敛，这需要对偶法则。

公理系统：从一些公理出发，根据演绎法，推导出一系列定理，这样形成的演绎系统叫做公理系统。欧氏几何学是一个古典的公理系统；现代公理系统的特征：一是严格性；二是选定公理所依据的标准（不是自明的）。

形式系统是一个完全形式化了的公理系统，系统包括各种初始符号、形式规则、公理、变形规则。

公理4个：

第一公理：重言律).)((p p p →∨

第二公理：∨引入律)).((q p p ∨→

第三公理：析取交换律).()((p q q p ∨→∨

第四公理：)).()(()((r p q p r q ∨→∨→→

变形规则：一、代入规则；二、分离规则；三、置换规则

推演规则（8条），重点介绍求否定规则与对偶规则

求否定规则：设E 为一公式，其中→和↔不出现，其否定式-E 可用以下方法直接得到

（1）

∨被代以.∧ （2）

∧被代以.∨ （3）

不出现于部分公式π⌝中的π被代以π⌝ （4） π⌝被代以π.

对偶规则：设B A ,为两个公式，在其中→和↔不出现，*A 和*B 是B A ,中把∨和∧互换的结果，有

（1） 从├B A →，可得├.**A B →

（2） 从├B A ↔，可得├.**A B ↔

注意：求否定规则实质上是数学中的求否命题，对偶规则的本质是命题与其逆否命题等价；

由此可以给出对偶法则：设命题P 为“n n q p q p q p ,,,2211 使得1+n q 成立。”，则为了得到P 的否命题的正面叙述，只要将“n n q p q p q p ,,,2211 使得1+n q 成立。”中的逻辑符号),,2,1(n i p i =从)(∃∀改为)(∀∃，并将1+n q 改为它的否定形式即可。

例2定义数列{}n a 发散：N n N a >∃∀∃∀,,,0ε，使得.0ε≥-a a n

例3数集A 无上界。

先看数集A 有上界：A x M ∈∀∃,，有.M x ≤

则由对偶法则，数集A 无上界：A x M ∈∃∀,，有.M x >

公理系统的作用在于，从一些公理或推演规则出发，把某一范围内的真命题推演出来。因此公理系统要求有两个重要性质，一是完全性（完备性），即从公理出发，能推出多少，是否完全；二是一致性（无矛盾性），即有没有逻辑矛盾，是否一致。

一致性定义有几种，一般介绍以下三种：

一、古典定义：一公理系统是一致的，当且仅当，不存在任何公式A ，A 和非A 都在

这个系统里可证。

二、语义定义：一公理系统是一致的，当且仅当，一切在这系统里可证的公式都是真的。

三、语法定义：一公理系统是一致的，当且仅当，并非任一合式公式都在这系统里可证。 完全性定义有以下三种：

一、语义定义：一公理系统是完全的，当且仅当，一切属于某一特定范围内的真命题都

是在这个系统里可证的。

二、语法定义：一公理系统是完全的，当且仅当，如果把一个推演不出的公式作为公理，

其结果，所得的系统就不一致。

三、古典定义：一公理系统是完全的，当且仅当，对于任一合式公式A ，或者A 是可

证的，或者非A 是可证的。

独立性定义：一公式集合M 是独立的，如果M 中任一公式A 都不能根据给定的推演规则从M 中其它公式推演出来。

不同命题的逻辑：

（1） 古典逻辑（二值逻辑：真或假，具有排中律）；

（2） 多值逻辑（变项和公式的值不止一项）；

（3） 模态逻辑；

（4） 构造性逻辑（真假概念是与构造的可实现性相联系的，排中律失效）

附录：数理逻辑发展简史

数理逻辑的五个特征：

第一， 数理逻辑是边缘性的学科，在它的范围内，逻辑内容和数学的内容常常交织在一起； 第二， 从逻辑角度考虑，数理逻辑是研究演绎方法的科学。演绎方法包括演绎推理和以演

绎为基础的证明和公理方法。