谓词

谓词的一般形式

• $P(X_1,X_2,...,X_N)$
• 个体$X_1,X_2,...,X_N$：某个独立存在的事物或者某个抽象的概念
• 谓词名P：刻画个体的性质、状态或个体间的关系

个体

1. 个体是常量：一个或一组指定的个体。

例如，“老张是一个老师”：一元谓词 TEACHER(ZHANG)。谓词不唯一。

“SMITH作为一个工程师为IBM工作”：三元谓词WORKS(SMITH,IBM,ENGINEER)。
2. 个体是变元（变量）：没有指定的一个或者一组个体。

个体是变元时，只有把个体具体赋值以后才能判别它的真值是T还是F。

3. 个体是函数：一个个体到另一个个体的映射

例如，“小李的父亲是教师”：TEACHER(FATHER(LI))。

注意“FATHER(LI)”是函数而不是谓词，谓词真假不定，函数是确定的。