百米决赛后，四名观众猜测冠军归属。小周说：'冠军是3号'；小吴说：'冠军不是3号…
百米决赛后，四名观众猜测冠军归属。小周说：'冠军是3号'；小吴说：'冠军不是3号'；小郑说：'冠军是5号'；小王说：'冠军不是7号'。赛果公布后发现，四人中只有一人猜对。 冠军是：
A. 5号
B. 3号
C. 7号
D. 9号
答案与解析
正确答案：C
花生十三讲解
真假推理找矛盾法。小周说'冠军是3号'与小吴说'冠军不是3号'构成矛盾，必有一对一错。已知只有一人猜对，则唯一对者在周吴之中，小郑、小王都猜错。小王'冠军不是7号'为错，即冠军是7号。验证：冠军为7号时，小周错、小吴对、小郑错、小王错，恰好一人猜对，成立且唯一。确认答案为C。
原解析
小周与小吴矛盾，必一对一错，故小郑、小王都猜错。小王说'不是7号'为错，即冠军是7号。验证：冠军7号时小吴对、小周错、小郑错、小王错，恰一人对，自洽（程序枚举验证唯一）。