设个体域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


Tag:谓词 量词 公式 时间:2023-11-21 22:03:45