离散数学数理逻辑部分综合考试辅导 .docx

《离散数学数理逻辑部分综合考试辅导 .docx》由会员分享，可在线阅读，更多相关《离散数学数理逻辑部分综合考试辅导 .docx（10页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、精品名师归纳总结离散数学数理规律部分综合练习辅导本次活动（ 2021.12.17）是本学期的第三次活动，主要是针对第三单元数理规律的重点学习内容进行辅导， 方式仍是通过讲解一些典型的综合练习题目，帮忙大家进一步懂得和把握数理规律的基本概念和方法数理规律作为离散数学的一部分，主要介绍命题规律和谓词规律命题规律部分的主要内容：命题及其表示法、联结词、命题公式与翻译、真值表与等价公式、重言式与包蕴式、范式、推理理论等。谓词规律部分的主要内容： 谓词及其表示法、命题函数与量词、谓词公式与翻译、变元约束、谓词演算的等价式与包蕴式、前束范式、谓词演算的推理理论等。本次综合练习主要是复习这一部分的主要概念与

2、运算方法，与前两个单元不同的是，这一部分除了有单项挑选题、填空题，判定说明题、运算题、证明题等五种题型外，仍要增加一种 公式翻译题 ，这种题型也是期末考试题型的一种， 因此期望同学们要熟识全部的题型， 使我们在考试中能够顺当的解答题目， 获得好成果。下面按题型分别讲解。一、单项挑选题1. 设 P：我将去市里， Q：我有时间 命题“我将去市里， 仅当我有时间时”符号化为 可编辑资料 - - - 欢迎下载精品名师归纳总结A. QP正确答案： BB. PQC. PQD. PQ可编辑资料 - - - 欢迎下载精品名师归纳总结由于语句“仅当我有时间时”是“我将去市里”的必要条件，所以答案B是正确的。问：

3、 假如把“我将去市里”改成“我将去打球”、“我将去旅行”等，会符号化吗？可编辑资料 - - - 欢迎下载精品名师归纳总结2. 设命题公式 G： P别是 QR ,就使公式 G 取真值为 1 的 P，Q，R 赋值分可编辑资料 - - - 欢迎下载精品名师归纳总结A0, 0, 0B0, 0, 1C0, 1, 0D1, 0, 0正确答案： D由教材 162 页的条件联结词“”运算的真值表可知，当 P 取真值时， P 取假值，就无论后件 Q R 取真值仍是假值，结果都是真的。因此答案 D 是正确的。3. 以下公式 为重言式A P P QQBBA BA A BCPQPPPQDABA B正确答案： C由于：

4、PPQPPQPP QPPQPQPPQPPQP可编辑资料 - - - 欢迎下载精品名师归纳总结所以， C 是重言式4. 命题公式 PQ 的主析取范式是 可编辑资料 - - - 欢迎下载精品名师归纳总结A. PQ正确答案： AB. PQC. PQD. PQ可编辑资料 - - - 欢迎下载精品名师归纳总结复习主析取范式的定义：定义 6.6.5 对于给定的命题变元，假如有一个等价公式，它仅仅有小项的析取组成，就该等价式称为原式的 主析取范式 而小项的定义是：定义 6.6.4n 个命题变元的合取式， 称为布尔合取 或小项，其中每个变元与它的否定不能同时存在，但两者必需显现且仅显现一次由此可知，答案 C

5、和 D 是错的。又由于PQ PQPQ所以，答案 A 是正确的。5. 设 Cx: x 是国家级运动员， Gx: x 是健壮的，就命题“没有一个国家级运动员不是健壮的”可符号化为可编辑资料 - - - 欢迎下载精品名师归纳总结A. xC xC. xC xG xG xB. xC xD. xC xG xGx可编辑资料 - - - 欢迎下载精品名师归纳总结正确答案： D由题设知道， CxG x表示国家级运动员不是健壮的，而“没有一个” 就是“不存在一个”，因此用存在量词的否定，即x，得到公式 D。假如把命题改为 :“不是全部人都是运动员” ,你会符号化吗 .可编辑资料 - - - 欢迎下载精品名师归纳总

