读书会甲、乙、丙、丁四人分别推荐历史、科幻、传记、诗歌四类书中的一类，且互不相同…
读书会甲、乙、丙、丁四人分别推荐历史、科幻、传记、诗歌四类书中的一类，且互不相同。已知：甲不推荐历史；乙推荐科幻；如果丙不推荐历史，那么丁推荐诗歌；丁没有推荐诗歌。 由此可以推出：
A. 丙推荐历史
B. 甲推荐传记
C. 丁推荐诗歌
D. 丙推荐传记
答案与解析
正确答案：A
花生十三讲解
用翻译推理结合朴素逻辑排除。已知丁没有推荐诗歌，由'丙不推荐历史→丁推荐诗歌'的逆否'否后必否前'推出丙推荐历史，A正确。继续验证完整分配：乙推荐科幻，甲不推荐历史且科幻、历史已被占，丁不推诗歌只能推传记，剩下诗歌归甲。最终分配为丙历史、乙科幻、丁传记、甲诗歌，全部条件满足且唯一。B、C、D均与该唯一分配矛盾。确认答案为A。
原解析
丁没推诗歌，由'丙不推历史→丁推诗歌'逆否得丙推荐历史；乙科幻，甲不推历史，剩余甲推诗歌、丁推传记。故A正确，B、C、D均与唯一分配矛盾（程序枚举验证唯一：丙历史、乙科幻、丁传记、甲诗歌）。