回溯推理的逻辑形式及其有效性判定

摘要

回溯推理的逻辑形式及其有效性判定张学立回溯推理（ＲｅｄｕｃｔｉｖｅＩｎｆｅｒｅｎｃｅ）是从已知事实出发结合推论者的背景知识，借助充分条件假言推理的肯定后件式，由后件过渡到前件的一种或然性推理。它在科学发现和刑事侦察过程中有着重要作用。回溯推理是一种独...