回溯推理的正确形式及其意义

现行的回溯推理理论与人们的推理实践是矛盾的，是违背人的认知实际的。本文给出的推理形式消解了这一矛盾，揭示了回溯推理结论或然性的真正根源，指出了获取正确结论的理论要求，对人们的回溯推理实践具有重要的指导意义。