在演算中常用大寫拉丁字母及其后n個空位來表示n位述詞。如P(d1, d2, ...),其中有n個空位。如果沒有空位者就稱為零位述詞或命題。n位述詞中的空位可用項填入而表達(dá)成完整的陳述。因而n位述詞是一個定義域D的n次笛卡爾D到集合{T,F}的映照。簡記為P:D→{T,F}。