逻辑推理-排除法应用