图书馆安排小恽、小暨、小邬三人分别负责二层、三层、四层阅览区（每人一层，互不相同…
图书馆安排小恽、小暨、小邬三人分别负责二层、三层、四层阅览区（每人一层，互不相同）。已知：小恽不负责二层；小暨不负责四层；小邬也不负责四层。 由此可以推出下列哪项必然成立？
A. 小暨负责四层
B. 小暨负责二层
C. 小邬负责三层
D. 小恽负责四层
答案与解析
正确答案：D
花生十三讲解
用朴素逻辑的匹配排除法。小暨、小邬都不负责四层，三人一人一层，四层只能由小恽负责，且与“小恽不负责二层”相容，A必然成立。剩下的二层与三层在小暨、小邬之间分配，两种方案都满足条件：小暨二层小邬三层，或小暨三层小邬二层，故B、C不必然；D与推理直接矛盾。确认答案为D。
原解析
小暨、小邬都不负责四层，四层只能由小恽负责（与'小恽不负责二层'相容），D必然成立。二层与三层在小暨、小邬之间有两种分配，故B、C不必然，A错误（程序枚举验证：恰两种有效方案且小恽均负责四层）。