将下面命题符号化，并构造推理证明：凡大学生都是勤奋的，小明不勤奋，所以小明不是大学生。