西安电子科技大学$2.2.3变元的换名软件学院【例题】将谓词公式(x)(P(x)-R(y))VQ(y)中的约束变元×换名。解答：可以将约束变元x换名为Z，从而得到(Vz)(P(z)R(z, y))AQ(x, y)不能将约束变元x换名为y，这样得到(Vy)(P(y)-R(y, y)AQ(x y)因为这会将R(x，y)中的自由变元y变成约束变元，从而改变了整个公式的语义。西安电子科技大学 §2.2.3 变元的换名 软件学院