离散数学4
更新时间:2024-04-14 14:26:01 阅读量: 综合文库 文档下载
离散数学试题(A卷及答案)
一、(10分)判断下列公式的类型(永真式、永假式、可满足式)?(写过程) 1)P?(P∨Q∨R) 2)?(P?Q)∧Q 3)(P?Q)∧?R
解:1)重言式;2)矛盾式;3)可满足式
二、(10分)求命题公式(?P?Q)?(?Q∨P)的主析取范式,并求成真赋值。
解:(?P?Q)?(?Q∨P)?(P∨Q)?(?Q∨P)??(P∨Q)∨(?Q∨P)
?(?P∧?Q)∨?Q∨P??Q∨P?((P∨?P)∧?Q)∨(P∧?Q)∨(P∧Q) ?(?P∧?Q)∨(P∧?Q)∨(P∧?Q)∨(P∧Q)? m0∨m2∨m3
成真赋值为:00、10、11。
三、(10分)证明下列命题的等值关系:(P∨Q)∧?(P∧Q)??(P?Q)
证明:(P∨Q)∧?(P∧Q)?(P∨Q)∧(?P∨?Q)?(P∧?Q)∨(Q∧?P)
??((?P∨Q)∧(?Q∨P))??((P?Q)∧(Q?P))??(P?Q)
四、(10分)叙述并证明苏格拉底三段论
解:所有人都是要死的,苏格拉底是人,所以苏格拉底是要死的。 符号化:F(x):x是一个人。G(x):x要死的。A:苏格拉底。 命题符号化为?x(F(x)?G(x)),F(a)?G(a) 证明:
(1)?x(F(x)?G(x)) P (2)F(a)?G(a) T(1),US (3)F(a) P
(4)G(a) T(2)(3),I
五、(10分)已知A、B、C是三个集合,证明A∩(B∪C)=(A∩B)∪(A∩C)
证明:∵x? A∩(B∪C)? x? A∧x?(B∪C)
? x? A∧(x?B∨x?C)
?( x? A∧x?B)∨(x? A∧x?C) ? x?(A∩B)∨x? A∩C ? x?(A∩B)∪(A∩C)
∴A∩(B∪C)=(A∩B)∪(A∩C)
六、(10分)R为集合X上的二元关系,X={1,2,3,4,5,6,7},R={<1,1>,<1,2>,<2,4>,<6,3>,<6,6>,<7,1>},求:R的等价闭包R*(即包含R的最小的等价关系)。
解:R={<1,1>,<2,2>,<3,3>,<4,4>,<5,5>,<6,6>,<7,7>,<1,2>,<2,1>,<2,4>,<4,2>,<6,3>,<3,6>,<7,1>,<1,7>,<1,4>,<4,1>,<2,7>,<7,2>,<7,4>,<4,7>} 七、(10分)设函数f:R×R?R×R,R为实数集,f定义为:f(
解:1)?
*
2)?
∈R×R,由f( ,通过计算可得x=(p+q)/2;y=(p-q)/2;从而 的原象存在,f是满射。 八、(10分)设G是一群,H是G的子群,x∈G,证明x●H●x-1={x●h●x-1| h∈H }是G的子群。 解:由H非空,知x●H●X非空。 ?a,b∈x●H●x-1,即存在h1,h2∈H,使得a=x●h1●x-1,b=x●h2●x-1,有a●b-1=(x●h1●x-1)●(x●h2●x-1)-1=x● h1●x-1●(X-1)-1●h2-1●x-1=x●(h1●h2-1) ●x-1因H为G的子群,有h1●h2-1=h3∈H从而a●b-1= x●h3●x-1∈x●H●x-1。所以x●H●x为子群。 九、(10分)若G是连通平面图,且G的每个面的次数至少为l(l≥3),则G的边数m与结点数n有如下-1 -1 关系: l m?l?2(n?2)r证明:设G有r个面,则2m=?d(fi)?lr,2m≥lr。 i?1由欧拉公式得,n-m+r=2,r=2-n+m。于是 m?ll?2(n?2) 十、(10分)求叶的权分别为7、8、9、12、16的最优二叉树及其权。 解:最优二叉树如图所示: 树的权为(9+12+16)×2+(7+8)×3=119 离散数学试题(B卷及答案) 一、(10分)判断下列公式的类型(永真式、永假式、可满足式)?(写过程) 1)P?(P∨Q∨R) 2)?((Q?P)∨?P)∧(P∨R) 3)((?P∨Q)?R)?((P∧Q)∨R) 解:1)重言式;2)矛盾式;3)可满足式 二、(10分)求命题公式(P∨(Q∧R))?(P∨Q∨R)的主析取范式,并求成真赋值。 解:(P∨(Q∧R))?(P∨Q∨R)??(P∨(Q∧R))∨P∨Q∨R ??P∧(?Q∨?R)∨P∨Q∨R ?(?P∧?Q)∨(?P∧?R)∨(P∨Q)∨R ?(?(P∨Q)∨(P∨Q))∨(?P∧?R)∨R ?1∨((?P∧?R)∨R)?1 ?m0∨m1∨m2∨m3∨m4∨m5∨m6∨m7 该式为重言式,全部赋值都是成真赋值。 三、(10分)证明 ((P∧Q∧A)?C)∧(A?(P∨Q∨C))?(A∧(P?Q))?C 证明:((P∧Q∧A)?C)∧(A?(P∨Q∨C))?(?(P∧Q∧A)∨C)∧(?A∨(P∨Q∨C)) ?((?P∨?Q∨?A)∨C)∧((?A∨P∨Q)∨C) ?((?P∨?Q∨?A)∧(?A∨P∨Q))∨C ??((?P∨?Q∨?A)∧(?A∨P∨Q))?C ?(?(?P∨?Q∨?A)∨?(?A∨P∨Q))?C ?((P∧Q∧A)∨(A∧?P∧?Q))?C ?(A∧((P∧Q)∨(?P∧?Q)))?C ?(A∧((P∨?Q)∧(?P∨Q)))?C ?(A∧((Q?P)∧(P?Q)))?C ?(A∧(P?Q))?C 四、(10分)个体域为{1,2},求?x?y(x+y=4)的真值。 解:?x?y(x+y=4)??x((x+1=4)∨(x+2=4)) ?((1+1=4)∨(1+2=4))∧((2+1=4)∨(2+2=4)) ?(0∨0)∧(0∨1)?0∧1?0 五、(10分)对于任意集合A,B,试证明:P(A)∩P(B)=P(A∩B) 解:?x?P(A)∩P(B),x?P(A)且x?P(B),有x?A且x?B,从而x?A∩B,x?P(A∩B),由于上述过程可逆,故P(A)∩P(B)=P(A∩B) 六、(10分)已知A={1,2,3,4,5}和R={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>},求r(R)、s(R) 和t(R)。 解:r(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<1,1>,<2,2>,<3,3>,<4,4>,<5,5>} s(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<3,2>,<4,3>,<4,5>} t(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<1,1>,<1,3>,<2,2>,<2,4>,<1,4>} 七、(10分)设函数f:R×R?R×R,R为实数集,f定义为:f( 解:1)? 2)? ∈R×R,由f( ,通过计算可得x=(p+q)/2;y=(p-q)/2;从而 的原象存在,f是满射。 八、(10分) 证明:1)?a,b∈G,a?b=a*u-1*b∈G,运算是封闭的。 2)?a,b,c∈G,(a?b)?c=(a*u*b)*u*c=a*u*(b*u*c)=a?(b?c),运算是可结合的。 3)?a∈G,设E为?的单位元,则a?E=a*u-1*E=a,得E=u,存在单位元u。 4)?a∈G,a?x=a*u-1*x=E,x=u*a-1*u,则x?a=u*a-1*u*u-1*a=u=E,每个元素都有逆元。 所以 九、(10分)已知:D= 解:1)D的邻接距阵A和可达距阵P如下: A= 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 -1 -1 -1 -1 P= 1 十、(10分)求叶的权分别为2、4、6、8、10、12、14的最优二叉树及其权。 解:最优二叉树为 权=(2+4)×4+6×3+12×2+(8+10)×3+14×2=148
正在阅读:
离散数学404-14
骨干教师2022年度个人总结范文03-23
近因原则在实践中的应用09-29
师德教师个人考核档案10-19
2015年九年级英语培优综合训练一10-25
六年级下语文教材梳理专项部分-口语交际-冀教版小学学科网12-28
写想对老师说的话02-10
电大职业技能实训平台习题及答案 学前教育专业(五门课)04-02
2015年度个人学习总结12-28
- 多层物业服务方案
- (审判实务)习惯法与少数民族地区民间纠纷解决问题(孙 潋)
- 人教版新课标六年级下册语文全册教案
- 词语打卡
- photoshop实习报告
- 钢结构设计原理综合测试2
- 2014年期末练习题
- 高中数学中的逆向思维解题方法探讨
- 名师原创 全国通用2014-2015学年高二寒假作业 政治(一)Word版
- 北航《建筑结构检测鉴定与加固》在线作业三
- XX县卫生监督所工程建设项目可行性研究报告
- 小学四年级观察作文经典评语
- 浅谈110KV变电站电气一次设计-程泉焱(1)
- 安全员考试题库
- 国家电网公司变电运维管理规定(试行)
- 义务教育课程标准稿征求意见提纲
- 教学秘书面试技巧
- 钢结构工程施工组织设计
- 水利工程概论论文
- 09届九年级数学第四次模拟试卷
- 离散
- 数学
- 湖北省主要污染物总量减排省级财政“以奖代补”资金管理办法
- 小型储氢电池生产项目可行性研究报告
- 计算机操作系统考试重点习题集资料
- 运用量变和质变辩证关系原理,说明个人成长中必须把远大目标和实
- 中频炉故障总结
- 中西方文化差异论文作业
- 慢性阻塞性肺气肿诊疗指南
- 2012年银行从业考试
- 最新北师大版三年级上册数学好玩教学设计与教学反思 - 图文
- 消毒剂 - 图文
- QTreeView
- 挪威船舶买卖格式-Saleform2012-魏长庚船长
- 那曲辽宁小区报批
- 第七章 练习
- 交行-动产质押监管协议
- 材料分析方法3
- 中国银行自助服务终端行业发展现状及未来五年未来趋势研究报告
- 苏教版三年级数学试卷
- 毕业生户口、档案、干部身份、三方协议等等等等
- 2017四川选调生笔试申论范文赏析:民营企业自主创新