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

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

A.正确

B.错误

正确答案:正确

猜你喜欢