相关考题
-
单项选择题
设P和Q是两个谓词公式，D是它们共同的个体域，若对于D上的任何一个解释P和Q都有相同的真值，则称P和Q在D上（）
A.永真
B.永假
C.不可满足
D.等价 -
单项选择题
消去存在量词时，当（）时，用skolem函数。
A.存在量词未出现在全称量词的辖域内时
B.存在量词出现在全称量词的辖域内时
C.以上情况都需要
D.以上情况都不需要 -
单项选择题
以下不是产生式系统组成部分的是（）
A.匹配
B.总数据库
C.产生式规则
D.控制策略
