第二章谓词逻辑（Predicate Logic)变元的约束（Boundofvariable)定义2.5:在谓词公式中,形如VxP(x)或日xP(x)中的x叫做量词的指导变项，P(x)称为相应量词的作用域或辖域。在Vx和x的辖域中，x的所有出现都称为约束出现，相应的x称为约束变元；P（x）中除约束变元以外出现的变元称为是自由变元例l: 1、Vx(H(x,y)→>3y(W(y) ^ L(x, y, z)))2、 Vx(H(x)→W(y))→y(F(x) ^L(x, y, z))2026/3/151计算机科学与工程系
2026/3/15 计算机科学与工程系 1 第二章 谓词逻辑（Predicate Logic） 变元的约束(Bound of variable) 定义2.5:在谓词公式中,形如xP(x)或xP(x)中 的x叫做量词的指导变项，P(x)称为相应量词的作用域 或辖域。 在x和x的辖域中，x的所有出现都称为约束出现，相 应的x称为约束变元; P(x)中除约束变元以外出现的变 元称为是自由变元。 例1： 1、x( H(x,y)→y(W(y) ∧ L(x,y,z))) 2、 x( H(x)→W(y))→ y( F(x) ∧L(x,y,z))
第二章谓词逻辑（PredicateLogic）■说明：(1)n元谓词公式A(X1.X2.Xn）中有n个自由变元若对其中的k(k≤n)个进行约束,则构成了n-k元谓词;如果一个公式中没有自由变元出现，则该公式就变成了一个命题(2)一个公式的约束变元所使用的名称符号是无关紧要的,如(Vx)M(x)与(Vy)M(y)意义相同2026/3/152计算机科学与工程系
2026/3/15 计算机科学与工程系 2 第二章 谓词逻辑（Predicate Logic） ◼ 说明: (1)n元谓词公式A(x1， x2 .xn ) 中有n个自由变元, 若对其中的k(k≤n)个进行约束,则构成了n-k元 谓词;如果一个公式中没有自由变元出现,则该公 式就变成了一个命题 (2)一个公式的约束变元所使用的名称符号是无关 紧要的,如(x)M(x)与(y)M(y)意义相同
定义设A为任一公式，若A中无自由出现的个体变项，则称A是封闭的合式公式，简称闭式。2026/3/153计算机科学与工程系
2026/3/15 计算机科学与工程系 3 定义 设A为任一公式，若A中无 自由出现的个体变项，则称A是 封闭的合式公式，简称闭式
第二章谓词逻辑（PredicateLogic）变元的约束(Boundofvariable）约束变元的换名与自由变元的代入规则一个变元在同一个公式中既是自由出现是约束出现,这样在理解上容易发生混淆.为了避免这种混乱，可对约束变元进行换名换名规则日（对约束变元而言(1)将量词辖域中某个约束出现的个体变项及对应的指导变项，改成公式中未曾出现过的个体变项符号，公式中其余部分不变2026/3/154计算机科学与工程系
2026/3/15 计算机科学与工程系 4 第二章 谓词逻辑（Predicate Logic） 变元的约束(Bound of variable) ◼ 约束变元的换名与自由变元的代入规则 一个变元在同一个公式中既是自由出现又是约束 出现,这样在理解上容易发生混淆.为了避免这种 混乱,可对约束变元进行换名. 换名规则: (对约束变元而言） (1)将量词辖域中某个约束出现的个体变项及对应 的指导变项，改成公式中未曾出现过的个体变 项符号，公式中其余部分不变
第二章谓词逻辑（PredicateLogic）2.4变元的约束（Boundofvariable 例1: Vx(P(x)-→R(x, y)) ^L(x, y)换名为Vt(P(t)→R(t,y)) ^L(x,y) Vx(H(x, y)→3y(W(y) ^ L(x, y, z)))换名为Vx(H(x,y)→s(W(s) ^ L(x, S,z)))2026/3/155计算机科学与工程系
2026/3/15 计算机科学与工程系 5 第二章 谓词逻辑（Predicate Logic） 2.4变元的约束(Bound of variable) ◼ 例1: x( P(x)→R(x,y))∧L(x,y) 换名为t( P(t)→R(t,y))∧ L(x,y) ◼ x( H(x,y)→y(W(y) ∧ L(x,y,z))) 换名为x( H(x,y)→s(W(s) ∧ L(x,s,z)))