书法比赛结果揭晓前，四人预测。小安说：'冠军是小柏'；小柏说：'冠军是小成'；小…
书法比赛结果揭晓前，四人预测。小安说：'冠军是小柏'；小柏说：'冠军是小成'；小成说：'冠军不是我'；小丁说：'冠军不是小安'。结果只有一人预测正确。 冠军是：
A. 小安
B. 小柏
C. 小成
D. 小丁
答案与解析
正确答案：A
花生十三讲解
用真假推理的找矛盾法解题。小柏说'冠军是小成'与小成说'冠军不是我'互为矛盾，必一真一假，唯一真话在其中，故小安、小丁都说错。小丁'冠军不是小安'为假，即冠军是小安；小安说'冠军是小柏'为假，一致。验证：冠军为小安时，小柏假、小成真、小安假、小丁假，恰一人对，自洽。确认答案为A。
原解析
小柏与小成的话矛盾，必一真一假，唯一真话在其中，故小丁的话为假，冠军是小安。验证：此时小安假、小柏假、小成真，恰一真成立（程序枚举验证唯一）。