空子句是不可满足的。因此 一个子句集中如果包含有空子句 则此子句集就一定是不可满足的。

相关问题

• 在SQL语句中 可以用Into子句将查询的结果集创建一个新的数据表中。（)
  2019-09-20
• 判断下列子句集中哪些是不可满足的： （1)S={～P∨Q ～Q P ～P} （2)S={P∨Q ～P∨Q P∨～Q ～P∨～Q}
  2020-06-16
• 由于空子句不含有任何文字 也就不能被任何解释所满足 因此空子句是永假的 不可满足的。
  2022-08-14
• 在证据理论推理中 已知样本空间中某个非空子集A的信任函数Bel（A)与似然函数Pl（A) 那么该非空子集
  2022-08-26
• 距离空间中的任一非空子集 其闭包未必是闭集.
  2022-08-28