通草花工作室的定型镊子不见了，只可能是小通、小草、小娄三人中一人拿走的。小通说：…
通草花工作室的定型镊子不见了，只可能是小通、小草、小娄三人中一人拿走的。小通说：'是小草拿的'；小草说：'不是我拿的'；小娄说：'不是小通拿的'。已知三人中只有一人说真话。 拿走镊子的是：
A. 小通
B. 小草
C. 小娄
D. 无法确定
答案与解析
正确答案：A
花生十三讲解
真假推理找矛盾法。小通说'是小草拿的'与小草说'不是我拿的'构成矛盾，必有一真一假，故小娄的话'不是小通拿的'为假，即镊子是小通拿走的。代入验证：小通拿时小通的话为假、小草的话为真、小娄的话为假，恰好只有一人说真话，与题干相符。确认答案为A。
原解析
小通与小草的话矛盾，必有一真一假，唯一真话在其中，故小娄说假话：'不是小通拿的'为假，即是小通拿的。验证：此时通假、草真、娄假，恰一真成立（程序枚举验证唯一）。