[单选题]
小刘是某大学计算机科学专业的大四学生。
小张说：如果小刘喜欢离散数学，那么他会报考计算机科学专业的研究生。
小王说：如果小刘不喜欢离散数学，那么他会成为算法程序员。
小赵说：如果小刘不报考计算机科学专业的研究生，那么他不能成为算法程序员。
如果小张、小王、小赵的论断均为真，那么以下哪项一定为真？
A . 小刘报考了计算机科学专业的研究生
B . 小刘没有报考计算机科学专业的研究生
C . 小刘喜欢离散数学
D . 小刘不喜欢离散数学
参考答案： A
小麦参考解析：
第一步：分析题干
题干推理规则为：
①喜欢离散数学→报考计算机科学专业的研究生
②不喜欢离散数学→成为算法程序员
③不报考计算机科学专业的研究生→不能成为算法程序员
第二步：分析选项
根据逆否命题规则，③等价于，④成为算法程序员→报考计算机科学专业的研究生，结合②④可推出：⑤不喜欢离散数学→报考计算机科学专业的研究生。
根据①可推出，⑥喜欢离散数学→报考计算机科学专业的研究生。结合⑤⑥可知，
小刘喜欢或不喜欢离散数学，都会报考计算机科学专业的研究生，A选项正确。
故本题选A。
【2023-北京-104】
