简介：数学推理模式本质上有两种，即合情推理与演绎推理．虽然这两种推理相互依存，但就数学结果的获得而言，还是有所区别的．在一般情况下，人们是借助合情推理“预测”数学结果，借助演绎推理“证明”数学结论．因此，就推理的功能而言，预测结果和推测原因这两种相互依赖的推理形式是合情推理，而不是演绎推理．
推理前的构思
