2.2.3 逻辑推理