谓词

用以刻画客体性质或客体之间关系即时谓词

n元谓词

就如同一个命题函数一样，接受一个变量映射到一个命题上

1. 个体词的顺序是非常重要的
2. 一元谓词用来描述一个个体的某种特性，n 元谓词用来描述 n 个个体
3. 0 元谓词不一定不包含个体词