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

参考答案

随机试卷
国家开放大学建筑施工
长安大学遥感技术基础
信阳师范学院-体育教育-足球1
河南工学院-基础会计(高起专)
乐山师范学院排球
河北建筑工程学院-建筑学-大学英语1
乐山师范学院-钢琴即兴伴奏
河南工学院电路与模拟电子技术(高起专)
信阳师范学院财务会计
商丘师范学院-教育学（专升本）-教育经济学