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 元关系定义了 (x1, ..., xn) 属于 R 时唯一的 n 元谓词(反之亦然),关系和谓词通常使用相同的符号。所以下列两种写法一般认为是等价的:
<math>(x_1,x_2,dotsb)in R</math>
<math>R(x_1,x_2,dotsb)</math>