第2章谓词逻辑(杨圣洪版教材)重点.pptVIP

第二章 谓词逻辑 要求掌握的内容 1、准确掌握谓词逻辑的基本概念； 2、会将命题符号化； 3、熟练掌握谓词公式的等值演算； 4、会写谓词公式前束范式； 5、熟练掌握谓词逻辑的推理方法。 * * * * 2.2.3 谓词公式的解释及真值 例题2.2.7：设个体变元的值域D=N（自然数集）, 常元a=0,函数f(x,y)=x+y，g(x,y)=x*y，谓词F(x,y):x=y。 解：将个体常元、变元、函数带入到原子公式中。 (1) F(f(x,y),g(x,y)) 原式=F(x+y,x*y)，其含义为x+y=x*y，对于自然数x、y，此式真假不确定，故不是命题。 (2) ?xF(g(x,a),x) 原式=?xF((x*0),x)=?xF(0,x)，其含义为?x (0=x) ，即：“任给一个自然数x，0都等于x”，显然是错误的；真值为0。 2.2 谓词公式及其解释 2.2.3 谓词公式的解释及真值 例题2.2.7：设个体变元的值域D=N（自然数集）, 常元a=0,函数f(x,y)=x+y，g(x,y)=x*y，谓词F(x,y):x=y。 解：将个体常元、变元、函数带入到原子公式中。 (3) ?x?y?zF(f(x,y),z) 原式=?x?y?zF(x+y,z)，其含义为?x?y?z(x+y=z)，即：“任给自然数 x，任给自然 y，存在自然数 z，使得 x+y=z”，因为任何两个自然的和是自然数，所以这句话是正确的，原式的真值为1。 2.2 谓词公式及其解释 2.2.3 谓词公式的解释及真值 例题2.2.7：设个体变元的值域D=N（自然数集）, 常元a=0,函数f(x,y)=x+y，g(x,y)=x*y，谓词F(x,y):x=y。 解：将个体常元、变元、函数带入到原子公式中。 (4) ?x?y(F(f(x,a),y)?F(f(y,a),x)) 原式=?x?y(F(x,y)?F(y,x)),其含义为：?x?y(x=y?y=x), 即：“任给一个自然数x，任给一个自然数y，如果x=y，那么y=x”；这显然成立，故原式的真值为1。 2.2 谓词公式及其解释 2.2.4 谓词公式的类型 与命题公式一样，谓词公式也有3种类型： 永真式(逻辑有效式):在任何解释下均为真。 永假式(矛盾式):在任何解释下均为假。 可满足式:至少存在一种解释下为真。 说明： (1)在命题逻辑中容易使用真值表判断命题公式的类型。 (2)在一阶逻辑（即谓词逻辑）中，很难根据定义来验证一个公式的类型。 (3)“任何解释”如何穷尽？不可能。但可以设法将命题公式类比迁移到谓词逻辑中；通过“代换实例”，即：“类比命题逻辑原则”进行判断。 2.2 谓词公式及其解释 2.2.4 谓词公式的类型 2.2 谓词公式及其解释 【定义2.2.13】（代换实例）： 设A是含有命题变元p1,p2,...,pn的命题公式，F1,F2,...,Fn是n个谓词公式，将A中pi的每次出现都换成Fi，所得公式称为A的代换实例。 如： 命题公式A：p?q，谓词公式：F(x)，G(x)，则 F(x)?G(x)可看成是命题公式p?q的代换实例。 同理，A(x)??A(x)与?xA(x)???xA(x)都可看成是p??p的代换实例 。 2.2.4 谓词公式的类型 2.2 谓词公式及其解释 例题：判断公式F(x,y)?(G(x,y)?F(x,y))的类型。 解：将公式中的F(x,y)全部换为p, G(x,y)全部换为q，得命题公式p?(q?p)，即： F(x,y)?(G(x,y)?F(x,y))是p?(q?p)的代换实例。 p?(q?p)??p?(?q?p)??p?p??q?1，即为重言式, 故其代换实例F(x,y)?(G(x,y)?F(x,y))是永真式。 称p?(q?p)为F(x,y)?(G(x,y)?F(x,y))的原型 定理2.2.1：命题重言式的代换实例都是永真式， 命题矛盾式的代换实例都是矛盾式。 小结： 1、合式谓词公式的定义 2、量词的指导变元与量词的辖域 3、个体变元的身份（约束变元、自由变元） 4、谓词公式的解析及真值 5、谓词公式的三种类型（永真、永假、可满足） 要求：掌握利用代换实例进行公式类型判断的基本方法。 2.2 谓词公式及其解释 【定义2.3.1】设A、B是两个合法的谓词公式，如果在任何解释下两个公式的真值都相等，则称A与B等值，记为A?B。 2.3 谓词公式等值演算 根据定义，当A?B时，在任何解释下，公式A与公式B的真值都相同，故A?B为永真式，故有定义2： 【定义2.3.2】设A、B是两个合法的谓词公式，如果在任何解释下，A?