西安电子科技大学多个量词的使用$2.4.3、软件学院表2.3-3含两个量词的永真公式Bi(Y(YY)A(X Y) -(Y)Yx)A(XY)Bz((Y)A(X)→()(x)A(X)xyVyVxB.B;()x)A(X Y) =(E)()A(XY)0EyVxxVyB+(E)(x)A (X Y) = (xy)A(X Y)BsBB;(Ex)(Y)A(X Y) = (Y)(Ex)A(X Y)yEXVXB((E)A(X) =(Yx)A(X)BBEXBsB73x3y(Y)(x)A(X V) =(Ex(y)A(X Y)Bs(Ex)(EY)A(X y) (EY)(Ex)A(X Y)P对于多个量词的情况，量词出现的先后顺序不能随意调换。西安电子科技大学 §2.4.3 多个量词的使用 软件学院 对于多个量词的情况，量词出现的先后 顺序不能随意调换