n元謂詞

n 元謂詞

n 元謂詞就是含有 n 個變數的布爾值函數。

由於上述的 n 元關係定義了 (x1, ..., xn) 屬於 R 時唯一的 n 元謂詞（反之亦然），關係和謂詞通常使用相同的符號。所以下列兩種寫法一般認為是等價的：