全文预览已结束
下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
一、填空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. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 福建省漳州市十校联盟2024-2025学年高一上学期11月期中考试 数学 含解析
- 城乡给排水工程建设安全基础管理、构筑物、作业、设备管理、消防安全、隐患、事故预防技术服务报告模板
- 辽宁省鞍山市海城市某中学2024-2025学年九年级上学期开学考试数学试题(含答案)
- 文书模板-展览会合同书
- 2024年07版小学5年级上册英语第3单元寒假试卷
- 珠宝销售企业要缴哪些税费-记账实操
- 烃 单元复习-2024年高中化学讲义(选择性必修三)
- 2024年水果、坚果加工品项目资金需求报告代可行性研究报告
- 强化理论的运用原理
- 【沪科】期中模拟卷A【21-23章】
- 一年级上册认字闪卡PPT课件
- 教师说课教学 模板PPT (212)
- (高清版)JGJ340-2015建筑地基检测技术规范
- 农产品市场营销培训(共66页).ppt
- 陕西省建筑工程施工通用表格、控制资料 (全套)
- 三年发展规划表
- 公司会议签到表模板
- 美术五年级上册人美版 第15课 造型别致的椅子(课件)(11张PPT)
- 小学二年级下品德与生活我长大了-ppt课件
- CNC保养点检记录表
- 部编版语文三年级上册单元知识点梳理归纳
评论
0/150
提交评论