题目类型：
问答题
题目内容
构造下列推理的证明。
如果他是计算机专业学生，他必修离散数学。如果他不是工商管理专业的学生，他必是计算机专业的学生。他没修离散数学。所以他是工商管理专业的学生。
如果他是计算机专业学生，他必修离散数学。如果他不是工商管理专业的学生，他必是计算机专业的学生。他没修离散数学。所以他是工商管理专业的学生。
正确答案
