7.3.2 逻辑推理方法