逆推法method of backward inference

人在寻找问题解决途径时的一种方法。即从目标出发通过逆向推理而解决问题。例如，有一个几何问题：
ABCD是矩形
求证：AD=CB。

学生可用逆推法解决这个问题。他会自问： “怎么能证明AD= CB呢？如寻找能证明△ACD全等于△BDC就行了。”于是他从线段相等这个目的出发返回去证明三角形全等。第二步是推理：“如果我能证明那两个三角形的两边和夹角相等，则能证明这两个三角形全等。”于是他从一个子目的出发返回到另一个子目的。当问题空间中有多种途径从初始状态发出而只有少数途径通向目的状态时，如证明平面几何定理问题，这种推理是很有效的。