华中科技大学年《离散数学》期末试题B卷_第1页
全文预览已结束

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

1、一、判断题 1、对每个集合A，都有A (A) （ ）2、是全序集，则的任何非空子集必有唯一极小元。( )3、(P(QR)是一个命题演算的命题公式，其中P、Q、R是命题变元。 （ ）4、(A)(B) A是B的子集 （ ）5、若R和S是反自反的，则R。S也是反自反的（ ）6、x(A(x) B(x)x A(x)x B(x) （ ）7、设R和S是集合A上的等价关系，则RS一定是等价的。 （ ）8、若A-B ，则B（ ）9、非空集合上的关系不是对称的，则必是反对称的。( )10、若R是集合A上的传递关系，则R2也是集合A上的传递关系。（ ）二、单项选择题1、下列说法中正确的有：（ ）A、 任何集合都是它

2、自身的元素 B、任何集合的幂集都不是空集C、 若，则 D、任意两集合的迪卡尔积都不是空集2、若R和S是集合A上的等价关系，则下列关系中一定是等价关系的有（ ） A、 RS B、RS C、RS D、RS3、幂集P(P(P() （ ）A、,B、,C、,D、,4、设集合A=a,b,c，R是A上的二元关系，R=,那么R是 （ ） A、反自反的 B、 反对称的C、可传递的 D、 不可传递的5、设1和2都是非空集合A的划分，则下列集合哪个必定是A的划分（ ） A、12 B、12 C、12 D、（1（21）26、R是反对称的当且仅当（ ）A、IAR B、RIA= C、R=R-1 D、RR-1 IA8、设R和

3、S分别是A到B和B到C的关系，且RS=，那么 A、R是空关系 B、R和S都是空关系 C、R和S中至少有一个是空关系 D、以上答案都不对9、设 P： 我们划船， Q：我们跑步。命题“我们不能既划船又跑步”符号化为 （ ） A、 B、 C、 D、10、谓词公式中变元x是 （ ） A、自由变量 B、约束变量 C、既不是自由变量也不是约束变量 D、既是自由变量也是约束变量三、填空题1. 假如上午不下雨，我去看电影，否则就在家里读书或看报。令 P:上午下雨。Q:我去看电影。 R:我在家里读书。S:我在家里看报。则命题符号化为_。2. 设A=x| 100 x200，x = 7n+3，nZ，xZ，则| A|

4、=_。 3设 A=1，2，3，4上关系R=1，2，2，4，3，3，1，3，则r(R)=_,s(R)= _。4命题公式。的主析取范式为_。5. 若集合=1,2,3,4,5上的等价关系=,，则商集/=_。四、作图及计算题(共15 分)1、（8分）设=3,6,9,15,54,90,135,180，为自然数的整除关系。画出的asse图，并求6,15,90的上、下确界。2、（7分）求命题公式F=的主析取范式和主合取范式。五、证明题（每小题15分，共30 分）1、用命题逻辑推理规则证明下列推理的正确性：如果甲地发生了交通事故，则小张的交通会发生困难。如果小张按指定时间到达了，则他的通行没有发生困难。小张按指定时间到达了。所以甲地没有发生交通事故。2、用谓词逻

人人文库> 全部分类> 行业资料 > 管理策划

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论