数学证明中的演绎推理及非演绎推理.pdfVIP

数学证明中的 演绎推理与非演绎推理 汤光霖 （中国矿业大学（北京），100083） E-mail: xhatt@ 摘要：推理是从若干命题（前提）直接得出一个命题（结论）的思维过程。 推理分为演绎推理与非演绎推理，后者被定义为：不是演绎推理的推理，它当然 包括归纳推理，即归纳法。演绎推理从前提到结论的推导是用“逻辑推导”，而 非演绎推理的推导是根据命题的内容之间的联系进行分析。演绎推理的前提与结 论之间的关系必为数理逻辑的逻辑演算中的形式定理所反映，而非演绎推理的相 应关系则不能；因此，演绎推理必遵循某个演绎推理规则，而非演绎推理则不遵 循任何形式的演绎规则。非演绎推理有各种不同的基本类型及以基本类型、简单 演绎推理为基础的整体思维形式。非演绎推理与证明定理的方法密切相关。在数 学证明中，非演义推理的主要作用是为演绎推理提供前提，因而演绎推理经常需