消防站的热成像仪不见了，只可能是小訾、小冀、小牧三人中一人借走的。小訾说：'不是…
消防站的热成像仪不见了，只可能是小訾、小冀、小牧三人中一人借走的。小訾说：'不是我借的'；小冀说：'是小訾借的'；小牧说：'不是小訾借的'。已知三人中只有一人说真话。 借走热成像仪的是：
A. 小訾
B. 小冀
C. 小牧
D. 无法确定
答案与解析
正确答案：A
花生十三讲解
用真假推理的找矛盾法。小冀说“是小訾借的”与小牧说“不是小訾借的”互为矛盾，必有一真一假，唯一的真话就在两人之中，故小訾必说假话。小訾说“不是我借的”为假，即热成像仪正是小訾借走的。验证：是小訾时，小訾假、小冀真、小牧假，恰有一人说真话，自洽且唯一。确认答案为A。
原解析
小冀与小牧的话矛盾，必有一真一假，唯一真话在其中，故小訾说假话：'不是我借的'为假，即热成像仪是小訾借走的。验证：此时訾假、冀真、牧假，恰一真成立（程序枚举验证唯一）。