库房的一把游标卡尺不见了，只可能是小能、小蒙、小衡三人中一人拿走的。小能说：'是…
库房的一把游标卡尺不见了，只可能是小能、小蒙、小衡三人中一人拿走的。小能说：'是小蒙拿的'；小蒙说：'不是我拿的'；小衡说：'不是小能拿的'。已知三人中只有一人说真话。 拿走游标卡尺的是：
A. 小衡
B. 小蒙
C. 小能
D. 无法确定
答案与解析
正确答案：C
花生十三讲解
用真假推理的找矛盾法解题。小能说'是小蒙拿的'与小蒙说'不是我拿的'互为矛盾，必一真一假，唯一的真话就在其中，故小衡说假话。小衡'不是小能拿的'为假，即游标卡尺是小能拿走的。验证：是小能时，小能假（不是小蒙）、小蒙真（确非小蒙）、小衡假，恰好一人说真话，自洽唯一。确认答案为C。
原解析
小能与小蒙矛盾（'是小蒙'与'不是我'），必一真一假，唯一真话在其中，故小衡说假话：'不是小能拿的'为假，即是小能拿的。验证：此时能假、蒙真、衡假，恰一真成立（程序枚举验证唯一）。