打包间的封口机不见了，只可能是小古、小谷、小庄三人中一人拿走的。小古说：'是小谷…
打包间的封口机不见了，只可能是小古、小谷、小庄三人中一人拿走的。小古说：'是小谷拿的'；小谷说：'不是我拿的'；小庄说：'不是小古拿的'。已知三人中只有一人说真话。 拿走封口机的是：
A. 小古
B. 小谷
C. 小庄
D. 无法确定
答案与解析
正确答案：A
花生十三讲解
用真假推理解题。小古说是小谷拿的，小谷说不是我拿的，两句互为矛盾，必一真一假，而只有一人说真话，故唯一真话在古谷之间，小庄说的必为假话。小庄说不是小古拿的为假，即封口机正是小古拿走的。验证：拿者为小古时，小古说是小谷为假，小谷说不是我为真，小庄说不是小古为假，恰好一真，完全自洽。确认答案为A。
原解析
小古与小谷的话矛盾，必有一真一假，唯一真话在其中，故小庄说假话：'不是小古拿的'为假，即是小古拿的。验证：此时古假、谷真、庄假，恰一真成立（程序枚举验证唯一）。