西安电子科技大学$2.2.3变元的换名软件学院家变元换名的原则：（1）不改变变元的性质。>变元在换名前后，它是自由变元还是约束变元，这个性质不能发生变化，>约束变元受约束的量词不变。约束变换换名后，应该将量词的作用变元，以及该量词辖域下所有受该量词约束的同名变元一同换名。（2）不改变变元之间的原有的关系。>换名之后是同名的自由变元当且仅当它们在换名之前就是同名的自由变元>受同一量词约束的变元换名后依然是受该量词约束的同名的约束变元。西安电子科技大学 §2.2.3 变元的换名 软件学院 变元换名的原则： （1）不改变变元的性质。 （2）不改变变元之间的原有的关系。 ¾变元在换名前后，它是自由变元还是约束变元，这个性质不能发生变化。 ¾约束变元受约束的量词不变。约束变换换名后，应该将量词的作用变 元，以及该量词辖域下所有受该量词约束的同名变元一同换名。 ¾换名之后是同名的自由变元当且仅当它们在换名之前就是同名的自由变元。 ¾受同一量词约束的变元换名后依然是受该量词约束的同名的约束变元