离散数学：第三章 第一节 命题逻辑的公理系统 [兼容模式].pdfVIP

公理系统是指从事先给定的公理出发，根据推理规 第三章 公理系统 则推导出一系列定理，由此而形成的演绎系统。 公理系统把表达某些需要肯定命题的公式称为公理， §3.1 命题逻辑的公理系统 从公理出发，使用推理规则推出表达其它需要肯定 §3.2 谓词逻辑的公理系统 命题的公式。公理分为两类，一类是逻辑公理，另 作业 一类是非逻辑公理。逻辑公理都是永真式，是各个 具体公理系统（如几何学公理系统、数论的公理系 统等）都适用的公共公理。非逻辑公理（本章称为 公设）一般不是永真式，只有在某些解释下才为真， 其正确性由各具体学科保证。采用哪些公设是各具 体学科的事，数理逻辑只关心由给定公设集能推出 哪些定理。 公理系统由以下几部分组成： 1. 符号集； 公理系统一旦指定了公理集和推理规则集，定理集 2. 公式集，公式是用于表达命题的符号串； 也就唯一确定了。所以，只需指定公理系统的 前四部分：符号集、公式集、公理集、推理规 3. 公理集，它是公式集的真子集，公理是用于表 则集。 达推理由之出发的初始肯定命题； 在公理系统中进行推理时，涉及的仅仅是符号串之 44. 推理规则集推理规则集，，推理规则是由公理及已证定理得推理规则是由公理及已证定理得 间的转换，并不考虑符号串的具体含义。因此 出新定理的规则； 推理过程展现的是纯粹的语法关系。 5. 定理集，它表达了本系统肯定的所有命题。 可靠性和完备性是公理系统的两个重要性质。 公理系统的一个性质是协调性。能推出所有公式的 如果公理系统的每个定理都是公设集的逻辑推论， 公理系统称为不协调的公理系统。公理系统的协调 也就是说，只要公设都真，每个定理就真，那么就 性是基本要求，不具备协调性的公理系统没有使用 称公理系统为可靠的。 价值。 如果公设集的每个逻辑推论都是公理系统的定理， 公理系统的另一个性质是独立性。如果一个公理系 也就是说也就是说，确实能用推理规则由逻辑公理和公设推确实能用推理规则由逻辑公理和公设推 统没有多余的公理模式和推理规则统没有多余的公理模式和推理规则，，即去掉任何即去掉任何一 出，那么就称公理系统为完备的。 个公理模式或推理规则，定理都会减少，就称该公 理系统是独立的。公理系统的独立性不是基本要求， 可靠的公理系统推不出错误的结论，完备的公理系 统能够推出所有正确的结论。可靠性是对公理系统 公理系统不具备独立性并不影响它的使用。本章给 出的命题逻辑和谓词逻辑公理系统都具有独立性。 的起码要求。下面所讲的命题逻辑和谓词逻辑的公