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

参考答案

随机试卷
桂林理工大学高级语言程序设计
国开公务员制度讲座1
病理生理武汉科技
哈尔滨金融学院-统计学
阜阳师范大学中学数学教材教法
河南医药高等专科学校医学理论学与卫生法规
河南财经政法大学-法学-法理学
四川农业大学统计学
南阳师范学院当代教育新进展
乐山师范学院风险管理