注意：此页面搜索的是所有试题
题目内容 （河南理工大学-计算机科学与技术-离散数学）
[证明题,7.1分] 利用形式演绎法证明：{ØA∨B, ØC→ØB, C→D}蕴涵A→D。

参考答案

随机试卷
人文英语1
长沙医学院药事管理学
内蒙古农业大学-森林生态学
洛阳理工学院-英语1（高起专）
平顶山学院-英语-日语
华北水利水电大学-电气工程及其自动化-心理健康教育（作业1）
河南质量工程职业学院-毛泽东思想和中国特色
石家庄铁道大学摄影测量与遥感
河南牧业经济学院畜禽环境卫生与牧场设计(高起专)
河南农业大学-医学生物统计