小刘是某大学计算机科学专业的大四学生。小张说:如果小刘喜欢离散数学，那么他会报考计算机科学专业的研究生。小王说:如果小刘不喜欢离散数学，那么他会成为算法程序员。小赵说:如果小刘不报考计算机科学专业的研究生，那么他不能成为算法程序员。如果小张、小王、小赵的论断均为真，那么以下哪项一定为真?
小刘报考了计算机科学专业的研究生
小刘没有报考计算机科学专业的研究生
小刘喜欢离散数学
小刘不喜欢离散数学
