注意:此页面搜索的是所有试题
[单选题,6.6分] 设个体域A={a、b},公式 在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))
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))
参考答案