已知：小穆要么去图书馆，要么去自习室，二者只能选其一；如果去自习室，就要提前在小…
已知：小穆要么去图书馆，要么去自习室，二者只能选其一；如果去自习室，就要提前在小程序上预约座位。小穆今天没有进行任何预约。由此可以推出：
A. 小穆今天去自习室
B. 小穆今天哪儿也不去
C. 小穆今天去图书馆
D. 小穆明天再去预约
答案与解析
正确答案：C
花生十三讲解
翻译推理之不相容选言。'去自习室→提前预约'的逆否：没有预约→不去自习室。小穆今天没有进行任何预约，故不去自习室。又已知要么去图书馆要么去自习室、二者必居其一，自习室被排除后，小穆今天去图书馆，C正确。A与逆否推理矛盾；B哪儿也不去违反选言前提；D明天再预约无据。确认答案为C。
原解析
“去自习室→预约”的逆否：未预约→不去自习室。不相容选言二者必居其一，自习室被排除，故去图书馆。A与推理矛盾，B违反选言前提，D无据。