设个体域D={1,2},则谓词公式(“”x)P(x)∨($x)Q(x)消去量词后的等值式为(P(1)∧P(2))∨(Q(1)∨Q(2)).


设个体域D={1,2},则谓词公式(“”x)P(x)∨($x)Q(x)消去量词后的等值式为(P(1)∧P(2))∨(Q(1)∨Q(2)).

A.正确

B.错误

正确答案:A


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