標籤: 暫無標籤

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>

上一篇[麥飯石濾料]    下一篇 [個體詞]

相關評論

同義詞:暫無同義詞