[数理逻辑.docxVIP

第二章命题逻辑形式系统P命题逻辑：以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。字母表（1）命题变元符号p1，p2 ，p3，……（2）命题连接符号connective symbol ?，→（3）技术符号 ），（公式（1）单个命题变元是公式，（2）若α，β是公式，则 ?α，（α→β）也是公式。简记α∨β ?α→βα∧β ?（α→ ?β）αβ（α→β）∧（β→α）公理公理 1 ├α→（β→α）公理 2 ├ (α→β→γ)→(α→β) →α→γ公理 3 ├（?α→?β）→β→αMP法则由α成立，α→β成立，得 β成立。从公理出发的证明例1. ├ (A→B) → (A→A)证明 (1)├A→（B→A） Ax1(2)├ (A→B→A) → (A→B) →A→A Ax2(3)├ (A→B) → (A→A) (1) (2) MP例2. ├A→A证明.1) ├ (A→B→A) → (A→A)例12) ├A→（B→A） Ax13) ├ A→A 1) (2) MP例2.5 ├（B→C）→((A→B)→(A→C))证明1)├ (A→B→C) → (A→B) →A→C Ax22)├ [(A→B→C) → (A→B) →A→C] →{(B→C) →[(A→B→C) → (A→B) →A→C]} Ax33)├(B→C) →[(A→B→C) → (A→B) →A→C] 1),2)MP4)├{(B→C) →[(A→B→C) → (A→B) →A→C]} →[(B→C) →(A→B→C)] →{(B→C) →[(A→B) →A→C]}5)├ [(B→C) →(A→B→C)] →{(B→C) →[(A→B) →A→C]} 3),4) MP6)├(B→C) →(A→B→C) Ax17)├（B→C）→((A→B)→(A→C)) 5),6) MP定理1. (1) 设 ├α， ├ α→β则 ├ β. (假言推理)(2) 设 ├ β 则 ├ α→β. (3) 设 ├α→β，├β→γ则 ├ α→γ （假言三段论式HS）例3. ├ ?α→(α→β) 一个矛盾可以推出任何结论证明(1) ├ ?α→(?β→?α) Ax1(2) ├（?β→ ?α）→（α→β） Ax3 (3) ├ ?α→(α→β) HS从公式集出发的证明例 5. {α, β → (α→γ) }├β→γ证明：(1) α H(2) β→α Thm1（2）(3) β → (α→γ) H(4) (β→ (α→γ)) → (β→α) →β→γ Ax2(5) (β→α) →β→γ MP(6) β→γ (2) (5)MP可靠性、完全性、和谐性的定义可靠性：├α ╞α 。L的每个定理都是恒真式。完全性：╞α ├α。 P每个恒真式都是P的定理。和谐性：L推不出矛盾，α和?α不能同时可用。演绎定理Σ├α→β Σ，α├β.第三章 一阶逻辑语法语义1. 基本概念（1）原子命题：表达了最基本的成立与不成立的关系（2）个体词：表示某个对象（a, b, c…..）（3）谓词：表示个体某个性质或者个体间某个关系。用F,G,P,…,来表F(a),G(a,b),P(a,b,c)（4）函数词：表示从一个或者几个个体到个体的映射。（5）变元：指代某一个体。变元的所有可能取值称为个体域或者论域。（6）量词：全称、存在、重叠量词。2. 一阶语言L=C,F,R（1）字母表a）非逻辑符号cC，fF，rRb）逻辑符号,,,v0,v1,…,c）括号(, )LA=0, S, +, , , LZF=, , Lr=r, （2）公式a）项：1：常量是项2：变元是项3: F是n元函数符号，若t1, t2,……，tn是项， 则F(t1, t2,……，tn)是项b）原子公式若P是n元关系符号，t1, t2,……，tn是项，P(t1, t2,……，tn)是原子公式c）公式：1：原子公式是公式2：若φ，ψ是公式，则（?φ），（φψ），是公式3：若φ是公式，x是某个个体变元则 (xφ)是公式3.常见恒真式（1）命题逻辑恒真式Ax1: ABAAx2: (ABC)(A B)ACAx3: (?A?B)(BA)（2）量词恒真式Ax4: x(A(x)B(x)) (xA(x)xB(x))Ax5: xA(x)A(x/t)Ax6: AxAxFV(φ)（3）等词恒真式Ax7: x(xx)Ax8: x1,y1,…,xn,yn (x1y1x2y2…xnyn f(x1,x2…xn)f(y1,y2,…,yn))Ax9: x1,y1,…,xn,yn (x1y1x2y2…xnyn r(x1,x2…xn)r(y1,y2,…,yn))（4）Ax10: