n位函數(shù)
【n位函數(shù)】是什么意思
在述詞演算中用小寫拉丁字母及其后n個空位來表示n位函數(shù)。如f（d1, d2,.....），其中n有空位。零位函數(shù)稱為常量。
n位函數(shù)中的n個空位可用常量或變數(shù)填入。因而n位函數(shù)是一個定義域D的n次底卡爾集合到值域A（A包含于D）的映照。簡記為f：D的N次方－＞A。
n位函數(shù)的空位由變數(shù)或常量填入之后就稱為項，而其空位用項填入之后也還稱為項。
在述詞演算中用小寫拉丁字母及其后n個空位來表示n位函數(shù)。如f（d1, d2,.....），其中n有空位。零位函數(shù)稱為常量。
n位函數(shù)中的n個空位可用常量或變數(shù)填入。因而n位函數(shù)是一個定義域D的n次底卡爾集合到值域A（A包含于D）的映照。簡記為f：D的N次方－＞A。
n位函數(shù)的空位由變數(shù)或常量填入之后就稱為項，而其空位用項填入之后也還稱為項。