逻辑推理的方法