首页
设个体域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
Tags:
谓词
量词
等值
猜你喜欢
1.
设个体域D＝{1，2，3}，则谓词公式（“”x）A（x）消去量词后的等值式为A（1）∧A（2）∧A（3）.
2.
设个体域D={a，b，c}，那么谓词公式（$x）A（x）∨（“”y）B（y）消去量词后的等值式为（）.
3.
（“”x）（P（x）∧Q（y））→R（x）中量词“”””的辖域为（P（x）∧Q（y））.
4.
（“”x）（P（x）∧Q（y）→R（x））中量词“”””的辖域为（P（x）∧Q（y））.
5.
设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为永真式。（）
6.
与十进制数93等值的二进制数是1011101B（）
7.
与十进制数93等值的二进制数是（）
8.
SQL中谓词EXIST可用来测试一个集合是否（）。