河南成教 / 离散数学
正确率:100%
3[单选题]
设个体域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={a、b},公式 在A上消去量词应为( )
参考答案:
佳题速递: