离散数学求前束范式的时候什么时候需要使用换名规则？
创始人
2025-06-04 08:32:38
离散数学求前束范式的时候什么时候需要使用换名规则？
约束同名时换
在量词前移的过程中，有可能会出现自由变元变成约束变元的情况，或者出现两个式子中的同名约束变元未加区分，最终变成一个约束变元。改名就是为了避免前面两种错误情况
约束变量不需要改名，但自由出现的变量需换名。

这种情况不用换名，

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

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

上一篇：土字的来历

下一篇：明明自己能力不够还把自己看得过高过大用文言文怎么说？

相关内容

热门资讯

山水皆有情！丽江两山一江的千年... 去过丽江、走过虎跳峡的人，大概率都听过哈巴雪山和金沙江的传说。很多人站在峡谷之下，望着奔腾不息的金沙...
活力中国调研行丨“殷”你而来 ... 9月12日，游客在殷墟博物馆“甲骨文展厅”内参观。位于河南省安阳市的殷墟博物馆新馆是首个全景式展现商...
浦江之夜赴美好相逢，第37届上... 9月12日晚，黄浦江畔灯火璀璨，第37届上海旅游节大巡游在外滩中山东一路上演。不少观众早早便来到外滩...
美丽中国丨秋韵紫鹊界 梯田入画... 这是9月11日拍摄的紫鹊界梯田（无人机照片）。 金秋九月，湖南省娄底市新化县紫鹊界梯田稻谷渐次成熟。...
中国之巅奏响《共同的节日》，千... 千吨阻尼器，“迎世赛、游上海旅游节”。9月13日，由上海市文化和旅游局指导推出上海旅游·会客│巅峰之...