逻辑与公理化系统.docVIP

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