在线题库 [单选] 设个体域D＝{a,b},那么谓词公式(∃x)A(x)∨(∀y)B(y)消去量词后的等值式为A(a)∨B(b)．( ) 发布时间：2022-09-12 0次 对 错 您需要登录才可以下载或查看，没有账号?会员注册
