全文预览已结束
下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
一、填空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. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 一年级上册数学教学设计-第七单元 认识时钟-人教新课标
- 中班语言公开课教案及教学反思《春雨的色彩》
- 一年级下数学教案-认识图形(二)-人教新课标2014
- 中班体育游戏教案:好玩的圈
- 大班体育游戏活动教案:好玩的沙
- 三年级下册数学导学案- 两位数乘两位数(含答案)人教新课标
- 一年级下册数学教案-5.2人民币的简单计算人教版
- 2024年东莞市无人机研发与销售合同
- 一年级上册数学导学案-2.1.2认识位置-左右|人教新课标
- 2024年企业并购合同收购价格与股权
- 电气工程及其自动化职业规划课件
- 人教版2024七年级上册英语各单元单词短语句型汇编
- 2024年人教版九年级英语单词默写单(微调版)
- 22G101三维彩色立体图集
- 2024届高考专题复习:思辨类作文专题复习
- 人教版小学英语单词表(完整版)
- 【川教版】《生命 生态 安全》四上第11课《预防流感》课件
- 趣味数学—数阵图与幻方
- 网格化管理架构图新
- 石油修井行业套损井检测与修复技术
- 座椅设计参数及其对舒适性的影响
评论
0/150
提交评论