[单选题,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))
出自:河南理工大学-计算机科学与技术-离散数学

完成拼图验证

按住下方滑块,将拼图拖到缺口处后松开。

拼图背景,将小拼图拖到缺口处
向右拖动滑块