[小学教育]第一章离散数学.pptVIP

小结 命题符号化 等值式(24条)与等值演算 主析取范式与主合取范式 推理定律(8条)、推理规则（11条）、推理方法（真值表法和构造证明法） 题例分析 P26 ［例1.24］ P28［例1.26］ P29 ［例1.28］ P30 ［例1.29 （1）］ P32 ［例1.31］ P28 ［例1.27］ * * * * * 一般认为， 联结词多一些， 写出逻辑表达式相对容易些．而对计算机来说，因为机器的重复处理能力强，所用的联结词少些为好． 但是在这多与少的关系中， 有一个共同的前提， 那就是要求我们所用的联结词所组成的集合是完备的． 陈述句往往呈现的是一个事实，当然，事实存在真实和不真实两种可能 等价式有下列性质： ① 自反性，即对任意公式A，有A ? A ② 对称性，即对任意公式A和B， 若A ? B，则B ? A ③ 传递性，即对任意公式A、B和C， 若A ? B、B ? C，则A ? C 二 基本等价式——命题定律 在判定公式间是否等价，有一些简单而又经常使用的等价式，称为基本等价式或称命题定律（24个）。牢固地记住它并能熟练运用，是学好数理逻辑的关键之一。 见书P9 三 等值演算（重点内容） 根据已知的等值式推演出另外一些等值式的过程。 1.演算规则：代入规则和替换规则 代入规则： 在一个永真式A中，任何一个原子 命题