一阶谓词演算的完备性(南京大学宋方敏老师提供)(数理逻辑).pdfVIP

Vollständigkeit des Prädikatenkalküls Der Prädikaten Kalkül(简称PK) Copyright © 2006 by 宋方敏 定义.1： 设Φ为PK 公式集， Φ矛盾指存在β使 Φ⊢β且 Φ⊢ ┐β。 Φ相容(consistent)指Φ不是矛盾的。 Φ相容记为con(Φ)，Φ矛盾记为Incon(Φ)。 引理.2： 若Φ是矛盾的，则Φ不可满足 若Φ是可满足的，则Φ相容 推论.3： 空集Φ是相容的，i.e. PK 是consistent 引理.4： 若Incon(Φ)，则Φ⊢αfor all α 证明：use ⊢(β∧┐β) ⊃α 命题.5： 对任何Φ, α (1)Incon(Φ,┐α) iff Φ⊢α (2)Incon(Φ, α) iff Φ⊢ ┐α 命题.6： 若以下7 条之一成立，则Incon(Φ) (1)存在 α，使┐┐α∈Φ且Incon(Φ, α) (2)存在 α和β，使 α⊃β∈Φ且Incon(Φ,┐α)且Incon(Φ, β) (3)存在 α和β，使┐( α⊃β)∈Φ且Incon(Φ, α,┐β) (4)存在 α, x 和ξ，使∀x α∈Φ且Incon(Φ, α[x :=ξ]) (5)存在 α, x 和y ，使┐∀x α∈Φ且y∉FV(Φ)且Incon(Φ, ┐α[x := y]) (6)存在公理 α,使Incon(Φ, α) (7)存在 α,x 和y ，∃x α∈Φ且y∉FV(Φ)且Incon(Φ, α[x := y]) 定义7： 设Φ为PK 公式集，Φ极大相容指 (1)Φ相容 且(2)若Ψ⊃Φ且Ψ为PK 公式集，则Incon(Ψ) 命题.8： Φ极大相容⇔(a)Φ相容 且(b)对任何 α有 α∈Φ或┐α∈Φ  证明： ：即(1)(2)⇒(b) 设(1)(2)成立， case 1: α∈Φ,从而(b)成立 case 2: α∉Φ，从而Incon(Φ, α),因此Φ⊢ ┐α， 反设┐α∉Φ，从而Incon(Φ,┐α),因此Φ⊢α，与con(Φ)矛盾， 故┐α∈Φ，从而(b)成立 ：即(a)(b)⇒(2) 设Ψ⊃Φ，Ψ为PK 公式集， 反设con(Ψ),取β∈Ψ-Φ，从而β∉Φ，故┐β∈Φ,从而┐β∈Ψ 与con(Ψ)矛盾,从而(2)成立 Q.E.D. 命题.9： 若Φ极大相容且 Φ⊢α，则 α∈Φ 证明：反设 α∉Φ，从而由上命题知┐α∈Φ，从而Φ⊢(α∧┐α),与con(Φ)矛盾# 命题.10： 设Ψ极大相容 (0) α∈Ψ或┐α∈Ψ (1)非(φ∈Ψ且┐φ∈Ψ) (2)┐┐α∈Ψ⇒α∈Ψ (3) α⊃β∈Ψ⇒┐α∈Ψ或β∈Ψ (4)┐( α⊃β)∈Ψ⇒α∈Ψ或┐β∈Ψ (5)∀x α∈Φ⇒对任何ξ，使 α[x :=ξ] ∈Ψ 定义.11： Ψ为Henkin 集指 (1)Ψ极大相容 (2)若∃x α∈Ψ，则有ξ，使 α[x :=ξ] ∈Ψ 定义.12： Lpk 个体常元：{c |i ∈I } i 1 个体变元：{x |i ∈I } i 2 函数变元：{f |i ∈I } μ(i)为f 的arity i 3 i where μ: I → N+ 3 定义.13： PK 之term （项） (1)个体常元为项 (2)个体变元为项 (3)若f 为n 元函数变元且t ,t ,……,t 为项，则有f(t ,t ,……,t )为项 1 2 n 1 2 n (4)项仅限于此 定义.14： Lpk 的基数，记为||Lpk ||,指所有L -符号集的基数。 定理.15： 设||Lpk ||=λ，则||Term||≦λ，||Formula||=λ 定理.16：(主要定理) 设Ψ为Lpk 之Henkin 集，则Ψ是可满足的。 证明：Step1：先构作模型满足Ψ   U U 令 ={[t]|t∈L -项}，下面定义 上的赋值映射σ (1)对于个体变元x，σ(x)=[x] (2)对于个体常元c，σ(c)=[c]