7.1 逻辑推理