判断下列问题是否正确,并说明原因

解对y施行代入,经代入后公式为
($x)(p(z)ùr(x,z))
但是,($x)(p(x))ùr(x,x))与($x)(p(z)ùr(x,y))这两种代入都是与规则不符的.
需要指出,量词作用域中的约束变元,当论域的元素是有限时,客体变元的所有可能的取代是可枚举的.
设论域元素为：a1 ,a2 ,… ,an .
则有如下等价式：("x)a(x) û a(a1) ∧a(a2 ) ∧,…,∧a(an)
($x)a(x) û a(a1) ∨a(a2 ) ∨,…,∨a(an)
量词对变元的约束,往往与量词的出现顺序有关.
又("y)( $x)(x