在演算中常用大写拉丁字母及其后n个空位来表示n位述词。如P（d1, d2, ...），其中有n个空位。如果没有空位者就称为零位述词或命题。n位述词中的空位可用项填入而表达成完整的陈述。因而n位述词是一个定义域D的n次笛卡尔D到集合{T,F}的映照。简记为P：D→{T,F}。
词语
词语
