事实认定的主要逻辑形式，不是（）

A.确定性推理

B.不确定性推理

C.演绎推理

D.归纳推理

A.演绎推理是在已知领域内的一般性知识的前提下，通过演绎求解一个具体问题或者证明一个结论的正确性。

B.演绎推理所得出的结论实际上早已蕴含在一般性知识的前提中，只不过是将已有事实揭露出来，因此它不能增殖新知识。

C.归纳推理所推出的结论是没有包含在前提内容中的。

D.归纳推理由个别事物或现象推出一般性知识的过程，不能增殖新知识。

A.等价式

B.永真蕴涵式

C.置换

D.合一

A.逻辑和推理是智能思维的一种表现形式

B.推理是从初始证据出发，按照某种策略，不断运用知识库中已有的知识，逐步匹配，直到推出结论的过程。

C.逻辑推理在类型上主要有两种类型：归纳和演绎

D.推理之所以为推理，是因为它有确定性的特点

A.机器学习可以看做是一种演绎推理

B.演绎更适合人类推理

C.计算机如果要实现自动推理，最可行的方法就是采用反向、演绎的方法

D.推理的确定性是推理的三个特性中最复杂的