离散数学小测试题及答案.doc_第1页
离散数学小测试题及答案.doc_第2页
离散数学小测试题及答案.doc_第3页
离散数学小测试题及答案.doc_第4页
离散数学小测试题及答案.doc_第5页
全文预览已结束

下载本文档

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

文档简介

一、填空1设 (N:自然数集,E+ 正偶数) 则 0,1,2,3,4,6; 。2A,B,C表示三个集合,文图中阴影部分的集合表达式为 A B C 。3设P,Q 的真值为0,R,S的真值为1,则的真值= 1 。4公式的主合取范式为 。5若解释I的论域D仅包含一个元素,则 在I下真值为 , , , 。6. P:你努力,Q:你失败。“除非你努力,否则你将失败”的翻译为 ; ;“虽然你努力了,但还是失败了”的翻译为 。7.论域D=1,2,指定谓词PP (1,1)P (1,2)P (2,1)P (2,2)TTFF则公式真值为 T 。二、选择 1、下列是真命题的有(C D)A ; B;C ; D 。2、下列集合中相等的有(B、C ) A4,3;B,3,4;C4,3,3;D 3,4。3、设全集U是实数集R,则图中阴影部分所表示的集合是(C ). A. B.C. D.4、在下述公式中是重言式为( B、D )A;B;C; D。5、命题公式 中极小项的个数为(D ),成真赋值的个数为( D )。A0; B1; C2; D3 。6、给定推理PP推理过程中错在( C )。A、-; B、-; C、-; D、-; E、-三、逻辑判断 1. 用等值演算法和真值表法判断公式的类型。答案:(1)等值演算法(2)真值表法P QA1 1111111 0010010 1100010 011111所以A为重言式。2.下列问题,若成立请证明,若不成立请举出反例:(1) 已知,问成立吗?(2) 已知,问成立吗?答案:(1)不成立。若取但A与B不一定等价,可为任意不等价的公式。(2)成立。 证明:即:所以故 。四、计算1、 设命题A1,A2的真值为1,A3,A4真值为0,求命题的真值。解:2、 利用主析取范式,求公式的类型。解:它无成真赋值,所以为矛盾式。五、逻辑推演 用推理规则证明下题(每小题 8分)1、证明(附加前提)PCP2、证明 P(附加前提)P3.符号化语句:

温馨提示

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

评论

0/150

提交评论