苏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的先驱数. 符号化为: