高等继续教育 / 人工智能
正确率:100%
设P和Q是两个谓词公式,D是它们共同的个体域,若对于D上的任何一个解释P和Q都有相同的真值,则称P和Q在D上()。
A、永真
B、等价
C、永假
D、不可满足
A、永真
B、等价
C、永假
D、不可满足
参考答案:
佳题速递: