逻辑推理方法