c)t[时0u[] 其中：t,u一均为元组变量 0一算术比较运算符 t[的0u们也是一个公式，表示如下 原子命题函数： ‘t的第分量与u的第分量间满足0运 算’。 如：[2]<>u[3]表示如下命题‘元组t的第 2分量不等于元组的u第3分量 83 83 • ｃ) t[i]  ｕ[j] • 其中：t,u —均为元组变量 •  —算术比较运算符 • t[i]  ｕ[j]也是一个公式，表示如下 原子命题函数： • ‘t的第i分量与u的第j分量间满足 运 算’。 • 如: t[2] < >ｕ[3]表示如下命题‘元组t的第 2分量不等于元组的ｕ第3分量’