回溯推理是从结果推测原因或者从推断推论理由的推理。
回溯推理的逻辑结构是由一个（或一组后件相同的）充分条件假言判断为前提，而另一个前提则肯定充分条件假言判断的后件，从而结论或然地肯定充分条件假言判断的前件。整个推理过程具有从结果推测原因的性质，属或然性推理。
如果用”q“表示已知的事实判断，用”p→q“表示一般规律性知识，用”p“表示结论，用”“表示推测，那么回溯推理的逻辑形式是：（q∧（p→q）p。
（一）简单回溯推理简单回溯推理是一个前提为充分条件假言判断，
另一个前提肯定充分条件假言判断的后件，结论则肯定充分条件假言判断的前件的回溯推理。
（二）复杂回溯推理
复杂回溯推理是一组前提为前件不同而后件相同的充分条件假言判断，另一前提肯定充分条件假言判断的后件，结论选言地肯定充分条件假言判断的前件的回溯推理。
例如：某地发生一起19岁女孩被杀害的案件。侦察员对死者情况进行分析，
认为：女孩被杀害；
如果凶手为谋财害命，那么女孩被杀害；
如果凶手为情、色害命，那么女孩被杀害；如果凶手为妒忌害命，那么女孩被杀害；所以，凶手或为谋财害命、或为情色害命、或为妒忌害命。
三、回溯推理的作用
（一）运用回溯推理有助于推测事件发生的原因，是形成假说、验证假说的重要推理形式；
（二）回溯推理在刑事侦察工作中具有特别重要的作用。
返回