逻辑推理的三种方法