小郭说：“如果明天不下雪，我就去爬山。”第二天，小郭没有去爬山。假设小郭说话算话…
小郭说：“如果明天不下雪，我就去爬山。”第二天，小郭没有去爬山。假设小郭说话算话，由此可以推出：
A. 明天小郭一定去爬山
B. 当天下雪了
C. 当天没有下雪
D. 小郭改变了主意
答案与解析
正确答案：B
花生十三讲解
翻译推理。'如果明天不下雪，我就去爬山'翻译为：不下雪→去爬山。第二天小郭没去爬山，即否定了后件。由逆否等价，否后必否前：没去爬山→并非不下雪，即当天下雪了，B正确。A与事实矛盾；C与推理相反；D'改变主意'与题设'说话算话'矛盾。确认答案为B。
原解析
题干翻译为“不下雪→去爬山”。没去爬山（否定后件）可否定前件“不下雪”，即当天下雪了。D与“说话算话”的假设矛盾。