2．谓词的表示法
　　谓词一般用大写字母 P、Q、R 等表示，个体一般用小写字母a、b、c 等表示，个体变元就一般用小写字母x、y、z 等表示。
　　谓词命名式可以写成H（x，y，z） 、F（x）等形式。
　　n 元谓词是指有具有 n 个个体变元的谓词，如可记为P（x₁，x₂，…，x_n）。
　　3．命题函数的概念
　　由一个谓词，一些个体变元组成的表达式称为简单命题函数。
　　n 元谓词就是有 n 个个体变元的命题函数，当 n = 0 时，称为0元谓词，其本身就是一个命题，即命题是 n 元谓词的特殊情况。
　　由一个或 n 个简单命题函数，以及逻辑联结词组合成的表达式称为复合命题函数。