西安电子科技大学$2.2.3变元的换名软件学院【例题】将以下谓词公式中的自由变元进行换名，使得每个变元符号只以一种形式出现。(日x)(P(y) ^ R(x,y)) V Q(区,y)解答：可以对自由变元这样换名：(日x)(P(z) ^ R(x,z) VQ(y,z)不能这样换名：(日x)(P(x) Λ R(区,x)) V Q(区,x)(日x)(P(z) Λ R(x,z)) V Q(z,y)X西安电子科技大学 §2.2.3 变元的换名 软件学院 【例题】将以下谓词公式中的自由变元进行换名,使 得每个变元符号只以一种形式出现。 (∃x)(P(y)∧ R(x,y))∨Q(x,y) 不能这样换名： (∃x)(P(x)∧ R(x,x))∨Q(x,x) × 可以对自由变元这样换名： (∃x)(P(z)∧ R(x,z))∨Q(y,z) 解答： (∃x)(P(z)∧ R(x,z))∨Q(z,y) ×