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

参考答案

随机试卷
陇东学院-社会学(专升本)
郑州航空工业管理学院思想道德修养与法律基础
河南理工大学—画法几何与工程制图
国家开放大学服务营销
四川民族学院公共部门战略管理
遵义师范学院美学与人生
国家开放大学员工关系管理
四川农业大学马克思主义基本原理概论
西安石油大学-化工原理（1）
平顶山学院-数据结构(专升本)