离散数学简单复习知识点汇总.pdfVIP

离散数学简单复习知识点汇总 1. 命题是⾮真必假的陈述句。 2. 联结词：与原⼦命题⼀起构成复合命题。 3. 原⼦命题公式：命题常元、命题变元同城为原⼦命题公式，简称原⼦公式。 4. 合式公式是由下列规则形成的字符串： (1) 真值 T 和 F 是合式公式。 (2) 原⼦命题公式是⼀个合式公式。 (3) 若 A 是合式公式，则 ┐A 是合式公式。 (4) 若A和B是合式公式，则A∧B、A∨B、 A→B和A«B都是合式公式。 (5) 经过有限次地使⽤(1)(2)(3)(4)所得到的结果，都是合式公式。 5. 等价式具有以下性质 ·⾃反性：对任意公式A，有AÛA。 ·对称性：对任意公式A 和B，若AÛB，则BÛA。 ·传递性：对任意公式A、B 和C，若AÛB、BÛC，则AÛC。 6. 基本等价式——命题定律 7. 在⼀个永真式A中，任何⼀个原⼦命题变元R出现的每⼀处，⽤另⼀个公式代⼊，所得公式B 仍是永真式。本定理称为代⼊规则。 A A A B A A B B A B 8. 设 1是合式公式 的⼦公式，若 1Û 1，并且将 中的 1⽤ 1 替换，得到公式 ，则 Û 。本定理称为 替换规则。这种替换称为等价替换。 9. 在给定的仅使⽤联结词 ┐、∧和∨的命题公式 A 中，若把∧和∨互换，F 和T 互换⽽得到⼀个命题公式A*， 则称A*为A的对偶式，同时A也是A*的对偶式。A 与A*互为对偶式。 0. 1. 蕴含式性质：⾃反性、传递性 2. 蕴含式的证明⽅法： ·真值表法 ·前件真推导后件真⽅法 设公式的前件A为真，若能推导出后件B也为真，则 条件式 A→B是永真式，故蕴涵式AÞB成⽴ ·后件假推导前件假⽅法 设公式的后件B为假，若能推导出前件A也为假，则 条件式 A→B是永真式，故蕴涵式AÞB成⽴。 . 基本蕴含式： 14. 推理有效是指他的结论是他的前提的合乎逻辑的结果，也即，如果它的前提都为真，那么所得的结论也必然为真，⽽并不是要求前提 或结论⼀定为真或假。 15. 推理规则：P规则——前提的引⼊使⽤、T规则——前⾯已导出的有效结论可作为后续推导的前提引⼊、CP规则——若推出的有效结论 为条件式R-C时，只需将其前件R加⼊到前提中作为附加前提，再去推出后件C即可。 16. 命题逻辑的推理理论：真值表法、演绎法、间接证法 17. 命题逻辑和谓词逻辑的区别（⾃⼰的理解）：⽐如经典的亚⾥⼠多德三段论，就是⼀个⾮常典型的命题逻辑，我们通过分析三个语句 之间的关系，可以推导出结论，但是这种命题之间的关系并不⼀定正确，很容易举出反例。因此命题逻辑在研究推理时显得不那么严 谨和充分，因此我们需要深⼊到命题之中，去寻找命题之中各成分之间的联系。因此，谓词逻辑应运⽽⽣，我们开始通过谓词逻辑来 进⾏命题的推理与分析。 18. 全称量词后跟⼀个条件式，特性谓词作为其前件出现；存在量词后跟⼀个合取式，特性谓词作为⼀个合取项出现。 19. 斯科伦范式：每个存在量词均在全称量词之前，按此规定得到的范式⾏驶，称为斯科伦范式。 20. 全称量词消去规则、存在量词消去规则、存在量词产⽣规则、全称量词产⽣规则 21. 谓词逻辑的归结推理：⼦句集是不可满⾜的，当且仅当S中存在⼀个反驳；谓词逻辑归结推理的⼤概步骤是，⾸先将合式化为前束范 式，接着化为AI斯科伦范式，从⽽得到⼦句集，继⽽求该⼦句集是否存在反驳。 22. 康托尔集合论三⼤公理：外延公理——两个集合中各个元素都相同，则他们相等；抽象公理——任给⼀个性质，都有⼀个满⾜该性质 的客体所组成的集合。（实际上这个公理是不严谨的，后来出现了罗素悖论） ；选择公理。为了解决罗素悖论，提出了⼦集公理。 23. 包含关系是⾃反的，反对称的和可传递的，具有这三种性质的关系称为偏序关系； 24. 真⼦集的性质 ：⾮⾃反的、⾮对称的、传递的。 25. 偶集公理和联集公理类似于并集和交集的概念。 26. 关系是⼀个由有序对作为成员构成的集合。 27. 等价关系是⾃反的、传递的、对称的。区别于偏序关系，注意⼀下。 28. 单射，满射和双射 （⼀⼀对应） 29. 极⼤元和极⼩元，是对特定的集合的⼦集⽽⾔的，