赞题库-背景图
单项选择题

设个体域A={a,b},公式"xP(x)Ù$xS(x)在A中消去量词后应为
A、P(x)ÙS(x)
B、(P(a)ÙP(b))Ù(S(a)ÚS(b))
C、P(a)ÙS(b)
D、P(a)ÙP(b)ÙS(a)ÙS(b)