更新时间：2023-10-10 13:07
改名规则(rule for change of bound variables ) 指的是改名遵循的原则。
原则
该规则要求公式中约束变元改名后真值不变，如果一个公式a中没有变元y的任何出现（自由或约束出现），当把a中一切x的自由出现改为y的自由出现，其结果记为月，则永有