221-阶谓词逻辑表示的逻辑学基础 论域和谓词(1/2) ●论域;由所讨论对象的全体构成的集合。亦称为个体域 个体:论域中的元素 ●谓词;在谓词逻辑中命题是用形如P(x1,x2,…,x的谓词来表示的 谓词名:是命题的谓语,表示个体的性质、状态或个体之间的关系 个体:是命题的主语,表示独立存在的事物或概念 定义22设D是个体域,P:D→{T,F}是一个映射,其中 D=(ux2,xn)xI,x2,,xnE D) 则称P是一个n元谓词,记为P(x1x2,xn),其中,x1,x2…,x为个体,可 以是个体常量、变元和函数 例如: GREATER(x,6) x大于6 TEACHER(father(( Wang hong)王宏的父亲是一位教师⚫ 论域：由所讨论对象的全体构成的集合。亦称为个体域 ⚫ 个体：论域中的元素 ⚫ 谓词：在谓词逻辑中命题是用形如P(x1 ,x2 ,…,xn )的谓词来表示的 ⚫ 谓词名：是命题的谓语，表示个体的性质、状态或个体之间的关系 ⚫ 个体：是命题的主语，表示独立存在的事物或概念 ⚫ 定义2.2设D是个体域，P：D n→{T，F｝是一个映射，其中 ⚫ 则称P是一个n元谓词，记为P(x1 ,x2 ,…,xn )，其中，x1 ,x2 ,…,xn为个体，可 以是个体常量、变元和函数。 ⚫ 例如：GREATER(x,6) x大于6 ⚫ TEACHER(father(WangHong)) 王宏的父亲是一位教师 {( , , , ) | , , , } D x1 x2 xn x1 x2 xn D n =    11