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

摘要

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