逻辑推理习题3