王老师：19139051760(微信同号)  13333709510
联大   青书学堂   文才   和学   现代兴业   安徽教育在线   超星   弘成   广东开放大学   国家开放大学   上海开放大学   含弘慕课 

教育服务
成人高校
成考录取分数线
我要提升学历
提升学历的理由：
升职加薪、积分落户、考研、公务员考试、子女入学、出国留学


成人高考报名入口

当前位置： 首页 > 联大系统 > 河南理工大学> 河南理工大学-计算机科学与技术-离散数学
 

输入试题：
本题添加时间：2023/4/3 12:59:00
圆梦客服：王老师  19139051760(微信同号)  19139051760(微信同号)
[应用题,10分] 令p：他是计算机系本科生 q：他是计算机系研究生 r：他学过DELPHI语言 s:他学过C++语言 t:他会编程序 前提：(p∨q)→(r∧s),(r∨s)→t 结论：p→t证①p P(附加前提) ②p∨q T①I ③(p∨q)→(r∧s) P(前提引入) ④r∧s T②③I ⑤r T④I ⑥r∨s T⑤I ⑦(r∨s)→t P(前提引入) ⑧t T⑤⑥I

答案是:前提|(p∨q)→(r∧s),(r∨s)→t|结论|p→t|t


出自 河南理工大学-计算机科学与技术-离散数学  联大系统

河南理工大学

更多试题>>>>
1、[应用题,10分] 用迪克斯特拉算法求下面有限权图中从A到B的最短路(要求用图示给出求解过程)，并计算它们的权值。
2、[应用题,10分] 一次学术会议的理事会共有20个人参加，他们之间有的相互认识但有的相互不认识。但对任意两个人，他们各自认识的人的数目之和不小于20。问能否把这20个人排在圆桌旁，使得任意一个人认识其旁边的两个人?根据是什么?
3、[证明题,0分] 证明：(A-B)-C=A-(B-C)
4、[证明题,7.1分] 给定连通简单平面图G＝，且|V|＝6，|E|＝12。证明：对任意f∈F，d(f)＝3。
5、[证明题,7.1分] 在自然推理系统P中用附加前提法证明下面推理： 前提： 结论：


提升学历-成人高考报名入口 提升学历-成人高考院校名单