基于谓词逻辑的机器演示文件修改版.pptVIP

3.1 一阶谓词逻辑 3.1.1 谓词、函数、量词 谓词 A(x1,x2,…,xn): 个体域 Di 个体变元xi 设i=1,2,…n 个体常元 ai ∈ Di 论述域D1,×D2 ×…×Dn 原子命题 A(a1,a2,…,an) 量词 命题常元(0元原子命题）：表示基本事实 例如 A: AI是一门专业基础课程 1元谓词：表示特定对象是否具有某种属性 例如 P(x): x是素数 P(2) n元谓词：表示n个对象之间是否具有某种关系 例如 F(x,y):x和y是朋友 F(张三，李四) “凡是人都有名字”： x (M(x)→N(x)) 例3.1 不存在最大的整数，我们可以把它翻译为 乛 x (G(x)∧ y(G(y)→D(x,y)) 或 x (G(x)→ y(G(y)∧D(y,x)) 例3.2 对于所有的自然数，均有x+yx x y(N(x)∧N(y)→S(x+y,x)) 例3.3 某些人对某些食物过敏 x y(M(x)∧F(y)∧G(