设个体域 A={a 、 b} ,公式(∀x)P(x)⋀∃xS(x)在 A 上消去量词应为( )

lk2025-01-24  2

题目:设个体域 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))

答案:评论后可见此内容

本站资源均来自互联网,侵权请联系站长删除

最新回复(0)
公众号图片
🔥推荐

推荐使用我们的公众号搜索题目,题目更全,检索更方便。支持语音、图片、文字等多种搜索方式。