档案室的裁纸刀不见了，只可能是小裘、小邬、小蔺三人中一人借走的。小裘说：'是小邬…
档案室的裁纸刀不见了，只可能是小裘、小邬、小蔺三人中一人借走的。小裘说：'是小邬借的'；小邬说：'不是我借的'；小蔺说：'不是我借的'。已知三人中只有一人说真话。 借走裁纸刀的是：
A. 小裘
B. 小邬
C. 小蔺
D. 无法确定
答案与解析
正确答案：C
花生十三讲解
真假推理找矛盾法。小裘说'是小邬借的'与小邬说'不是我借的'构成矛盾，必有一真一假。已知只有一人说真话，则唯一真话在裘邬之中，小蔺说的是假话。小蔺'不是我借的'为假，即裁纸刀是小蔺借走的。验证：是小蔺时，裘假、邬'不是我'真、蔺假，恰好一人说真话，成立且唯一。确认答案为C。
原解析
小裘与小邬的话矛盾，必有一真一假，唯一真话在其中，故小蔺说假话：'不是我借的'为假，即裁纸刀是小蔺借走的。验证：此时裘假、邬真、蔺假，恰一真成立（程序枚举验证唯一）。