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