20.3 逻辑推理习题