离散数学换名规则？
2021-04-02
y可以取任意值啊，所以可以取x和y来表示。但按离散书中说的是，使用了换名规则。想再理解深入，那就是自由变元和约束变元的问题，之所以是有时写y，有时写x，是因为在运算时让人明白是自由变元还是约束变元，你要明白x,y在不同情况下是代表自由变元或者约束变元。
如你第一个公式有时写成（彐x）(-P(x)VQ(x)）【-代表否定】那是把x都看做约束变元。
有的地方却换名了变成彐x彐y(-P(x)VQ(y)）【-代表否定】那是p(x)与Q(Y)中的约束变元不同，一个是x，一个是y。
所以要换名，那看得人明白。有不明白的，再找我吧。希望对你的有帮助。
大家都在看
本站系本网编辑转载，转载目的在于传递更多信息，并不代表本网赞同其观点和对其真实性负责。如涉及作品内容、版权和其它问题，请在30日内与本网联系，我们将在第一时间删除内容！本站文章版权归原作者所有，内容为作者个人观点。本站只提供参考并不构成任何投资及应用建议。本站拥有对此声明的最终解释权。