回溯推理

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