首页
›
答案
›
题库
›
远程教育
›
国家开放大学
设个体域D＝{1，2，3}，则谓词公式（“”x）A（x）消去量词后的等值式为A（1）∧A（2）∧A（3）.
设个体域D＝{1，2，3}，则谓词公式（“”x）A（x）消去量词后的等值式为A（1）∧A（2）∧A（3）.
A.正确
B.错误
正确答案：A
标签：
谓词
量词
公式
上一条：
设个体域D={a，b，c}，那么谓词公式（$x）A（x）∨（“”y）B（y）消去量词后的等值式为（）.
下一条：
设个体域D＝{1，2}，则谓词公式（“”x）P（x）∨（$x）Q（x）消去量词后的等值式为（P（1）∧P（2））∨（Q（1）∨Q（2））.