新浪博客
；
(3)函数符号：
；
(4)谓词符号：
；
(5)量词符号：
；
(6)联结词符：
；
(7)括号和逗号：( ，)， ， 。
2、项的递归定义。
(1) 个体常项和变项是项。
(2) 若
是任意 
元函数， 
是项，则 
是项。
(3) 只有有限次地使用(1)、(2)生成的符号串才是项。
其中
是字母表中没有的符号，这里表示任意函数。
例如：
等都是项。
3、原子公式。
设
是任意的 元谓词， 是项，则称 
为原子公式。
4、合式公式的递归定义。
(1) 原子公式是合式公式；
(2) 若
是合式公式，则 
也是合式公式；
(3) 若
是合式公式，则 
也是合式公式；
(4) 若 是合式公式，则 
也是合式公式；
(5) 只有有限次地应用(1)－(4)构成的符号串才是合式公式(也称谓词公式)，简称公式。
5、约束出现，自由出现。
在合式公式 中，称 
为指导变项，称
为相应量词的辖域，在辖域中，
的所有出项称为约束出现(即 受相应量词指导变项的约束)，
中不是约束出现的其它变项的出现称为自由出现。 
例1、指出下列各合式公式中的指导变项，量词的辖域，个体变项的自由出现和约束出现。
(1)
解：
中， 
(3)函数符号：
；(4)谓词符号：
；(5)量词符号：
；(6)联结词符：
；(7)括号和逗号：( ，)， ， 。
2、项的递归定义。
(1) 个体常项和变项是项。
(2) 若
是任意 元函数， 是项，则 是项。(3) 只有有限次地使用(1)、(2)生成的符号串才是项。
其中
是字母表中没有的符号，这里表示任意函数。例如：
等都是项。3、原子公式。
设
是任意的 元谓词， 是项，则称 为原子公式。4、合式公式的递归定义。
(1) 原子公式是合式公式；
(2) 若
是合式公式，则 也是合式公式；(3) 若
是合式公式，则 也是合式公式；(4) 若
是合式公式，则 也是合式公式；(5) 只有有限次地应用(1)－(4)构成的符号串才是合式公式(也称谓词公式)，简称公式。
5、约束出现，自由出现。
在合式公式
中，称 为指导变项，称
为相应量词的辖域，在辖域中，
的所有出项称为约束出现(即 受相应量词指导变项的约束)，
中不是约束出现的其它变项的出现称为自由出现。 例1、指出下列各合式公式中的指导变项，量词的辖域，个体变项的自由出现和约束出现。
(1)
解：
中，