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

这种情况不用换名，

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

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

上一篇：土字的来历

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

相关内容

热门资讯

围炉喝汤，菌香四溢！保山昌宁的... 进入雨季，保山市昌宁县深山里的各种野生菌破土而出，而属于昌宁人的夏日仪式感，从来都藏在一锅热气腾腾的...
打造“招牌菜”、升级“打卡点”... 2026年7月17日，寻宝记第3期听劝会在必吃榜餐厅-寻宝记绍兴菜（状元店）如约举行。本次活动在嘉宾...
原创 资... 据相关数据，2025年中国药食同源终端市场规模突破3700亿元，全产业链估值超2万亿元，年均复合增长...
凉拌菜吃不饱？试试这碗“中式沙... 夏天一到，胃口就跟气温对着干。凉拌菜成了餐桌上的常客，可光吃菜不顶饿，不到两个小时肚子就开始咕咕叫。...
当最后的晚餐遇上大闸蟹