《数学分析11.ppt

Discrete Math. , DeRen Chen Discrete Math. 离散数学 研究离散对象及其相互间关系的一门数学学科。 研究离散结构的数学分支。（辞海） 离散数学的内容：基础、原理、应用 基础部分: 逻辑(Logic) 集合(Sets) 算法(Algorithms) 数论(Number Theory) 原理部分: 数学推理(Reasoning) 计数原理(Counting) 关系(Relations) 应用部分: 图(Graphs) 树(Trees) 布尔代数(Boolean Algebra) 逻辑（LOGIC）： 1.命题逻辑 Proposition Logic 2.命题演算 Propositional Equivalences 3.谓词和量词 Predicates and Quantifiers （1）命题的概念：定义、逻辑值、 符号化表示 （2）从简单命题到复合命题： 逻辑联接词：运算方法、运算优先级 （3）从命题常量到命题变量， 从复合命题到命题公式： 命题公式的真值描述：真值表 （4）命题公式的分类： 永真公式、永假公式、可满足公式 、一般公式 （5）命题公式的判定、分类与标准化描述 （6）从命题到命题函数：N元谓词、个体、个体变量、个体域 （7）从命题公式到谓词公式：存在量词、全称量词 Table 5 Table 6 判断命题公式逻辑等价的方法： 1、真值表 2、命题公式的演算 基本等值定理； 公式的代入不变性； 等值关系的传递性。 命题公式逻辑等价关系的应用： 1、判定是否逻辑等价； 2、判断是否为永真公式或永假公式； 3、命题公式的化简 命题公式的标准化描述： 表达、分类、判定、应用 文字（literal）/符号（symbol）： 原子命题或其否定 小项（small item）/合取式（ conjunctive form ）: 若干个文字的合取。 大项（large item）/析取式（ disjunctive form ）: 若干个文字的析取。 合取范式（conjunctive normal form): 若干个大项的合取。 析取范式（disjunctive normal form): 若干个小项的析取。 标准句(standard sentence)：合取范式或析取范式 子句（clause）:合取范式中的大项或 析取范式中的小项。 令A（a1、a2、……、an）包含有n个变量的公式， 极小项(extremal ~):小项中恰包含n个变量或其否定。 极大项( extremal ~):大项中恰包含n个变量或其否定。 主合取范式（Unique conjunctive normal form): 若干个极大项的合取。 主析取范式（Unique disjunctive normal form): 若干个极小项的析取。 定理：令A（a1、a2、……、an）包含有n个变量的公式，则有： 1、如果A存在与之等价的主析取范式，则必唯一； 2、如果A存在与之等价的主合取范式，则必唯一； 3、A是永真公式当且仅当与A等价的主析取范式恰有2n个极小项或没有主合取范式； 4、A是永假公式当且仅当与A等价的主合取范式恰有2n个极大项或没有主析取范式； 5、两个命题公式等价当且仅当它们有相同的主合取范式或相同的主析取范式。 DEFINITION . 定义 一个谓词P连同相关的n（n≥0）个个体变量组成的表达式称为n元谓词（n-predicate），记P（x1, x2, …, xn），其中n是该表达式中不同个体变量的数目。n元谓词也称简单命题函数，将简单命题函数视为命题，按1.1.1节定义10得到的递归定义的表达式称为复合命题函数。简单命