逆向推理是什麼

逆向推理，也稱爲目標驅動推理或反向推理，是一種邏輯推理方法。它與常規的演繹推理不同，其推理方式是從目標或結論出發，反向追溯到前提或條件。在問題解決策略中，逆向推理是一種啓發法，它指從問題的目標狀態出發，按照子目標組成的邏輯順序逐級向初始狀態遞歸的問題解決策略。這種方法的主要特點是將問題解決的目標分解成若干子目標，直至子目標按逆推途徑與給定的條件建立直接聯繫或等同起來。在求解數學證明題時，逆向推理常常成爲特別有用的探索策略。