改名规则﹡

改名规则名词解释：改名遵循的原则.该规则要求公式中约束变元改名后真值不变.如果一个公式α中没有变元y的任何出现(自由或约束出现),当把α中一切x的自由出现改为y的自由出现,其结果记为β,则永有