离散数学-复习和例题讲解.pptVIP

温 故 而 知 新 ! 数理逻辑 数理逻辑研究内容 熟练掌握将简单自然语句形式化的方法。 熟悉基本的等值公式，对于常用的等值公式，能在理解的基础上熟记并能在等值演算中灵活使用； 理解范式的概念深入理解主析取范式和主合取范式的构成，能够将命题公式熟练的化成相应的主析取范式和主合取范式； 理解推理形式的基本结构，掌握重言蕴涵的概念和主要结果；熟悉基本的推理公式，掌握推理公式的不同证明方法；理解基本的推理规则，掌握使用推理规则进行推理演算的方法； 重点解决使用谓词逻辑描述自然语句的表达问题，能够熟练的将一些自然语句进行形式化描述； 理解谓词逻辑公式等值的概念，掌握否定型等值式的不同形式及其证明方法； 熟悉谓词逻辑的基本推理公式，能够给出解释性的证明和其它推理公式正确性的判断； 理解谓词逻辑有关量词的四条推理规则，掌握使用推理规则进行推理演算的方法； 命题逻辑 命题逻辑也称命题演算，或语句逻辑。它研究以命题为基本单位构成的前提和结论之间的可推导关系，研究什么是命题？如何表示命题？如何由一组前提推导一些结论？ 命题逻辑的特征： 在研究逻辑的形式时，我们把一个命题只分析到其中所含的命题成份为止，不再分析下去。不把一个简单命题再分析为非命题的集合，不把谓词和量词等非命题成份分析出来。 命题的分类 具有确切真值的陈述句称为命题 明年国庆节是晴天。 地球外的星球上也有人 １＋１＝１０。 x+y０。 一般来说，命题可分两种类型： 原子命题(简单命题)：不能再分解为更为简单命题的命题。 复合命题：可以分解为更为简单命题的命题。而且这些简单命题之间是通过如“或者”、“并且”、“不”、“如果...则...”、“当且仅当”等这样的关联词和标点符号复合而构成一个复合命题。 命题联结词 一些重要的全功能联结词集合 ｛┐，∨｝,｛┐，∧｝可以构成功能联结词集合。使用上述全功能联结词集合表达的命题公式类的系统常称为Boole代数系统 ｛┐，→｝也可构成全功能联结词集合。该全功能联结词集合在研究逻辑系统的演绎与推理，以及在程序系统的研究中经常遇到。 ｛↑｝,｛↓｝是全功能联结词集合。在大规模集成电路中有广泛的应用。 单个命题变元和命题常元叫原子公式 定义 (命题公式)简称公式 单个原子公式本身是一个命题公式； 如P是公式，则(┐P)也是命题公式； 如P，Q是公式，则(P∧Q)、(P∨Q)、(P→Q)、(P?Q)也是命题公式； 命题公式仅由有限步使用规则1-3后产生的结果。该公式常用符号G、H、…等表示。 公式G1称为永真公式(重言式)，如果在它的所有解释之下都为“真”。 设A: A(P1, P2, …, Pn), B: B(P1, P2,…, Pn)是两个命题公式, 这里Pi(i=1, 2, …, n)不一定在两公式中同时出现。 恒等式如果A ? B是重言式, 则A与B对任何指派都有相同的真值。 记为A=B, 叫做逻辑恒等式, 读做“A恒等于B”。 恒等式的记忆 牌 输 毛 立 等 运 归 “ ” 与“?”的区别 　首先，双条件词“?”是一种逻辑联结词，公式G?H是命题公式，其中“?”是一种逻辑运算，G?H的结果仍是一个命题公式。而逻辑等价“ ”则是描述了两个公式G与H之间的一种逻辑等价关系，G H表示“命题公式G等价于命题公式H”，G H 的结果不是命题公式。 其次，如果要求用计算机来判断命题公式G、H是否逻辑等价，即G H那是办不到的，然而计算机却可“计算”公式G?H是否是永真公式。 “?”与“→”的区别 “→”仅是一般的蕴涵联结词，G→H的结果仍是一个公式，而“?”却描述了两个公式G，H之间的一种逻辑蕴涵关系，G?H的“结果”，是非命题公式； 用计算机来判断G?H是办不到的，然而计算机却可“计算”公式G→H是否为永真公式。 (代入规则) (Rule of Substitution) 一重言式中某个命题变元出现的每一处均代入以同一公式后, 所得的仍是重言式。这条规则之所以正确是由于重言式之值不依赖于变元的值的缘故。 范式 1.3.1 析取范式和合取范式 结论 单个的命题变元和一些命题变元的否定是一个基本和、基本积、析取范式、合取范式。 单个的基本和是合取范式、若省略最外层括号，单个的基本和也是析取范式 单个的基本积是析取范式,若省略最外层括号，单个的基本积也是合取范式 析取范式、合取范式仅含联结词┐、∧、∨，且┐仅出现在命题变元前。 求一个命题公式的范式步骤如下： （1）利用等价公式中的等价式和蕴涵式将公式中的→、?用联结词┐、∧、∨来取代； （2）利用德?摩根定律将否定号┐移到各个命题变元的前端； （3）利用结合律、分配律、吸收律、等幂律、交换律等将公式化成其等价的析取范式和合取