首页 › 答案 › 题库 › 远程教育 › 国家开放大学

设个体域D={1,2,3,4},则谓词公式($x)A(x)消去量词后的等值式为A(1)∨A(2)∨A(3)∨A(4)”

设个体域D={1,2,3,4},则谓词公式($x)A(x)消去量词后的等值式为A(1)∨A(2)∨A(3)∨A(4)”
A.正确
B.错误
正确答案:A