6、结6. 表达式xP x, yQ zyR x, yzQ z 中 x 的辖域是 可编辑资料 - - - 欢迎下载精品名师归纳总结APx, yBPx, yQzCRx, yDPx, y Rx, y正确答案： B所谓辖域是指 “紧接于量词之后最小的子公式称为量词的辖域” 那么看题中紧接于量词 x 之后最小的子公式是什么了？明显是 Px, y Qz，因此，答案B 是正确的。可编辑资料 - - - 欢迎下载精品名师归纳总结二、填空题1. 命题公式 P应当填写： 1QP的真值是可编辑资料 - - - 欢迎下载精品名师归纳总结由于 PQPP Q P1，所以应当填写： 1。可编辑资料 - - - 欢迎下载精品名师

7、归纳总结2. 设 P：他生病了， Q：他出差了 R：我同意他不参与学习 .就命题“如 果他生病或出差了， 我就同意他不参与学习” 符号化的结果为 应当填写： P QR一般的，当语句是由“假如, ,，那么, ”，或“如 , ，就, ”组成， 它的符号化用条件联结词3. 含有三个命题变项 P， Q， R 的命题公式 P Q 的主析取范式是应当填写： P Q RP QR可编辑资料 - - - 欢迎下载精品名师归纳总结关于主析取范式的定义， 在单项题的第 4 题已经复习了，由小项的定义知道， 命题公式 P Q 中缺少命题变项 R 与它的否定，因此，应当补上，即P QP QRRP QRP QR得到命题公

8、式 P Q 的主析取范式。4. 设 Fx： x 是鸟， Gx：x 会翱翔就命题“鸟会飞”符号化为应当填写： xFxGx留意，一般情形下，谓词规律中命题符号化时，使用全称量词，特性谓词后用 。使用存在量词 ，特性谓词后用 可编辑资料 - - - 欢迎下载精品名师归纳总结5. 设个体域 D=1,2, 那么谓词公式为应当填写： A1A2B1B2xA xyB y 消去量词后的等值式可编辑资料 - - - 欢迎下载精品名师归纳总结由于在有限个体域下，排除量词的规章为：设D a1, a2, , an ，就可编辑资料 - - - 欢迎下载精品名师归纳总结xAxxA xAa1Aa1 Aa2 Aa2 .AanA

9、 an 可编辑资料 - - - 欢迎下载精品名师归纳总结所以，应当填写： A1A2B1B2假如个体域 D= a, b, c,怎么做.6. 谓词命题公式 xPxQxRx，y中的约束变元为 应当填写： x由于约束变元就是受相应的量词约束的变元，在公式xPxQxRx， y中， x 是受全称量词 约束的变元所以应当填写： x。问:公式中的自由变元是什么 .三、公式翻译题1请将语句“今日不是天晴”翻译成命题公式 解：设 P：今日是天晴 。命题公式为：P 2请将语句“我去书店，仅当天不下雨”翻译成命题公式 解：设 P：我去书店， Q：天不下雨，命题公式为： PQ3请将语句 “有人不去工作”翻译成谓词公式

10、解：设 Px： x 是人， Qx：x 去工作，谓词公式为： xPxQx假如语句是“全部人都不去上课” ,那么谓词公式应当怎样了 . 4请将语句“全部人都努力工作”翻译成谓词公式 解：设 Px： x 是人， Qx：x 努力工作可编辑资料 - - - 欢迎下载精品名师归纳总结谓词公式为： xPxQx四、判定说明题（ 判定以下各题，并说明理由）可编辑资料 - - - 欢迎下载精品名师归纳总结1. 命题公式 Q解： 正确P) P 为永假式可编辑资料 - - - 欢迎下载精品名师归纳总结由于，由真值表PQQP QP QPP00100010101010011100可知，该命题公式为永假式2. 下面的推理是

11、否正确，请赐予说明1xAxxBx前提引入2 Ay ByUS 1解： 错推理过程应为：(1) xAxxBx前提引入(2) xAxuBuT1（换名规章）3x uAx BuT24xAx ByES35 Ay ByUS 4假如把原题中的推理过程改为1xAxBx前提引入2Ay ByUS 1更好些。这个推理的第 2 步也是错的，正确的应当是：AyBz，由于约束变元与自由变元不能混淆。可编辑资料 - - - 欢迎下载精品名师归纳总结五运算题1（ 1）求命题公式PQ) PQ 的主析取范式、主合取范式。可编辑资料 - - - 欢迎下载精品名师归纳总结解：（ 1）P P P P PQ P Q P QQ QQ PQQ

