小刘是某大学计算机科学专业的大四学生。小张说：如果小刘喜欢离散数学，那么他会报考…
小刘是某大学计算机科学专业的大四学生。小张说：如果小刘喜欢离散数学，那么他会报考计算机科学专业的研究生。小王说：如果小刘不喜欢离散数学，那么他会成为算法程序员。小赵说：如果小刘不报考计算机科学专业的研究生，那么他不能成为算法程序员。如果小张、小王、小赵的论断均为真，那么以下哪项一定为真？
A. 小刘报考了计算机科学专业的研究生
B. 小刘没有报考计算机科学专业的研究生
C. 小刘喜欢离散数学
D. 小刘不喜欢离散数学
答案与解析
正确答案：A
花生十三讲解
翻译推理之连锁逆否。翻译：①喜欢离散数学→报考研究生；②不喜欢离散数学→成为算法程序员；③不报考研究生→不能成为算法程序员，逆否得④成为算法程序员→报考研究生。由②与④递推：不喜欢离散数学→报考研究生。与①合并，无论喜欢与否都能推出报考研究生，故A一定为真。C、D无法确定，B与推理结论相反。确认答案为A。
原解析
题干翻译
①小张：小刘喜欢离散数学 → 小刘报考计算机科学专业的研究生
②小王：小刘不喜欢离散数学 → 小刘成为算法程序员
③小赵：小刘不报考计算机科学专业的研究生 → 小刘不能成为算法程序员
将小赵的话逆否后可得：④小刘成为算法程序员→小刘报考计算机科学专业的研究生；
再将小王的话与④进行递推可得：⑤小刘不喜欢离散数学→小刘成为算法程序员→小刘报考计算机科学专业的研究生。
结合①和⑤，利用二难推理得出结论：小刘报考计算机科学专业的研究生。
因此，选择A选项。