谓词逻辑2.2.pptVIP

* 离散数学 Discrete Mathematics 主讲：陈哲云 青岛理工大学计算机工程学院 2013.09 第2章 谓词逻辑 谓词逻辑 2.1 谓词逻辑基本概念（重点） 2.2 谓词公式及解释（难点） 2.3 谓词逻辑等值式 2.4 谓词逻辑推理理论（补充） 谓词公式及其解释 公式的解释（难点） 谓词公式 解释的定义 公式的类型 谓词公式基本概念 约束变元与自由变元 闭式 谓词公式 谓词公式——由下列规则形成的符号串： ① 原子公式是谓词公式； ② 若A是谓词公式，则(┐A)是谓词公式； ③ 若A，B是谓词公式，则(A∧B)，(A∨B)，(A→B)和(A?B)都是谓词公式； ④ 若A是谓词公式，x是个体变元，则?xA、?xA都是谓词公式； ⑤ 仅有有限次使用①、②、③和④形成的符号串才是谓词公式。 谓词公式 项——项由下列规则形成： ① 个体常元和个体变元是项； ② 若f 是n元函数，且t1，t2，…，tn是项， 则f(t1，t2，…，tn)是项； ③ 所有项都由①和②生成。 原子公式 若P(x1，x2，…，xn)是任意的n元谓词，t1，t2，…，tn是项，则称P(t1，t2，…，tn)为谓词逻辑中的原子谓词公式，简称原子公式。 谓词公式 例1 判断下列各符号串是否是谓词公式。 谓词公式的解释 例2 如何使如下公式成为命题（有确切的值）？ 1. ?x(P(x)?Q(x)) 2. ?x?y(P(x)?Q(x,y)) 3. ?y?zL(x,y,z) 例2 如何使如下公式成为命题（有确切的值）？ 1. ?x(P(x)?Q(x)) 解 给出如下几组赋值（或解释）： (1)令 P(x): x 是偶数。 Q(x): x能被2整除。(成真解释) (2)令 P(x): x 是整数。 Q(x): x是正数。(成假解释) (3)消除量词法 当论域为有限集D ={a1, a2, … , an}时， ① ?xA(x) ? A(a1)?A(a2)?…?A(an) ② ?xA(x) ? A(a1)?A(a2)?…?A(an) 谓词公式的解释 (3)令论域D={1,2}, P(x)为 P(1)= 0 , P(2)= 0 Q(x)为 Q(1)= 1 , Q(2)=0 则?x(P(x)?Q(x)) ?((P(1)?Q(1)) ∧((P(2)?Q(2)) ? (0?1) ∧((0?0) ?1 ∧1 ?1 (成真解释) 谓词公式的解释 例2 如何使如下公式成为命题（有确切的值）？ 2. ?x?y(P(x)?Q(x,y)) 请作练习 3. ?y?zL(x,y,z) 谓词公式的解释 谓词公式的解释 公式的解释 所谓对公式的解释，即是对各种变项用指定的特殊常项去代替，从而使公式可能有一个确定的值。 一个解释可以用来解释多个公式，一个公式也可以给出多个解释。 谓词公式的解释 例3 已知指定一个解释I如下： (1)个体域为自然数集合DN (2)指定常项a=0 (3)DN上的指定函数f(x,y)=x+y, g(x,y)=x*y (4)指定谓词F(x,y)为x=y 在以上指定的解释I下, 说明下列公式的真值 . (1)?xF(g(x,a),x) (2)?x?y(F(f(x,a),y)?F(f(y,a),x)) (3)F(f(x,y),f(y,z)) 谓词公式的解释 解 代入相应解释，得 (1)?xF(g(x,a),x) ? ?x(x*0=x) ? ?x(0=x) 即为命题“所有的自然数都是0”, 为假命题。 (2)?x?y(F(f(x,a),y)?F(f(y,a),x)) ??x?y(x+0=y?y+0=x) ??x?y(x=y?y=x) 此命题为“对任意自然数x，存在一个自然数y，使得若x=y，则y=x。”, 是真命题。 (3)F(f(x,y),f(y,z)) ?x+y=y+z 此时该公式不是命题，真值不能确定。 公式的类型 公式的类型 重言式（逻辑有效式），矛盾式（永假式 ），可满足式 由于谓词公式的复杂性和解释的多样性，至今还没有一个可行的算法判定任何公式的类型。早在1936年，Churen(克林)和Turing(图灵)各自独立地证明了：对于一阶逻辑，其判定问题是不可解的。但是，谓词逻辑是半个可判定的，即若谓词逻辑中公式是重言式，则存在算法在有限步骤内能验证它。当然，对于一些较为简单的公式，或某些特殊公式，还是可以判定其类型的。 定理 重言式的代换实例是逻辑有效式； 矛盾式的代换实例是矛盾式。 代换实例 设A0是含命题变项p1, p2,…，pn的命题公式，A1, A