2-1.2谓词 定义:一个大写英文字母后边有括号,括号内 是若干个客体变元,用以表示客体的属性或者 客体之间的关系,称之为谓词。如果括号内有 n个客体变元,称该谓词为n元谓词 例如 S(x):表示x是大学生。 一元谓词 G(x,y):表示x>y 二元谓词 B(x,y,z):表示x在y与z之间。三元谓词 般地 P(xI, X 是n元谓词2-1.2 谓词 • 定义：一个大写英文字母后边有括号，括号内 是若干个客体变元，用以表示客体的属性或者 客体之间的关系，称之为谓词。如果括号内有 n个客体变元，称该谓词为n元谓词。 • 例如 S(x):表示x是大学生。 一元谓词 G(x,y)：表示 x>y。 二元谓词 B(x,y,z)：表示x在y与z之间。三元谓词 一般地 P(x1,x2,…,xn) 是n元谓词