设个体域A={a，b}，公式”任意xP(x)在A中消去量词后应为（　　）AP(a)P(b)BP(a)P(b)CP(b)DP(a)