12、 PQ P PPPQP QP P主析取范式 QQPQQQQ（2）求该命题公式的成假赋值可编辑资料 - - - 欢迎下载精品名师归纳总结 PQPQPQ主合取范式 可编辑资料 - - - 欢迎下载精品名师归纳总结（2）由于命题公式的成真赋值是 1, 0，所以它的成假赋值是 0, 0， 0, 1， 1, 12. 求公式 PQR 的析取、合取、主析取、主合取范式可编辑资料 - - - 欢迎下载精品名师归纳总结解： PQRPQRPQR PQR（析取、合取、主合取范式）可编辑资料 - - - 欢迎下载精品名师归纳总结 P QQRR P P Q R R PPQQR P Q RP Q RPQ RPQRP QR

13、P QRPQR（主析取范式）问: 公式 PQR 的析取、合取、主析取、主合取范式 .可编辑资料 - - - 欢迎下载精品名师归纳总结3. 设谓词公式xP x, yzQ y, x, zyR y, zF y 试可编辑资料 - - - 欢迎下载精品名师归纳总结（1） 写出量词的辖域。（2） 指出该公式的自由变元和约束变元可编辑资料 - - - 欢迎下载精品名师归纳总结解:（1） x 量词的辖域为Px, yzQ y, x, z ，可编辑资料 - - - 欢迎下载精品名师归纳总结z 量词的辖域为y 量词的辖域为Q y, x, z ,R y, z 可编辑资料 - - - 欢迎下载精品名师归纳总结（2）自由

14、变元为P x, yzQ y, x, z 与F y 中的 y，以及R y, z 中的 z可编辑资料 - - - 欢迎下载精品名师归纳总结约束变元为的 yP x, yzQ y, x, z 中的 x 与Q y, x, z 中的 z，以及R y, z 中可编辑资料 - - - 欢迎下载精品名师归纳总结六、证明 题1试证明命题公式证：PQRP P QQRP QP QP Q 与RRP（PP QQQ）等价PPQQP QRP QP Q P Q P QRP Q（吸取律）PQ（摩根律）2试证明xAxxBxxAx Bx分析： 前提： xAxxBx 结论：xAx Bx证：1xAxP2 AaUS13xBxP4 BaUS

15、35 AaBaT2,4 I6xAx BxUG5可编辑资料 - - - 欢迎下载精品名师归纳总结下面对本课程的考核做一些说明。考核对象：本课程的考核是中心广播电视高校开放训练本科电气信息类运算机科学与技术专业的同学考核依据： 以本课程的教学大纲（ 2007 年 6 月审定） 和指定的参考教材为依据制定的 本课程指定的参考教材是李伟生主编的、 中心广播电视高校出版社出版的离散数学考核方式：本课程的考核实行形成性考核和终结性考核相结合的方式其中终结性考核采纳半开卷、笔试方式，试卷满分100 分半开卷考试答应考生携带指定的一张专用A4 纸（统一印制），考生可以将自己对全课程学习内容的总结归纳写在这张A

16、4 纸上带入考场，作为答卷时参考考试时间： 90 分钟试题类型及结构：单项挑选题的分数占15，填空题的分数占 15，公式翻译题的分数占 12，判定说明题的分数占 14，运算题的分数占 36。证明题的分数占 8单项挑选题和填空题主要涉及基本概念、基本理论、重要性质和结论、公式及其简洁运算 单项挑选题给出四个备选答案， 其一是正确选项 填空题只需填写正确结论，不写运算、 推论过程或理由 规律公式翻译题主要是利用命题规律和谓词规律的基本概念及命题联结词、谓词量词， 将一个陈述句翻译成命题公式或谓词公式 判定说明题是对给定的一个命题或结论作出对与错的判定，并给出简洁的说明 运算题主要考核同学的基本运算技能和速度，要求写出化简、运算过程证明题主要考查应用概念、性质、定理及重要结论进行规律推理的才能，要求写出推理过程。可编辑资料 - - - 欢迎下载