改名名词解释：谓词演算的基本运算之一.在一个公式中将一个约束变元改为另一个约束变元的运算.正确的改名不改变公式的真值.例如,可将公式(x)[x2y]中的约束变元x改为z,得(z)[z2y].所得公式与原公式是等价的.
