第1章离散数学命题逻辑要素.pptVIP

数理逻辑概述 逻辑：逻辑是人的一种抽象思维，是人通过概念、判断、推理、论证来理解和区分客观世界的思维过程。 数理逻辑：是用数学方法研究逻辑学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。 数理逻辑的发展：莱布尼兹的设想：能不能创造一种“通用的科学语言”，可以把推理过程象数学一样利用公式来进行计算，从而得出正确的结论。布尔、弗雷格的符号化 数理逻辑的基本内容：命题演算和谓词演算 推论 ：每个X都是Y，一些Z是X，因此一些Z是Y 填入内容：每个传记作者都是作家，有些政治家是传记作者，因此，有些政治家是作家 在上述推理中，论证的合理性与内容无关，而是由一般形式的逻辑正确性来保证的 推论中的X，Y和Z表明了插入语句的位置，在数理逻辑中称为“逻辑变量” 1.6 逻辑表达式在组合电路中的应用 例 P19 [1.18] 楼梯有一盏灯由上下2个开关控制。要求按动任何一个开关都能打开或关闭灯。试设计一个这样的控制电路。 第二步 根据真值表写出逻辑关系的表达式 1.7 推理理论 问题：构造的新命题公式是否符合逻辑呢？即 如何判断结论的有效性？ P21 定义1.20 一、 推理的概念 由一个或若干个命题公式（前提）得到另一个命 题公式（结论）就是推理，即重新构造新命题公式的行为 推理正确不能保证结论正确。只有在推理正确且前提也正确时，才能保证结论正确 二 判断的方法： 例：P22 ［例1.20］ 真值表法 等值演算法 主析取范式法 构造证明法（重点内容） 三 推理定律（8条） P23 四 推理规则（11条） P23 例： ［P23 例1.21］ ［P24 例1.22］ 推理技巧 1.附加前提证明法： 形如（A1 ∧ A2 ∧… Ak） → （A → B）的形式结构可将结论中的前件作为前提，称为附加前提 例：［P25 例1.23］ 2.归谬法： 将结论否定后作为附加前提从而推出矛盾的方法 例：［P25 例1.24］ 作业：P35 1.19 (1)、（2） , 1.20 小结 命题符号化 等值式(24条)与等值演算 主析取范式与主合取范式 推理定律(8条)、推理规则（11条）、推理方法（构造证明法） 题例分析 P26 ［例1.25］ P26［例1.26］ P27 ［例1.28］ P29 ［例1.30 （1）］ P31 ［例1.32］ * * * * * 一般认为， 联结词多一些， 写出逻辑表达式相对容易些．而对计算机来说，因为机器的重复处理能力强，所用的联结词少些为好． 但是在这多与少的关系中， 有一个共同的前提， 那就是要求我们所用的联结词所组成的集合是完备的． 陈述句往往呈现的是一个事实，当然，事实存在真实和不真实两种可能 1.3 等值演算 一 等价公式 定义：设A和B是两个命题公式，如果A、B在其任意赋值下，其真值都是相同的，则称A和B是等价的，或逻辑相等，记作A?B，读作A等价B，称A?B为等价式。 显然，若公式A和B的真值表是相同的，则A和B等价。因此，验证两公式是否等价，只需做出它们的真值表即可。 例：P8 ［例1.8］ 注意：?和?的区别 ?是逻辑联结词，它出现在命题公式中，表示两个命题之间的一种逻辑关系。 ?不是逻辑联结词，表示两个命题公式的一种关系，不属于这两个公式的任何一个公式中的符号。 等价式有下列性质： ① 自反性，即对任意公式A，有A ? A ② 对称性，即对任意公式A和B， 若A ? B，则B ? A ③ 传递性，即对任意公式A、B和C， 若A ? B、B ? C，则A ? C 二 基本等价式——命题定律 给定n（n≥1）个命题变项，按合式公式的形式规则可以形成无穷多个命题公式，但其中只有22n个真值不同的命题公式。见P8 表1-4 在判定公式间是否等价，有一些简单而又经常使用的等价式，称为基本等价式或称命题定律（24个）。牢固地记住它并能熟练运用，是学好数理逻辑的关键之一。 见书P9 三 等值演算（重点内容） 根据已知的等值式推演出另外一些等值式的过程。 1.演算规则：代入规则和替换规则 代入规则： 在一个永真式A中，任何一个原子 命题变元r出现的每一处， 用另一个公式代入，所得公式B仍是永真式。本定理称为代入规则。 置换规则： 设A1是合式公式A的子公式，若 A1?B1，并且将A中的A1用B1 替换得到公式B，则A?B。称该定理为置换规则。 代入和置换有两点区别： ① 代入是对原子命题变元而言的， 而置换可对命题公式实行。 ② 代入必须是处处代入，置换则