约束变元的改名规则

2021年6月12日21:20:56约束变元的改名规则已关闭评论

约束变元的改名规则

谓词公式中约束变元的名称是无关紧要的,(∀x)P(x)和(∀y)P(y)具有相同的意义。

需要时可以改变约束变元的名称。

但必须遵守以下改名的规则。

(1)欲改名之变元应是某量词作用范围内的变元,且应同时更改该变元在此量词辖域内的所有约束出现,而公式的其余部分不变。

(2)新的变元符号应是此量词辖域内原先没有使用过的。

  • 版权声明:本篇文章(包括图片)来自网络,由程序自动采集,著作权(版权)归原作者所有,如有侵权联系我们删除,联系方式(QQ:452038415)。