问题 更新时间2023/4/3 12:59:00 [单选题,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)) 答案 登录 注册 参考答案:D 出自:联大 >> 河南理工大学-计算机科学与技术-离散数学