22.1谓词公式 定义22-1把不含任何联结词和量词的简单 命题函数称为原子公式 定义2.2-2合式公式(谓词公式)的递归定 义 (1)每个原子公式都是合式公式 (2)若A是合式公式,则一A、AAB、AB A→B、A4B也是合式公式 (3)若A是合式公式,x是A中的个体变元,则 yxA和彐xA也是合式公式 (4)当且仅当有限次地使用规则(1)、(2)、(3) 得到的公式才是合式公式
2.2.1 谓词公式 定义2.2-1 把不含任何联结词和量词的简单 命题函数称为原子公式. 定义2.2-2 合式公式（谓词公式）的递归定 义： (1) 每个原子公式都是合式公式. (2) 若A是合式公式，则﹁A、A∧B、A∨B、 A→B、A↔B也是合式公式. (3) 若A是合式公式，x是A中的个体变元，则 xA和 xA也是合式公式. (4) 当且仅当有限次地使用规则(1)、(2)、(3) 得到的公式才是合式公式
22.1谓词公式 定义223在谓词公式中形如vxA(X)或 彐XA(×),称×为指导变项,称A为相应量词 的辖域在辖域中,ⅹ的所有出现称为x的约 束出现(即x受相应量词指导变项的约束 当x的出现不是约束出现时,称x的出现是 自由出现.因此,公式中约束出现的变元是 约束变元,自由出现的变元是自由变元我 们可把自由变元看做是公式中的参数
2.2.1 谓词公式 定义2.2-3 在谓词公式中形如 xA(x)或 xA(x)，称x为指导变项，称A为相应量词 的辖域.在辖域中，x的所有出现称为x的约 束出现（即x受相应量词指导变项的约束）. 当x的出现不是约束出现时，称x的出现是 自由出现.因此，公式中约束出现的变元是 约束变元，自由出现的变元是自由变元.我 们可把自由变元看做是公式中的参数