逻辑推理-递推问题求解