22.3 逻辑推理