| 直接推理 immediate inference 以一个命题为前提而推出结论的推理。例如：“所有金属都是导电体，所以，有的导电体是金属。”直接推理的前提和结论具有蕴涵关系，在推理形式合乎逻辑规则的条件下断定其前提为真时，必然断定其结论为真。因此，直接推理也是一种演绎推理。通过直接推理可以把前提中隐含的知识在结论中明确展示出来，从而给人们提供一定程度的新的知识。在传统逻辑中，直接推理通常指以一个直言命题为前提的推理。主要包括：运用直言命题变形法的直接推理(换质法，换位法，换质位法等)，依据“逻辑方阵”中直言命题间关系进行的直接推理以及运用附性法的直接推理等等。此外，也还包括直接关系推理、假言易位推理等。 |