个体域：个体变元的变化范围称为个体域（论述域），包揽一切事物的集合称为全总个体域。

谓词、函数、量词：

n元谓词：P(x1, x2, …, xn)，大写字母。

n元函数：f(x1, x2, …, xn)，小写字母。

全称量词：∀x，所有。

存在量词：∃x，存在。

常用的谓词联接符号：按优先级从高到低排列。

辖域：紧接于量词之后被量词作用的谓词公式称为该量词的辖域，可用括号明示。

指导变元、约束变元、自由变元：

指导变元：量词后面的变元称为量词的指导变元。

约束变元：在一个量词的辖域中的与该量词的指导变元相同的变元称为约束变元。

自由变元：其它的变元称为自由变元。 ∀ x ( P ( x , y ) → Q ( x ) ) ∀x(P(x, y) → Q(x)) ∀x(P(x,y)→Q(x)) 其中，第一个x为指导变元，第二个x和第三个x为约束变元，y为自由变元。

改名规则：使一个谓词公式中的每一个变元仅以一种形式出现。