数理逻辑考点整理.docVIP

一、命题逻辑 1、公式定义： （1）单个命题变元是命题公式。 （2）如果A, B是命题公式，则(~A), (A∧B), (A∨B), (A→B), (A?B)都是命题公式。 （~，∧，∨，→，?，左边高于右边。） 2、公理： Ax1 ├α→（β→α） Ax2 ├ (α→β→γ)→(α→β) →α→γ Ax3 ├（?α→?β）→β→α 3、推理规则： 由α， α→β得 β 4、证明： 从公理出发的证明： （1）称α是P的一个内定理，记作├α （2）如果存在公式序列α1，α2 ，α3，……αn=α，其中每个αk，或是公理，或是由序列中αk前面的公式经由推理法则得到。 从公式集出发的证明： Σ├α当且仅当存在公式序列α1，α2 ，α3，……αn=α，其中任意的αk，要么是公理，要么αk∈Σ，要么是由前面两条由推理法则得到。 5、证明的例子： 二、一阶逻辑 1、公式的定义： （1）原子公式是公式 （2）若φ，ψ是公式，则（?φ），（φ→ψ），是公式 （3）若φ是公式，x是某个个体变元则（?xφ）是公式 2、公理： Ax1: A?B?A? Ax2: (A?B?C)?(A ?B)?A?C? Ax3: (?A??B)?(B?A) Ax4: ?x(A(x)?B(x)) ?(?xA(x)??xB(x)) Ax5: ?xA(x)?A(x/t) Ax6: A??xA?x?FV(φ) Ax7: ?x(x?x) Ax8: ?x1,y1,…,xn,yn (x1?y1?x2?y2?…?xn?yn ?f(x1,x2…xn)?f(y1,y2,…,yn)) Ax9: ?x1,y1,…,xn,yn (x1?y1?x2?y2?…?xn?yn ?r(x1,x2…xn)?r(y1,y2,…,yn)) Ax10: ?xA, A是公理 3、推理规则： A，A→B得 B 4、证明： 从公理出发的证明： 一个公式序列α1，α2 ，α3，……αn=α，其中每个αk，或是公理，或是由序列中αk前面的公式经由推理法则得到。 从公式集T出发的证明： 一个公式序列α1，α2 ，α3，……αn=α，其中每个αk，或是公理，或者属于T，或是由序列中αk前面的公式经由推理法则得到。 5、恒真式： 说A是恒真式，如果 任意模型?╞A 说A是可满足式，如果存在模型?╞A 说公式集T╞A，如果 任意模型?╞T 推出?╞A 命题逻辑恒真式： φ ? ψ??φ (φ ?ψ? ?)? (φ ? ψ )? φ ? ?? (? φ ? ? ψ)? (ψ? φ) 量词恒真式： ?x(φ(x)? ψ(x))?(?xφ(x)??xψ(x)) ?xφ(x)? φ?x/t) φ??xφ??x?FV(φ? 等词恒真式： t?t t1?s1?t2 ?s2?…?tn?sn ?f(t1,t2…tn ) ?f(s1,s2,…,sn ) t1?s1?t2 ?s2?…?tn?sn ?r(t1,t2…tn ) ?r(s1,s2,…,sn ) 三、可计算性 1、部分可计算函数定义： f(x1,x2,……,xn)是Nn→N的一个部分函数，如果存在一个程序P，满足： （1）任意的(x1,x2,……,xn)?dom(f)有P(x1,x2,……,xn)?且P(x1,x2,……,xn)=f (x1,x2,……,xn) （2）任意的(x1,x2,……,xn)?dom(f)有P(x1,x2,……,xn)?就称f是部分可计算函数。 （f是全函数，又是部分可计算函数f，就称为可计算函数） 2、常见函数的判定： 可计算：f(x)=0、f(x)=10、f(x)=x+1 3、原始递归函数： 原始递归函数的定义： （1）初始函数 零函数n(x)=0 后继函数S(x)=x+1 投影函数或者 1≤i≤m （2）函数的合成（复合） 设f是k元函数，g1,g2,…,gk是k个m元函数 或者 称为f和g1,g2,…,gk的合成 （3）函数的原始递归 设f和g分别是m元和m＋2元全函数， 称h为f和g经过原始递归得到的m＋1元函数 （4）原始递归函数 定义 :由初始函数，和复合，递归算子构造而成的函数。 原始递归函数的例子： f(x)=c, c是常数。 f(x)=x. f(x,y)=x+y f(x,y)=x?y f(x)=x！ f(x,y)=xy, p(0)=0 p(x+1)=x x?0=x x?(y+1)=p(x?y) |x-y| 原始递归函数都是可计算函数： 1.初始函数是可计算函数 n(x): Pn( x) V?V S(x): Ps(x) X?X+1 Y?X : Y ? Xi 2.可计算函数的复合是可计算函数 Z1? g1(x1,x2,…,xm), …… Zk? gk(x1,x2,…,xm)