首页 / 百科 / 内容详情 谓词公式不可满足的充要条件是其子句集不可满足。 2022-05-02 7次阅读 谓词 满足 不可 谓词公式不可满足的充要条件是其子句集不可满足。 A.正确B.错误正确答案:正确 对于一阶谓词逻辑,若子句集是不可满足的,则必存在一个从该子句集到空子句的归结演绎。 空子句是可以满足的。 猜你喜欢 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)).