刚开始学离散，有问题请教大佬们，就是求前束范式时一定要用换名

刚开始学离散，有问题请教大佬们

，就是求前束范式时一定要用换名规则吗？我感觉只是换了而已，没区别啊

因为前后辖域不一定相同，比如条件是整数，结论是实数，而前束范式则把量词均放在开头，为避免混掉，所以要进行换名。如果不换名，那就表示他们辖域一样，则不符合题设。

下载贴吧APP
看高清直播、视频！

分享到: