如果小王是计算机专业的学生，小王就学离散数学。小王不是计算机专业的学生。所以小王不学离散数学。这个推理是正确的。