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