《数理逻辑》第二章.pdf

马琦 2010.9.4 maqi08@ 学习逻辑的目的之一：对推理过程的分析。 前一章 ：将语句语句和论证论证抽象到形式 ，并且对 语句语句 论证论证 一个一个有效的论证有效的论证有效的论证有效的论证给出了直觉的定义给出了直觉的定义。。 有效的论证有效的论证有效的论证有效的论证 本章：引进形式演绎系统形式演绎系统的概念，本质上是 形式演绎系统形式演绎系统 抽象过程的继续 ，从中概括出证明证明的概念。 证明证明 形式系统形式系统 系统系统 形式系统形式系统 系统系统 符号字母表符号字母表 元素元素 （项（项）） 符号字母表符号字母表 元素元素 （（项项）） 合式公式合式公式：符号有穷串的集合 运算运算 合式公式合式公式 运算运算 公理公理公理公理 ：：某些合式公式的集合某些合式公式的集合 公理公理公理公理 演绎规则演绎规则：可推出一个合式公式作为 演绎规则演绎规则 合式公式有穷集的直接后承。 根据以上四点 ，就可以从公理出发， 使用推理规则依次完成演绎的过程。 符号字母表符号字母表 ：~,→,( , ) , p1, p2, p3,… 符号字母表符号字母表 合式公式合式公式 （（wf.wf.）的集合）的集合。用下述三条归纳规则确定此集合 合式公式合式公式 （（wf.wf.））的集合的集合 （i）对每一 i ≥ 1，pi是wf.。 （ii）若 A 和 B 是wf. ，则(~ A)和 (A →B)是wf.。 （（iiiiii））所有的所有的 wf. wf. 是由是由 （（ii））和和 （（iiii））产生的产生的。。 公理公理。存在无穷多条公理，而借助于三条公理可以把所有的公理都指出来。 公理公理 对任意的wf. A,B,C,… ，以下的 wf. 是L的公理： （L1）( A →(B→A) ) 。 （L2）( (A →(B→C)) →((A →B)→(A →C)) ) 。 （L3）(((~A) →(~B)) →(B→A) ) 。 演绎规则演绎规则。分离规则 （MP）：从 A 和 (A →B ) ，得出 B 是一个直接后承 ， 演绎规则演绎规则 这里 A 和 B 是 L 的任意 wf. 。 定义定义 2.2.22 定义定义 22..22 在 L 中的一个证明是 wf. 的一个序列 A1,…,An ，使得对每一 i (1≤i≤n), Ai 或者是 L 的 公理 ，或者是序列中在前的两个项，例如 Aj 和 Ak (ji,ki) ，用演绎规则 MP 而得到 的一个直接后承。这样的一个证明将称为 L 中An 的证明证明 ，而An 称为 L 的定理定理。 证明证明 定理定理 例例 2.42.4 例例 2.42.4 下面的序列是 L 中的证明 。 （1）(p1 →(p2→p1))