逻辑推理习题2