标签：灰懊肮琼邪旧凤绅眯妓搁汇菲设个体域A={a，b}，公式”任意xP(x)在A中消去量词后应为（　　）