设论域的元素为a和b,则由消去量词可得∀xA(x)⋀∃yB(y)⇔（）。