单项选择题
A.一对一B.一对多C.多对一D.多对多
一个不能再分解的命题，是（）A.原子谓词公式B.子句C.空子句D.子句集
单项选择题一个不能再分解的命题，是（）
A.原子谓词公式B.子句C.空子句D.子句集
下列关于自然演绎推理的说法，错误的是（）A.表达定理证明过程自然，易理解B.拥有丰富的推理规则，推理过程灵活C...
单项选择题下列关于自然演绎推理的说法，错误的是（）
A.表达定理证明过程自然，易理解B.拥有丰富的推理规则，推理过程灵活C.便于嵌入领域启发式知识D.不易产生组合爆炸，得到的中间结论一般递增缓慢
只要有一个子句不可满足，则子句集就不可满足。子句集中子句之间是（）关系。A.合取B.析取C.相反D.否定
单项选择题只要有一个子句不可满足，则子句集就不可满足。子句集中子句之间是（）关系。
A.合取B.析取C.相反D.否定
