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

创始人

2025-06-04 08:32:38

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

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

这种情况不用换名，

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

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

上一篇：土字的来历