小刘是某大学计算机科学专业的大四学生

小刘是某大学计算机科学专业的大四学生。

小张说:如果小刘喜欢离散数学，那么他会报考计算机科学专业的研究生。

小王说:如果小刘不喜欢离散数学，那么他会成为算法程序员。

小赵说:如果小刘不报考计算机科学专业的研究生，那么他不能成为算法程序员。

如果小张、小王、小赵的论断均为真，那么以下哪项一定为真?

A. 小刘报考了计算机科学专业的研究生

B. 小刘没有报考计算机科学专业的研究生

C. 小刘喜欢离散数学

D. 小刘不喜欢离散数学

答案：A

第一步，确定题型。

根据题干关联词“如果……那么……”和提问方式，确定为翻译推理。

第二步，翻译题干。

小张：小刘喜欢离散数学→小刘报考计算机科学专业的研究生；

小王：小刘不喜欢离散数学→小刘成为算法程序员；

小赵：小刘不报考计算机科学专业的研究生→小刘不能成为算法程序员。

第三步，进行推理。

将小赵的话逆否后可得：小刘成为算法程序员→小刘报考计算机科学专业的研究生，再将小王的话和小赵的话逆否后得到的内容进行递推可得：小刘不喜欢离散数学→小刘成为算法程序员→小刘报考计算机科学专业的研究生。此时可以利用二难命题得出结论：小刘报考计算机科学专业的研究生。

因此，选择A选项。