单项选择题 对于谓词公式P，如果至少存在一个解释使得公式P在此解释下的真值为T，则称公式P是（）

单项选择题 设P和Q是两个谓词公式，D是它们共同的个体域，若对于D上的任何一个解释P和Q都有相同的真值，则称P和Q在D上（）

单项选择题 消去存在量词时，当（）时，用skolem函数。