已知：如果小翟值早班，那么小蒲值晚班；如果小蒲值晚班，那么小穆休息。今天小穆没有…
已知：如果小翟值早班，那么小蒲值晚班；如果小蒲值晚班，那么小穆休息。今天小穆没有休息。由此可以推出：
A. 小翟今天值了早班且小蒲值晚班
B. 小翟今天没有值早班
C. 小蒲今天值了晚班且小穆休息
D. 三人今天都上班且小穆不休息
答案与解析
正确答案：B
花生十三讲解
用翻译推理的传递与逆否解题。翻译：小翟值早班→小蒲值晚班→小穆休息。今天小穆没有休息，否定末件，由'否后必否前'逐级逆否：穆未休息→蒲未值晚班→翟未值早班，B正确。A、C与逆否结论直接矛盾；D'三人都上班'超出可推范围（翟蒲的具体班次未知）。确认答案为B。
原解析
连锁“翟早班→蒲晚班→穆休息”。小穆没休息，否定后件逐级逆否：蒲未值晚班、翟未值早班。A、C与推理矛盾，D超出可推范围。