(Vx)(Vy)(A(X)VB(Y))没有y啊，怎么会多出来一个y呢？这是改名规则，B中的X与A中的X没有联系，所以就可以用另外的变元代替，你可以看哈离散数学中的改名规则但是如果是 (存在x)A(x) V (存在x)B(x)，为什么书上给的是 (存在x)(A(x)VB(x)),不用改名，而上面第一个就要改名呢？谢谢因为这是一个并集，可以这样写，如果是交集的话，就不行了，具体的你要多看看离散课本