




版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、离散数学期末考试试卷(A卷) 一、判断题:(每题2分,共10分)(1) (1)(2)对任意的命题公式 , 若 , 则 (0)(3)设 是集合 上的等价关系, 是由 诱导的 上的等价关系,则 。(1)(4)任意一个命题公式都与某一个只含合取和析取两种联结词的命题公式等价。(0)(5)设 是 上的关系, 分别表示 的对称和传递闭包,则 (0)二、填空题:(每题2分,共10分)() 空集的幂集的幂集为( )。() 写出 的对偶式( )。()设 是我校本科生全体构成的集合,两位同学等价当且仅当他们在同一个班,则等价类的个数为( ),同学小王所在的等价类为( )。()设 是 上的关系,则 满足下列性质的
2、哪几条:自反的,对称的,传递的,反自反的,反对称的。( )(5)写出命题公式 的两种等价公式( )。三、用命题公式符号化下列命题()()(),用谓词公式符号化下列命题()()()。(12分)() ()仅当今晚有时间,我去看电影。() ()假如上午不下雨,我去看电影,否则就在家里读书。(3)你能通你能通过考试,除非你不复习。() ()并非发光的都是金子。 () ()有些男同志,既是教练员,又是国家选手。 () ()有一个数比任何数都大。四、设 ,给定 上的两个关系 和 分别是() ()写出 和 的关系矩阵。()求 及 (1分)五、求 的主析取范式和主合取范式。(分)六、设 是 到 的关系, 是
3、到 的关系,证明: (8分)七、设 是一个等价关系,设 对某一个 ,有 ,证明: 也是一个等价关系。(10分)八、(1分)用命题推理理论来论证 下述推证是否有效?甲、乙、丙、丁四人参加比赛,如果甲获胜,则乙失败;如果丙获胜,则乙也获胜,如果甲不获胜,则丁不失败。所以,如果丙获胜,则丁不失败。 九、(分)用谓词推理理论来论证下述推证。任何人如果他喜欢步行,他就不喜欢乘汽车,每一个人或喜欢乘汽车,或喜欢骑自行车(可能这两种都喜欢)。有的人不爱骑自行车,因而有的人不爱步行 (论域是人)。十、(8分) 利用命题公式求解下列问题。甲、乙、丙、丁四人参加考试后,有人问他们,谁的成绩最好,甲说:“不是我,”
4、乙说:“是丁,”丙说:“是乙,”丁说:“不是我。” 四人的回答只有一人符合实际,问若只有一人成绩最好,是谁?离散数学期末考试试卷答案(A卷) 一、判断题:(每题2分,共10分)(1) ( ) (2) 对任意的命题公式, 若 , 则 ( )(3)设是集合上的等价关系, 是由诱导的上的等价关系,则。 ( )(4) 任意一个命题公式都与某一个只含合取和析取两种联结词的命题公式等价。( )(5)设是上的关系,分别表示的对称和传递闭包,则 ( )二、填空题:(每题2分,共10分)() 空集的幂集的幂集为 ( )。() 写出的对偶式( )。()设是我校本科生全体构成的集合,两位同学等价当且仅当他
5、们在同一个班,则等价类的个数为(我校本科生的班级数 ),同学小王所在的等价类为(小王所在的班的集合)。()设是上的关系,则满足下列性质的哪几条:自反的,对称的,传递的,反自反的,反对称的。 (传递的,反自反的,反对称的)(5)写出命题公式的两种等价公式( )。 三、用命题公式符号化下列命题()()(),用谓词公式符号化下列命题()()()。(12分)() ()仅当今晚有时间,我去看电影。解:P: 今晚我有时间. Q: 我去看电影 () ()假如上午不下雨,我去看电影,否则就在家里读书。解 P: 上午下雨, Q: 我去看电影 R: 我在家里读书。 (3)你能通你能通过考试,除非你不复习
6、。解 P你能通过考试, Q: 你复习. () ()并非发光的都是金子。 解 是发光的, 是金子 () ()有些男同志,既是教练员,又是国家选手。 解 是男同志,是教练员,是国家选手 )() ()有一个数比任何数都大。 解 是数,比大, 四、设,给定上的两个关系和分别是() ()写出和的关系矩阵。()求及(1分)解 五、求的主析取范式和主合取范式。(分)解六、设是到的关系,是到的关系,证明:(8分)证明: 七、设是一个等价关系,设对某一个,有,证明:也是一个等价关系。(10分)证明:(1) 对任一, 因为R在A上是自反的,所以. 由S的定义,<x,x&
7、gt;S, 所以S是自反的。() ()对任意,若则对于某个c 使得因为R对称的,故有:由S的定义可知:所以S是对称的。(3)对任意,若及则必存在某个,使得由R传递性,可知,同理存在使得由R传递性,可知。再由S的定义,得故 S是传递的。综上可知,S是A上的等价关系。 八、(1分)用命题推理理论来论证下述推证是否有效?甲、乙、丙、丁四人参加比赛,如果甲获胜,则乙失败;如果丙获胜,则乙也获胜,如果甲不获胜,则丁不失败。所以,如果丙获胜,则丁不失败。解:设A:甲获胜。B:乙获胜。C:丙获胜。 D:丁获胜。前提为:结论为:(1) P (2) (1)T,E(3) P(4) (2)(3)T,I(5
8、) P(6) (5)(4)T,I 九、(分)用谓词推理理论来论证下述推证。任何人如果他喜欢步行,他就不喜欢乘汽车,每一个人或喜欢乘汽车,或喜欢骑自行车(可能这两种都喜欢)。有的人不爱骑自行车,因而有的人不爱步行 (论域是人)。解:设P(x):x喜欢不行。Q(x)喜欢乘汽车。R(x):x喜欢骑自行车。本题符号化为:(1) P(2) (1)ES(3) P (4) (3) US (5) (2)(4)T,I (6) P (7) (6)US (8) (5)(7)T,I(9) (8)EG 十、(8分) 利用命题公式求解下列问题。甲、乙、丙、丁四人参加考试后,有人问他们,谁的成绩最好,甲说:“不是我,”乙说:“是丁,”丙说:“是乙,”丁说:“不是我。” 四人的回答只有一人符合实际,问若只有一人成绩最好,是谁? 解:设
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 精通2025年经济法概论考试试题及答案
- 2025年工程经济效果分析方法试题及答案
- 2025国际物流代理委托合同
- 中级经济师考试的产值分析试题及答案
- 分析公共关系学中的舆论引导技巧及试题及答案
- 大学学前教育计算机课程体系构建
- 设计类毕业设计创作全流程解析
- 工程管理案例分析中的关键变量试题及答案
- 经济法概论综合性试题及答案
- 工程时间估算的方法与实践试题及答案
- 金属冶炼负责人安管人员培训
- 关于比的知识图文
- 拓扑结构特征提取-深度研究
- 建筑美学知到智慧树章节测试课后答案2024年秋华南理工大学
- 统编版语文七年级下第18课《井冈翠竹》公开课一等奖创新教学设计
- 针刺伤预防与处理-2024中华护理学会团体标准
- 《高等教育心理学》讲义
- 2025年汽车转向桥总成行业深度研究分析报告
- 基装合同范例版
- 《招生话术技巧》课件
- 永久性租房合同(2篇)
评论
0/150
提交评论