第八讲命题演算.pptVIP

LOGO LOGO 第八讲 命题演算的公理系统 公理、公理方法以及公理系统的定义 公理方法经历的三个阶段 形式公理系统的主要特点 命题演算的公理系统——PM系统 命题演算的元逻辑问题 一、公理、公理方法以及公理系统的定义 1.公理 不证自明的道理。 一、公理、公理方法以及公理系统的定义 2.公理方法 从初始概念和公理出发，然后从它们定义其他一切概念以及推演出其他一切定理的演绎方法。 公理方法的最基本特点是不能循环论证 一、公理、公理方法以及公理系统的定义 3.公理系统 从由初始概念、公理、定义、推理规则、定理等所构成的演绎系统称为公理系统。 公理系统是从少数几个公理出发， 按照推理规则进行的演绎推理。 公理系统是应用公理方法的结果。 二、公理方法经历的三个阶段 1. 直观公理方法 Euclid《几何原本》是一个实质公理系统 ◆把点、线、面、角等分为原始定义概念（23）和可定义概念； ◆命题分为公理（5）和公设（5） ◆由公理公设出发加以证明的定理（467） 公理： 公设： 等于同量的量彼此相等 1.由任意一点到另外任意一点可以画直线 等量加等量，其和仍相等 2.一条有限直线可以继续延长 等量减等量，其差仍相等 3.以任意点位心及任意的距离可以画圆 彼此能重合的物体是全等的 4.凡直角都彼此相等 整体大于部分 5.平行公设 二、公理方法经历的三个阶段 1. 直观公理方法 ◆ 只适用于某个特定的论域 ◆ Euclid的几何只用于平面几何； 亚里士多德的逻辑只适用于推理 ◆ 为某个论域或某个学科所创 二、公理方法经历的三个阶段 2. 概括公理方法 非欧几何 ◆罗巴切夫斯基几何 ◆黎曼几何 二、公理方法经历的三个阶段 2. 概括公理方法 只适用于多个论域。 某些论域的公理不是自足的，需要别的系统的东西来证明，即它不是自足的。 概括公理方法的思想就是建立模型思想。 但解释概括公理方法很复杂。 直观公理方法与概括公理方法统称为实 质性公理方法。 ◆ ◆ 二、公理方法经历的三个阶段 3. 形式公理方法 希尔伯特《几何基础》 重新定义了几何元素，点、线、面这三个基本概念，没有直观的解释，其它概念是基本概念的导出概念，这是形式公理方法的特征 确立了五组20条公理 这个系统可以有各种不同的解释即模型 二、公理方法经历的三个阶段 3. 形式公理方法 既有直观公理方法又有概括 公理方法的特点。 形式公理系统应当包括以下： （1）初始符号 （2）定义 （3）形成规则 （4）公理 （5）变形规则 三、形式公理系统的主要特点 研究系统的结构性质，研究可证明性和定义性，系统地协调性、完全性、独立性、可判定性等，与证明论有关。 研究系统中公式的意义，研究系统的解释，与模型论有关。 （3）语用：使用者对符号的解释和使用（如何理解） （2）语义：符号的意（如何解释） （1）语形：研究符号的结合方式 1. 讨论对象时首先从语形和语义方面来考虑 三、形式公理系统的主要特点 当且仅当该系统中的可证公式即定理都是重言式。 语义一致性： 当且仅当并非该系统中的任何合式公式都是该系统的可证公式即定理。 语形一致性： 对任一公式A,A和﹁A至少有一个在该系统中不可证,即至少有一个不是该系统的定理。 古典一致性： 2. 一致性、完全性、独立性 一致性：无矛盾性。 1） 三、形式公理系统的主要特点 当且仅当属于该系统的一切永真公式都能在这个系统里得到证明。 语义完全性： 当且仅当如果把一个不可证的公式作为新公理引进，则该系统就会导致矛盾。 语形完全性： 对任一公式A,A和﹁A至少有一个在该系统中可证,即至少有一个在该系统中可证,即至少有一个是该系统的定理 古典完全性： 2. 一致性、完全性、独立性 完全性：该推出的定理都应推出来 2） 三、形式公理系统的主要特点 2. 一致性、完全性、独立性 独立性：就是公理的不可推出性。 3） 四、命题演算的公理系统——PM系统 1. 概念部分 （1）初始符号 命题变元：p，q，r，s，p1… 联结词： ﹁ ，∨ ； 辅助符号：（ .）。 （2）形成规则 命题变元是公式； 如果A是公式，则﹁A是公式； 如果A和B是公式，则（A∨B）是公式； 除此以外的均非公式