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