单项选择题
只要有一个子句不可满足，则子句集就不可满足。子句集中子句之间是（）关系。
A.合取B.析取C.相反D.否定
单项选择题 需要使用冲突消解策略的是下列哪种情况（）
单项选择题 从初始已知事实出发从而得到结论的一种推理，称为（）
单项选择题 已推出的结论是“鸟儿都会飞”，但发现企鹅也是鸟类，但企鹅不会飞，否定原来的结论，使推理退回到前面的某一步，重新开始。指的是（）
