第5章基于谓祠逻桥的机器推理 一般地，表达式 P(X1X22…Xn) 在谓词逻辑中称为元谓词。其中P是谓词符号，也称谓词， 代表一个确定的特征或关系（名）。x12,x称为谓词的参量或 者项，一般表示个体。 个体变元的变化范围称为个体域（或论述域），包揽一切 事物的集合称为全总个体域。第5章 基于谓词逻辑的机器推理 P(x1 ,x2 ,…,xn ) 一般地, 表达式 在谓词逻辑中称为n元谓词。其中P是谓词符号，也称谓词， 代表一个确定的特征或关系(名)。x1 ,x2 ,…,xn称为谓词的参量或 者项，一般表示个体。 个体变元的变化范围称为个体域（或论述域），包揽一切 事物的集合称为全总个体域