一個邏輯推理題。