约束变元的改名规则 2021年6月12日21:20:56约束变元的改名规则已关闭评论 约束变元的改名规则 谓词公式中约束变元的名称是无关紧要的,(∀x)P(x)和(∀y)P(y)具有相同的意义。 需要时可以改变约束变元的名称。 但必须遵守以下改名的规则。 (1)欲改名之变元应是某量词作用范围内的变元,且应同时更改该变元在此量词辖域内的所有约束出现,而公式的其余部分不变。 (2)新的变元符号应是此量词辖域内原先没有使用过的。 赞 0 分享