n元谓词n元谓词就是含有n个变量的布尔值函数.由于上述的n元关系定义了(x1,...,xn)属于R时唯一的n元谓词(反之亦然),关系和谓词通常使用相同的符号.所以下列两种写法一般认为是等价的:(x_1,x_2,\dotsb)\inRR(x_1,x_2,\dotsb).n元谓词 n元谓词就是含有n个变量的布尔值函数. 由于上述的n元关系定义了(x1..,xn)属于R时唯一的n元谓词(反之亦然),关系和谓词通常使用相同的符号.所以下列两种写法一般认为是等价的: (x_1,x_2,dotsb)inR R(x_1,x_2,dotsb)