苏XI友无密码课件 第2章 谓词逻辑.pptVIP

§1 谓词逻辑基本概念 解:没有指定个体域, 使用全总个体域. (1)－(3)设F(x):x是兔子, G(x):x是乌龟, H(x,y):x比y跑得快. (1)?x?y(F(x)∧G(y)→H(x,y)). (2)?x(F(x)∧?y(G(y)→H(x,y))). (3)??x?y(F(x)∧G(y)→H(x,y)), or ?x?y(F(x)∧G(y)∧?H(x,y)). (4)设F(x):x是人, G(x,y):x≠y, H(x,y):x与y一样高. ??x?y(F(x)∧F(y)∧G(x,y)∧H(x,y)), or ?x?y(F(x)∧F(y)∧G(x,y)→?H(x,y)). * 北京林业大学信息学院 苏喜友 * Exp.7 在谓词逻辑中将下面命题符号化. （1）每个自然数都有后继数. （2）有的自然数无先驱数. （3）存在最小的自然数. §1 谓词逻辑基本概念 解:（1）设N(x):x是自然数, H(x,y):y是x的后继数. 符号化为: ?x(N(x)→?y(N(y)∧H(x,y))), or ?x(N(x)→N(x+1)). * 北京林业大学信息学院 苏喜友 * §1 谓词逻辑基本概念 （2）有的自然数无先驱数. 设N(x):x是自然数, H(x,y):y是x的先驱数. 符号化为: ?x(N(x)∧?y(N(y)→?H(x,y))), or ?x(N(x)∧?N(x-1)). （3）存在最小的自然数. 设N(x):x是自然数, L(x,y):x＜y, E(x,y):x=y. 符号化为： ?x(N(x)∧?y(N(y)→L(x,y)∨E(x,y))). * 北京林业大学信息学院 苏喜友 * §1 谓词逻辑基本概念 关于全称量词和存在量词逻辑含义的说明： （1）?xF(x)是这样一个命题:“对任意的x∈D, F(x)都成立.”故对命题的真值应做如下规定: 1, ?x∈D, F(x)?1; 0, ?x0∈D, F(x0)?0. 1, ?x0∈D, F(x0)?1; 0, ?x∈D, F(x)?0. ?xF(x)? ?xF(x)? （2）?xF(x)是这样一个命题:“存在一个x0∈D, 使得F(x0)成立.”故其真值为: * 北京林业大学信息学院 苏喜友 * §1 谓词逻辑基本概念 当个体域D为有限集合时, 设D={a1,a2,…,an}, 则由上述给出的量词的意义, 对于任意的谓词F(x),都有 ?xF(x)?F(a1)∧F(a2)∧…∧F(an) ?xF(x)?F(a1)∨F(a2)∨…∨F(an) * 北京林业大学信息学院 苏喜友 * §2 谓词逻辑公式及解释 字母表 项 原子公式 谓词公式 换名规则 代替规则 公式的解释 公式的分类 指导变项 约束出现 自由出现 闭式 * 北京林业大学信息学院 苏喜友 * 一、谓词公式 Def.1 字母表定义如下： （1）个体常项: a,b,c,…, ai,bi,ci,…, i≥1; （2）个体变项: x,y,z,…, xi,yi,zi,…, i≥1; （3）函数符号: f,g,h,…, fi,gi,hi,…, i≥1; （4）谓词符号: F,G,H,…, Fi,Gi,Hi,…, i≥1; （5）量词符号: ?,?; （6）联结词符: ?,∨,∧,→, ? ; （7）括号和逗号:（,）, ，. §2 谓词逻辑公式及解释 * 北京林业大学信息学院 苏喜友 * Def.2 项的递归定义如下: (1)个体常项和变项是项; (2)若f(x1,x2,…,xn)是任意n元函数, t1,t2,…,tn是任意的n个项, 则f(t1,t2,…,tn)是项; (3)只有有限次地使用(1)(2)生成的符号串才是项. 例如, a,b,x,y是项; f(x,y)=2x+y, g(a,f(x,y))也是项. §2 谓词逻辑公式及解释 * 北京林业大学信息学院 苏喜友 * §2 谓词逻辑公式及解释 Def.3 设R(x1,x2,…,xn)是任意的n元谓词, t1,t2,…,tn是任意的n个项, 则称R(t1,t2,…,tn)为原子公式. 例如, F(x), G(y), H(x,y)是原子公式; F(f(x)), H(f(x),g(y))也是原子公式. * 北京林业大学信息学院 苏喜友 * Def.4 (1)原子公式是谓词公式; (2)若A是谓词公式, 则?A也是谓词公式; (3)若A,B是谓词公式, 则A∧B, A∨B, A→B, A?B也是谓词公式; (4)若A是谓词公