防灾科技学院《离散数学》2017-2018第一学期期末试卷_第1页
防灾科技学院《离散数学》2017-2018第一学期期末试卷_第2页
防灾科技学院《离散数学》2017-2018第一学期期末试卷_第3页
防灾科技学院《离散数学》2017-2018第一学期期末试卷_第4页
防灾科技学院《离散数学》2017-2018第一学期期末试卷_第5页
全文预览已结束

下载本文档

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

文档简介

第1页,共3页一、填空题(每空2分,共44分)一、填空题(每空2分,共44分) 题号二三四总分阅卷人PQ0010110111答:(填“是”或“否”)7、设谓词公式P(x,y),满足如下指派I:1010根据如上取值,确定下列各式的真值:9、设全集U={1,2,3,4,5,6,7,8,9,10},A={1,2,4,5,6},B={2,4,6,8,10},p(A)=。11、请说出以下二元关系是否满足自反性、反自反性、对称性、反对称性和传递性。°B°cAAACBC二、在全总个体域中,用谓词和量词将下列命题符号化。(每题3分,共12分)1、小张不是研究生。2、不是所有的哺乳动物都是胎生的。3、某些药对某些病有作用。4、有的汽车比所有的火车快。1、(10分)构造命题公式-P√(Q入(P→Q))的真值表,并由此写出它的主析取范式和主合取范式。第3页,共3页2、(12分)设集合A={a,b,c},R,S是A上的两个二元关系。其中R={<a,a>,<a,b>,<b,b>,<c,a>},3、(8分)某班有30个学生,其中16个人选择艺术,8个人选择生物,6个人选择音乐,三门课都选的有2人,问这三门课都没选的至少有多少人?四、证明题(每题7分,共14分)1、在命题逻辑中,构造一个证明过程来证明以下推理是成立的:如果天气晴朗,并且没有考试,则他们今天就外出郊游;今天他们没有外出郊游,而且

温馨提示

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

评论

0/150

提交评论