从特殊事实出发得出一般原理的推理，称为演绎推理法（）

从具体事例中得出一般结论的推理是演绎推理。()

A.归纳

B.演绎

C.知觉

D.总结

演绎是运用数学中的推理方法从直观得到第一原理出发，所进行的全部必然性推理。()

演绎推理是从已有的事实和确定的规则出发，按照逻辑推理的法则证明和计算。()

正向演绎系统是从事实表达式出发，通过正向匹配应用规则进行推理，直到推出目标表达式。()

A.演绎是从一般到特殊;而反向推理以某个假设目标作为出发点，来展开推理。

B.但在规则量很大时，反向演绎仍然需要逐一计算规则的匹配，比较缓慢低效。

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

D.反向演绎从待证目标出发，又称归结原理。

A.合情推理 演绎推理

B.演绎推理 合情推理

C.合情推理 归纳推理

D.演绎推理 类比推理