题目:设个体域 A={a 、 b} ,公式(∀x)P(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))
答案:评论后可见此内容
推荐使用我们的公众号搜索题目,题目更全,检索更方便。支持语音、图片、文字等多种搜索方式。