合情与演绎双翼齐飞 推理与证明相得益彰

黄平海

“推理与证明”是数学的基本思维过程，也是人们学习和生活中经常使用的思维方式，推理一般包括合情推理和演绎推理，合情推理是根据已有的事实和正确的结论（包括定义、公理、定理等）、实验和实践的结果，以及个人的经验和直觉等推测某些结果的推理过程，归纳、类比是合情推理常用的思维方法，在解决问题的过程中，合情推理具有猜测和发现结论、探索和提供思路的作用，有利于创新意识的培养，演绎推理是根据已有的事实和正确的结论（包括定义、公理、定理等），按照严格的逻辑法则得到新结论的推理过程。