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

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

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

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

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