| 词条 | 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> |
| 随便看 |
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。