版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、一、判断题(正确,错误)1-5 题: 6-10 题: 11-15题: 16-17题: 二、单项选择题1 A C 2 C 3 C 4. B 5 A 6 B 7 B 8 C 9 B 10 B11 D 12 A 13 C 14 C三、填空题1 QP 或PQ, QP2 a,b, a,b,c,c,a,b, a,b,a,b。3 ,, ,。4A=1,2,3,12,R是A上的整除关系,子集B=2,4,6。则B的最大元是:无,最小元是:2,极大元是:4,6,极小元是:2,上界是:12,下界是:2,上确界是:12,下确界是:2。5. g g g 6 R, T7. 略8极大元:a,b, b,c,最大元:无,上界:a
2、,b,c,下确界:。一、判断题(正确,错误)( )1设A,B,C为任意的命题公式,若,则。 ( )2公式是合取范式,不是析取范式。 ( )3公式与公式等价。( )4。( )5谓词公式中,x,y是约束变元,z是自由变元。( )6对谓词公式中的自由变元进行代入后得到公式。( )7对谓词公式中的约束变元进行换名后得到公式。( )8,且。( )9对任意的集合A,B,C,D.若,则。( )10设A,B,C是任意的集合,则。( )11集合A=a,b,c上的任何二元关系R都不可能既是对称的,又是反对称的。( )12若R和S是集合A上的任意的两个反自发的关系,则RS也是反自反的。( )13设是一个偏序集合,若
3、最大成员存在,则该最大成员必然是极大成员。( )14R是等价关系一定是相容关系,反之亦然。( )15当X和Y都是有限集合时,若f:XY是单射函数,则|X|Y|。( )16设N是自然数集合,f : NN,且f(j)=j2+2,则f是单射函数。( )17设X=1,2,3,4, f是X上的关系且f=,,则f是函数。二、单项选择题1给定命题公式,则它的成真指派为( ),成假指派为( )。A111, 011, 100, 101,110B. 111, 011 C. 000, 010, 001 D. 000 2给定命题公式:与之等价的是( )。A B. C. D. 3命题:“所有马都比某些牛跑得快” 的符号
4、化公式为( )。 假设:H(x):x是马;C(x):x是牛;F(x,y):x跑得比y快。A. B. C. D. 4给定命题公式:与之等价的公式是( )。A B. C. D. 5对任意的集合A,B,C,下述论断正确的是( )。 A若,则. B. 若,则. C. 若,则. D. 若,则.6下列选项错误的是( )。A. B. C. D. 7设A=1,1, P(A)为A的幂集,下列选项错误的是( )。 AB. C. D.8集合A=1,2,3,6, A上的整除关系具有的性质是( ) A自反的,对称的,可传递的 B. 反自反的,对称的,可传递的 C. 自反的,反对称的,可传递的 D. 反自反的,反对称的,
5、可传递的 9关系R的关系矩阵, 则关系R具有的性质是 ( )。 A自反的,对称的,可传递的 B自反的,反对称的,可传递的 C自反的,对称的 D都不是10函数的复合运算满足( )。A交换律 B.结合律 C.等幂律 D.分配律11若gf是双射函数,则( )。Af,g必是满射 B.f,g必是单射Cf必是满射, g必是单射 D. f必是单射, g必是满射12设N是自然数集合,R是实数集合,f : NR,且给定,则( )。Af是单射 B.f是满射 Cf是双射 D.都不是13设,则有( )。A B. C D. 14给定公式,它的前束范式是( )。A B. C D. 三、填空题1给定命题1:“除非你努力,否
6、则你将失败”(假设Q:你努力,P:你将失败);命题2:“只有睡觉才能恢复疲劳”(假设P:睡觉,Q:恢复疲劳)。则命题1符号化为_, 命题2符号化为_。2集合A=a,b,c,B=a,b,c, 试写出:_,_,_,_。3确定以下各式:_,_,_,_。4A=1,2,3,12,R是A上的整除关系,子集B=2,4,6。则B的最大元是_,最小元是_,极大元是_,极小元是_,上界是_,下界是_,上确界是_,下确界是_。5设A=1,2,3,f, g, h均为A到A的函数,即f, g, h:AA,其中f=, g=, h=,,则_是单射,_是满射,_是双射。 6设A=a,b,c, B=x,y,z,R,S,T:AB
7、的关系,且R=,,S=,,T=,,则_可定义为A到B的函数。7 关系R是自反的,当且仅当在关系矩阵中_,在关系图中_;关系R是反自反的,当且仅当在关系矩阵中_,在关系图中_;关系R是对称的,当且仅当在关系矩阵中_,在关系图中_。8设A=a,b,c上偏序集,其中P(A)是A的幂集,则幂集P(A)的子集的极大元是_,最大元是_,上界是_,下确界是_。四、简答题1. 将下列命题符号化 (1) 不存在两片完全相同的叶子。 (2) 发光的不都是金子。(3)尽管有人聪明,但未必一切人都聪明。2. 利用两种方法证明下列蕴涵式:.3.利用求主合取范式证明下列公式等价性:4设A,B和C是集合,则回答下列问题: 若, 是否必须B=C?五、综合题 1 应用CP规则证明:RS可以从前提P(QS),RP和Q推出。2.符号化下列命题,并给出构造推理证明 每位资深名士或是中科院院士或是国务院参事。所有的资深名士是政协委员。张大为是资深名士,但他不是中科院院士,因此有的政协委员
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 外研八下英语Unit 6 Presenting ideas-Reflection《合作探究一》课件
- (新教材)2026人教版二年级下册数学 整 理和复习 课件
- 2026年住房抵押贷款合同(1篇)
- 2025 网络基础之光通信与无线通信的融合网络课件
- 2026年医疗期内合同(1篇)
- 2026年及未来5年市场数据中国环保地板行业发展运行现状及投资战略规划报告
- 《焊接机器人》试卷及答案
- 现代农业生产现场管理体系与实践
- 2026年重点产业关键环节备份与战略腹地建设指南
- 2026年深海多金属结核采集头扰动控制与环保作业规范
- 2026浙江温州市公安局招聘警务辅助人员42人笔试参考题库及答案解析
- 2026广东茂名市公安局招聘警务辅助人员67人考试参考题库及答案解析
- 2026年希望杯IHC全国赛二年级数学竞赛试卷(S卷)(含答案)
- 中国抗真菌药物临床应用指南(2025年版)
- 2025-2026 学年下学期八年级英语下册教学计划
- 幼儿园春季育儿知识分享:守护成长健康同行
- 2026年六安职业技术学院单招职业适应性考试题库附答案详解(预热题)
- 2025年安徽审计职业学院单招职业适应性测试试题及答案解析
- 2026年春节后复工复产“开工第一课”安全生产培训课件
- 2025年西南计算机有限责任公司招聘笔试真题
- 2026常德烟草机械有限责任公司招聘35人笔试参考题库及答案解析
评论
0/150
提交评论