将下面命题符号化，并构造推理证明：凡大学生都是勤奋的，小明不勤奋，所以小明不是大学生。
将下面命题符号化，并构造推理证明：凡大学生都是勤奋的，小明不勤奋，所以小明不是大学生。
【正确答案】：
Top
×
×