[单选题]
小刘是某大学计算机科学专业的大四学生。
小张说：“如果小刘喜欢离散数学，那么他会报考计算机科学专业的研究生。”
小王说：“如果小刘不喜欢离散数学，那么他会成为算法程序员。”
小赵说：“如果小刘不报考计算机科学专业的研究生，那么他不能成为算法程序员。”
如果小张、小王、小赵的论断均为真，那么以下哪项一定为真？（ ）
A . 小刘报考了计算机科学专业的研究生
B . 小刘没有报考计算机科学专业的研究生
C . 小刘喜欢离散数学
D . 小刘不喜欢离散数学
参考答案： A
小麦参考解析：
第一步：翻译题干。
①小张：喜欢离散数学→报考计算机科学专业的研究生。
②小王：-喜欢离散数学→成为算法程序员。
③小赵：-报考计算机科学专业的研究生→-成为算法程序员。
将条件③逆否并与条件②串联可得：④-喜欢离散数学→成为算法程序员→报考计算机科学专业的研究生。
第二步：根据题干条件进行推理。
根据“A→B，-A→B，那么B一定为真”（即无论A是否成立，B一定成立），结合条件①④可知，无论小刘是否喜欢离散数学，都会报考计算机科学专业的研究生，A项正确。
故正确答案为A。
