办公室新来了一位同事，其毕业于师范大学、理工大学、财经大学三所之一。四人猜测：小…
办公室新来了一位同事，其毕业于师范大学、理工大学、财经大学三所之一。四人猜测：小马说：'毕业于师范大学'；小牛说：'毕业于师范大学'；小杨说：'不是毕业于财经大学'；小郑说：'毕业于理工大学'。已知四人中恰有两人猜对。 新同事毕业于：
A. 理工大学
B. 师范大学
C. 财经大学
D. 无法确定
答案与解析
正确答案：A
花生十三讲解
真假推理之代入验证。三种情况逐一代入：若毕业于师范大学，小马对、小牛对、小杨对（不是财经）、小郑错，三人对，不符；若毕业于财经大学，四人全错，不符；若毕业于理工大学，小马错、小牛错、小杨对、小郑对，恰好两人猜对，符合条件。故新同事毕业于理工大学，唯一成立。确认答案为A。
原解析
逐一验证：若为师范，四人对错为对对对错=3人对；若为财经，为错错错错=0人对；若为理工，为错错对对，恰两人对，成立。故毕业于理工大学（程序枚举验证唯一）。