对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的。

猜你喜欢

• SQL中谓词EXIST可用来测试一个集合是否（）。
• 设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为永真式。（）
• 设个体域D={a，b，c}，那么谓词公式（$x）A（x）∨（“”y）B（y）消去量词后的等值式为（）.
• 设个体域D＝{1，2，3}，则谓词公式（“”x）A（x）消去量词后的等值式为A（1）∧A（2）∧A（3）.
• 设个体域D＝{1，2}，则谓词公式（“”x）P（x）∨（$x）Q（x）消去量词后的等值式为（P（1）∧P（2））∨（Q（1）∨Q（2））.