题库网
首页
所有科目
关于本站
游客
账号设置
退出登录
注册
登录
搜题
注意:此页面搜索的是所有试题
题目内容
(河南理工大学-计算机科学与技术-离散数学)
[证明题,7.1分] 利用形式演绎法证明:{ØA∨B, ØC→ØB, C→D}蕴涵A→D。
参考答案
查看
随机试卷
周口师范学院半导体物理学
漯河医学高等专科学校 物理化学
工商企业管理
贺州学院园林绿化工程计量与计价
平顶山学院-法学-商法学
周口师范学院-代汉语语法
西安科技大学-测绘工程-高等数学1
安阳师范学院-美术学-教师职业道德
西方经济学
国家开放大学营销方案撰写