构造下列推理的证明。如果他是计算机专业学生,他必修离散数学。如果他不是工商管理专业的学生,他必是计算机专业的学生。他没修离散数学。所以他是工商管理专业的学生。
◎欢迎参与讨论,请在这里发表您的看法、交流您的观点。