单项选择题
设P和Q是两个谓词公式，D是它们共同的个体域，若对于D上的任何一个解释P和Q都有相同的真值，则称P和Q在D上（）
A.永真B.永假C.不可满足D.等价
单项选择题 消去存在量词时，当（）时，用skolem函数。
单项选择题 以下不是产生式系统组成部分的是（）
单项选择题 在基于规则的正向演绎系统中，把事实表示为（）
