填空题 回溯推理是从已知事实出发，借助充分条件假言命题，从后件存在推测前件存在的 1推理。