逻辑推理,数学游戏分解