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

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

标签：谓词量词公式

上一条：设个体域D＝{1，2，3}，则谓词公式（“”x）A（x）消去量词后的等值式为A（1）∧A（2）∧A（3）.

下一条：设个体域D＝{1，2，3，4}，则谓词公式（$x）A（x）消去量词后的等值式为A（1）∨A（2）∨A（3）∨A（4）”