高等继续教育 / 离散数学
题型描述: 论述题
形式化翻译并论证：如果小黄学习成绩好，那么小黄上课认真听课了或者他下课认真学习了。小黄下课没有认真学习。所以如果小黄上课没有认真听课，则他学习成绩不好。
参考答案：
佳题速递：
形式化翻译并论证：如果小黄学习成绩好，那么小黄上课认真听课了或者他下课认真学习了。小黄下课没有认真学习。所以如果小黄上课没有认真听课，则他学习成绩不好。