交大离散数学综合复习.pdfVIP

离散数学 王磊 上海交通大学计算机科学与工程系 课程内容  数理逻辑  《数理逻辑与集合论》1、2、4 、5章  图论  《图论与代数结构》1、2、3章 2 命题逻辑 定义  命题是一个非真即假(不可兼)的陈述句  命题变项：P表示任一命题时，P就称为命题变项(变元)．  简单命题不可再分割  复合命题：把一个或几个简单命题用联结词(如与、或、非等) 联结所构成的新的命题  复合命题的真值：依赖于构成该复合命题的各个简单命题 的真值以及联结词 4 内容/ 形式  命题是一个可取真或可取假的陈述句  数理逻辑不关心内容 这些具体的陈述句的真值究竟为什么或在什么 环境下是真还是假  数理逻辑只关心形式 命题可以被赋予真或假这样的可能性，以及规 定了真值后怎样与其他命题发生联系 5 常用的逻辑联结词(五个)  否定词 （negation）“”是个一元联结词，亦称否定符号．  P的真值：P真，则P取假；P假，则P取真  合取词(Conjunction)是个二元命题联结词，亦称合取符号  P  Q的真值：只有P=T, Q=T时，才取真值  析取词(disjunction) “∨”是个二元命题联结词  P∨Q的真值：只有P=F，Q=F时，才取假值  蕴涵词(implication) “”是个二元命题联结词，  如果P则Q，或读作P蕴涵Q  PQ的真值：只有当P为T而Q为F时，PQ = F  双条件词(Biconditional) “”是个二元命题联结词  P  Q的真值：只有P=Q时，取真 6 合式公式(简记为Wff) 的定义 1. 简单命题是合式公式 2. 如果A是合式公式，那么A也是合式公式 3. 如果A 、B是合式公式，那么(A∧B)，(A∨B)，(AB) 和(AB)是合式公式 4. 当且仅当经过有限次地使用1, 2, 3所组成的符号串才 是合式公式  这个定义给出了建立合式公式的一般原则，也给出了 识别一个符号串是否是合式公式的原则  这是递归(归纳)的定义。在定义中使用了所要定义的概 念，如在2和3 中都出现了所要定义的合式公式字样， 其次是定义中规定了初始情形，如1中指明了已知的简 单命题是合式公式。条件4说明了哪些不是合式公式， 而1、2和3说明不了这一点 7 重言式/可满足式/矛盾式  如果一个公式，对于任一解释I其值都为真，就称为重言 式 （永真式）。如P∨P是一个重言式  由∨、∧、和联结的重言式仍是重言式。  一个公式，如在某个解释I 下值为真, 则称它是可满足的。 0 如P∨Q，当取I0 = (T, F)，即P = T, Q = F时便有P∨Q = T, 所以是可满足的  重言式当然是可满足的  矛盾式 （永假式或不可满足式）：如果一个公式，对于任 一解释I值都是假的，便称是矛盾式。如P∧P就是矛盾 式 8 代入规则 