GAbA (AVB)今=A∧=B; (A入B)_AyB; XA(x)彐xA(x); 彐xA(x)分Vx-A(X) (3)、重新命名变元名,使不同量词约束的 变元有不同的名字。  A A； (AB)   A   B； (A  B)  A B； xA(x)  x A(x)； xA(x)   x A(x) （3）、重新命名变元名，使不同量词约束的 变元有不同的名字