版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
离散数学逻辑推理练习题试题及答案考试时长:120分钟满分:100分班级:__________姓名:__________学号:__________得分:__________一、单选题(总共10题,每题2分,总分20分)1.在命题逻辑中,下列哪个表达式是重言式?A.(P→Q)∧(Q→P)B.(P∧¬P)→QC.P→(Q→P)D.¬(P∧Q)↔(¬P∨¬Q)2.设集合A={1,2,3},B={2,3,4},则A∩B的补集(在全集U={1,2,3,4,5}下)是?A.{1,5}B.{4}C.{1,4,5}D.{2,3}3.下列哪个命题公式是可满足的?A.(P∧Q)→(¬P∧¬Q)B.P↔¬PC.(P∨Q)∧(¬P∨¬Q)D.(P→Q)∧(Q→P)∧¬(P↔Q)4.在图论中,一个无向连通图至少需要多少条边?A.1B.2C.3D.n(n为顶点数)5.下列哪个是有效的推理规则?A.(P→Q),¬Q⊢¬PB.P,Q⊢P∧QC.(P→Q),P⊢QD.(P∨Q),¬P⊢Q6.设函数f:A→B,其中A={1,2,3},B={a,b,c},则下列哪个是满射?A.f={(1,a),(2,b),(3,c)}B.f={(1,a),(2,a),(3,b)}C.f={(1,b),(2,c)}D.f={(1,a),(3,b)}7.下列哪个是正确的逻辑等价式?A.P∧(Q∨R)↔(P∧Q)∨(P∧R)B.(P∧Q)∨(P∧¬Q)↔PC.P→Q↔¬P∨QD.(P→Q)→R↔P→(Q→R)8.在集合论中,下列哪个命题是正确的?A.A⊆B↔B⊆AB.A∪B=B∪AC.A∩(B∪C)=(A∩B)∪(A∩C)D.A×(B∪C)=(A×B)∪(A×C)9.下列哪个是正确的谓词逻辑公式?A.∀x∃yP(x,y)↔∃y∀xP(x,y)B.∀x(P(x)→Q(x))↔∀xP(x)→∀xQ(x)C.∃x∀yP(x,y)↔∀y∃xP(x,y)D.∀x(P(x)∧Q(x))↔∀xP(x)∧∀xQ(x)10.在树论中,一个n阶树的高度至少为?A.1B.log₂nC.n-1D.n二、填空题(总共10题,每题2分,总分20分)1.谓词逻辑中,∀xP(x)表示“______对所有x成立”。2.集合A={1,2},B={3,4},则A×B=______。3.命题公式P∧Q的否定是______。4.在图论中,一个有n个顶点的无向完全图有______条边。5.函数f:A→B是单射当且仅当______。6.谓词逻辑中,∃xP(x)表示“______存在某个x使得P(x)成立”。7.在树论中,一个n阶树的所有顶点度数之和为______。8.命题公式(P→Q)∧(Q→P)等价于______。9.集合A={1,2,3},B={2,3,4},则A∪B=______。10.在图论中,一个有n个顶点的无向树有______条边。三、判断题(总共10题,每题2分,总分20分)1.命题公式P∧(Q∨R)与(P∧Q)∨(P∧R)是等价的。(√)2.集合A⊆B当且仅当A∩B=A。(√)3.命题公式P→Q与¬P∨Q是等价的。(√)4.在图论中,一个有n个顶点的无向连通图至少有n条边。(×)5.函数f:A→B是满射当且仅当对于每个b∈B,存在至少一个a∈A使得f(a)=b。(√)6.谓词逻辑中,∀x(P(x)→Q(x))与∀xP(x)→∀xQ(x)是等价的。(×)7.在树论中,一个n阶树的高度最大为n-1。(√)8.命题公式(P∧¬P)→Q是重言式。(√)9.集合A×B=B×A。(×)10.在图论中,一个有n个顶点的无向树是连通且无环的。(√)四、简答题(总共3题,每题4分,总分12分)1.解释什么是命题逻辑中的重言式,并举例说明。2.简述集合论中并集、交集和补集的定义,并举例说明。3.解释什么是图论中的树,并说明树的一些基本性质。五、应用题(总共2题,每题9分,总分18分)1.给定命题公式P,Q,R,证明(P→Q)∧(Q→R)→(P→R)是重言式。2.设集合A={1,2,3},B={a,b,c},定义函数f:A→B为f={(1,a),(2,b),(3,c)},证明f是满射,并构造一个从B到A的反函数g:B→A。【标准答案及解析】一、单选题1.B解析:B选项是重言式,因为(P∧¬P)总是假,所以(P∧¬P)→Q总是真。2.C解析:A∩B={2,3},其补集为{1,4,5}。3.C解析:C选项是可满足的,例如当P和Q都为真时,(P∨Q)∧(¬P∨¬Q)为真。4.B解析:一个无向连通图至少需要2条边,否则无法连通。5.C解析:这是假言推理(ModusPonens),是有效的推理规则。6.A解析:A选项是满射,因为B中的每个元素都有原像。7.C解析:C选项是正确的逻辑等价式,这是蕴涵式的定义。8.C解析:这是集合论中的分配律。9.B解析:B选项是正确的,这是谓词逻辑中的等价式。10.C解析:一个n阶树的高度至少为n-1,例如完全二叉树。二、填空题1.所有2.{(1,3),(1,4),(2,3),(2,4)}3.¬(P∧Q)4.n(n-1)/25.对于不同的a₁,a₂∈A,f(a₁)≠f(a₂)6.存在某个7.2(n-1)8.P↔Q9.{1,2,3,4}10.n-1三、判断题1.√2.√3.√4.×5.√6.×7.√8.√9.×10.√四、简答题1.重言式是指在任何赋值下都为真的命题公式。例如,P∨¬P是重言式,因为P和¬P中总有一个为真。2.并集A∪B是包含A和B中所有元素的集合;交集A∩B是包含A和B中共同元素的集合;补集A'是全集U中不属于A的元素集合。例如,A={1,2},B={2,3},则A∪B={1,2,3},A∩B={2},A'={3,4}(假设全集U={1,2,3,4})。3.树是连通且无环的无向图。树的性质包括:树中任意两个顶点之间有且仅有一条路径;树有n个顶点,则恰好有n-1条边;树至少有两个叶子节点(n≥2时)。五、应用题1.证明(P→Q)∧(Q→R)→(P→R)是重言式:令P₁=(P→Q)∧(Q→R),P₂=P→R。要证明P₁→P₂是重言式,考虑P₁的两种情况:-若P₁为真,则(P→Q)∧(Q→R)为真,即P→Q和Q→R都为真。假设P为真,则由P→Q得Q为真,由Q→R得R为真,所以P→R为真。假设P为假,则P→R为真。因此,P₁→P₂为真。-若P₁为假,则P₁→P₂为真。综上,P₁→P₂是重言式。2.证明f是满射,并构造反
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2026年上海第二工业大学单招职业技能测试题库及1套参考答案详解
- 2026年上海财经大学浙江学院单招职业适应性考试题库附参考答案详解(黄金题型)
- 2026年上海政法学院单招职业技能考试题库及一套完整答案详解
- 2026年义乌工商职业技术学院单招综合素质考试题库含答案详解ab卷
- 2026年三峡旅游职业技术学院单招职业技能考试题库带答案详解(b卷)
- 2026年上海杉达学院单招职业技能考试题库及答案详解(有一套)
- 2026年云南现代职业技术学院单招职业倾向性考试题库带答案详解(b卷)
- 2026年上海外国语大学贤达经济人文学院单招职业适应性考试题库含答案详解(突破训练)
- 2026年上海海事大学单招综合素质考试题库带答案详解(完整版)
- 2026年云南省玉溪市单招职业适应性考试题库带答案详解ab卷
- 信号与系统(第2版)课件 4.9 抽样定理
- CJ/T 3070-1999城市用水分类标准
- 国家职业标准 6-11-01-03 化工总控工S (2025年版)
- 2025年江西省上饶市中考一模英语试题(含答案无听力原文及音频)
- 地基买卖合同范本
- 产房安全核查表常用指南
- 企业管理人员法治培训
- (高清版)DB11∕T 1831-2021 装配式建筑评价标准
- 小学语文部编版二年级下册第三单元 作业设计
- 污水处理厂工程监理工作总结
- 合作框架协议书模板2024年
评论
0/150
提交评论