构造下列推理的证明。如果他是计算机专业学生,他必修离散数学。如果他不是工商管理专业的学生,他必是计算机专业的学生。他没修离散数学

构造下列推理的证明。
如果他是计算机专业学生,他必修离散数学。如果他不是工商管理专业的学生,他必是计算机专业的学生。他没修离散数学。所以他是工商管理专业的学生。
【正确答案】: