11.6 组合推理