baopengjian的专栏

01 命题逻辑的基本概念

图的基本概念

常见符号联结词： ¬ ∧ ∨ → ↔≠ Ø ∈ △希腊字母表Αα阿尔法AlphaΒβ贝塔BetaΓγ伽玛GammaΔbaiδ德尔塔DelteΕε艾普西龙EpsilonΖζ捷塔ZetaΕη依塔EtaΘθ西塔ThetaΙι艾欧塔IotaΚκ喀帕Kappa∧λ拉姆达LambdaΜμ缪MuΝν拗NuΞξ克西XiΟο

一阶逻辑等值式与基本的等值式置换规则、换名规则、代替规则前束范式自然推理系统NL 及其推理规则

离散数学与组合数学汇总文章目录主要内容4.1 一阶逻辑命题符号化谓词量词4.2 一阶逻辑公式及解释一阶语言L 的项与原子公式一阶语言L 的公式封闭的公式公式的解释公式的类型代换实例主要内容一阶逻辑命题符号化个体词、谓词、量词一阶逻辑命题符号化一阶逻辑公式及其解释一阶语言合式公式合式公式的解释永真式、矛盾式、可满足式4.1 一阶逻辑命题符号化个体词——所研究对象中可以独立存在的具体或抽象的客体个体常项：具体的事务，用a, b, c表示个体变项：抽象的事物，用x, y, z表示

推理的形式结构1 推理定律-重言蕴涵式二自然推理系统P推理规则直接证明法、附加前提法、归谬法（反证法）

离散数学与组合数学汇总文章目录主要内容一 等值式等值式基本等值式等值演算与置换规则等值演算的应用举例二 析取范式与合取范式范式的性质极小项与极大项实例主析取范式与主合取范式求公式主范式的步骤实例主范式的应用三 联结词的完备集联结词完备集四 可满足性问题与消解法主要内容等值式与基本的等值式等值演算与置换规则析取范式与合取范式，主析取范式与主合取范式联结词完备集可满足性问题与消解法一 等值式等值式定义2.1 若等价式A↔B是重言式，则称A与B等值，记作A<=>B，并称A&lt

符号：¬ ∨ ∧ → ←→1.1 命题与联结词非真即假的陈述句称作命题。命题的陈述句所表达的判断结果称作命题的真值，真值只取两个值：真 或假。不能被分解成更简单的命题称作简单命题或原子命题。由简单命题通过联结词联结而成的命题，称作复合命题。判断给定句子是否命题：首先判定它是否为陈述句，其次判断它是否有唯一的真值。我正在说假话这种由真能推出假、又由假推出真，从而既不能为真，也不能为假的陈述句称作悖论，悖论不是命题。定义1.1设p为命题，复合命题“非p”（或“p的否定”）称作p

离散数学与组合数学汇总文章目录一 命题逻辑的等值演算和推理演算二 谓词逻辑的等值演算和推理演算三 集合与关系四 图论的基本概念、路与回路五 树、平面图与图的着色六 代数结构七 排列与组合八 母函数与递推关系九 容斥原理和鸽巢原理十 Polya 定理一 命题逻辑的等值演算和推理演算理解并掌握命题逻辑的基本概念,熟练掌握五个常用的命题联结词及其真值表,掌握命题与真值表的关系,以及由简单命题通过联结词构造复合命题的方法。掌握重言式、永假式和可满足公式的区别与判别方法;理解命题形式化的步骤与方法,能够熟

高款数学与组合数学是现代数学的重要分支,是计算机科学的基能理论课程。数理逻辑、集合论、图论与代数结构是离散数学的重要组成部分。要求考生对它们的基本概念有较深入的了解,能够系统地掌握命题演算、请词演算及朴素集合论的经典内容,掌握演绎推理的基本方法。掌据居论的基本定理和应用,熟悉代数系统的基本概念及定理。组合数学部分要求考生掌握各种基本的计数方法,线性常系数递卷关系的解法, Burnside引理和Polya定理的应用,容斥原理和鸽巢原理的应用等。主要内容包括:（一）命题逻辑的等值演算与推理演算.