合情與演繹雙翼齊飛 推理與證明相得益彰

黃平海

“推理與證明”是數學的基本思維過程，也是人們學習和生活中經常使用的思維方式，推理一般包括合情推理和演繹推理，合情推理是根據已有的事實和正確的結論（包括定義、公理、定理等）、實驗和實踐的結果，以及個人的經驗和直覺等推測某些結果的推理過程，歸納、類比是合情推理常用的思維方法，在解決問題的過程中，合情推理具有猜測和發現結論、探索和提供思路的作用，有利于創新意識的培養，演繹推理是根據已有的事實和正確的結論（包括定義、公理、定理等），按照嚴格的邏輯法則得到新結論的推理過程。