换名规则：将一个 指导变项 及其在 辖域 中所有 约束出现 替换成公式中没有出现的个体变项符号。
因为不好输入，以下描述中量词“所有”用A代替，联结词“且”用 ^ 代替。

书中对 例2.6(2) Ax(R(x,y,z)^Ay H(x,y,z))
进行了如下的换名：
As(R(s,y,z)^At H(x,t,z)).
为什么不是As(R(s,y,z)^At H(s,t,z))呢（变化是后面的x也改成s）？从定义上来讲，x在前面的式子 Ax(R(x,y,z)^Ay H(x,y,z)) 中的2次出现都是约束出现，都是在辖域中出现的，根据换名规则，难道不应该都换成s?


求解答啊！！感激不尽！！！

Helppppppppppppppppppppppppp

咦，我们离散怎么没学这个

同疑问，楼主知道为什么了嘛？

首先这题是2.6（3），这题书应该错了，你的答案是对的
//若按照书的答案来说，后面x的约束出现变成自由出现了，不符合换名规则