回溯推理

回溯推理   huí sù tuī lǐ

由已知事实的判断出发,推出该判断成立理由的推理。它的推理形式是:“q(已知事实判断);如果p,那么q(有关普遍规律性知识的判断);所以,p(推出的结论)。”根据充分条件假言推理的规则,不能从肯定后件进而肯定前件,因此,上述推理形式不是一个演绎推理的有效式。但是,作为一种非必然性推理,在由已知事实去探求未知的理由、原因的过程中,这种推理形式有其独特的作用。