Question

离散数学求前束范式的时候什么时候需要使用换名规则？

Answer 1

约束变量不需要改名，但自由出现的变量需换名。

Answer 2

这种情况不用换名，

   任意符号  对应: 或   时，要换名

    存在符号 对应: 交 时，要换名。

Answer 3

在量词前移的过程中，有可能会出现自由变元变成约束变元的情况，或者出现两个式子中的同名约束变元未加区分，最终变成一个约束变元。改名就是为了避免前面两种错误情况

Answer 4

约束同名时换