单项选择题 下列关于自然演绎推理的说法，错误的是（）

单项选择题 只要有一个子句不可满足，则子句集就不可满足。子句集中子句之间是（）关系。

单项选择题 需要使用冲突消解策略的是下列哪种情况（）