4.11 逻辑推理 (2)