[工学]《离散数学》教案.pptVIP

离 散 数 学（第三版）电 子 教 案 中山大学 公共卫生学院 流统系 何穗智 邓卓燊 曾百乐 编著 选用教材 第 1 章 第 2 章 第 3 章 退出 第 1 章 命 题 逻 辑 1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论 1.7 题例分析 1.1 命题符号化及联结词 例 1.1 判断下列句子中那些是命题. 例 1.2 将下列命题符号化. 定义 1.1 定义 1.2 例 1.3 将下列命题符号化. 定义 1.3 定义 1.4 例 1.4 将下列命题符号化. 例 1.5 分析下列各命题的真值. 联结词将各种各样的复合命题符号化. 例1.6 将下列命题符号化. 1.2 命题公式及分类 定义 1.6 定义 1.7 续 定义 1.8 例 1.7 求下列命题公式的真值表. 定义 1.9 1.3 等值演算 定义 1.10 例 1.8 判断下列命题公式是否等值. 24个重要的等值式 续 续 例 1.9 验证下列等值式. 例 1.10 判別下列公式的类型. 例 1.11 用等值演算法解决下面问题. 1.4 联结词全功能集 定义 1.11 定义 1.12 定义 1.13 定义 1.14 定义 1.15 定义 1.16 例 1.12 例 1.13 1.5 对 偶 与 范 式 定义 1.17 定理 1.2 例如, 定理 1.3 定义 1.18 定义 1.19 析取范式与合取范式有下列性质： 定理 1.4 (范式存在定理) 例 1.14 定义 1.20 定义 1.21 定理 1.5 求给定命题公式A的主析取范式的步骤如下: 例 1.15 例 1.16 例 1.17 定义 1.22 定义 1.23 例 1.18 由A的主析取范式求主合取范式的步骤为: 1.6 推 理 理 论 定义 1.24 例 1.19 例 1.20 例 1.21 在使用构造证明法来进行推理时,采用的技巧: 例 1.22 例 1.23 1.7 题 例 分 析 例 1.24 例 1.25 例 1.26 供选择的答案 例 1.27 例 1.28 供选择的答案： ( 见书上 P.28 ) 例 1.29 求下列各复合命题的真值： 例 1.30 例 1.31 例 1.32 第2章 一 阶 逻 辑 2.1 一阶逻辑基本概念 2.2 一阶逻辑合式公式及解释 2.3 一阶逻辑等值式 2.4 一阶逻辑推理理论 2.5 题例分析 2.1 一阶逻辑基本概念 个体词： 谓词： 个体常项： 个体变项： 个体域(或论域)： 全总个体域： 谓词常项： 谓词变项： 元数： n 元谓词： 0 元谓词： 例 2.1 量词： 全称量词： 存在量词： 特性谓词： 例 2.2 要求: 例 2.3 要求: 例 2.4 例 2.5 2.2 一阶逻辑合式公式及解释 定义 2.1 定义 2.2 元语言符号： 对象语言： 定义 2.3 定义 2.4 定义 2.5 例 2.6 定义 2.6 例如 定义 2.7 例 2.7 例 2.8 定义 2.8 定义 2.9 例 2.9 2.3 一阶逻辑等值式 定义 2.10 定理 2.2 定理 2.3 例 2.10 证明 定理 2.4 定义 2.11 例如 例 2.11 2.4 一阶逻辑推理理论 定理 2.5 1. 全称量词消去规则（简称UI规则） 两式成立的条件是： 2. 全称量词引入规则（简称UG规则） ③式的成立, 要求以下条件： 3. 存在量词引入规则（简称EG规则） ④式的成立, 要求以下条件： 4. 存在量词消去规则（简称EI规则） ⑤式的成立, 要求以下条件： 例 2.12 例 2.13 例 2.14 构造下面推理的证明. 注意: 2.5 题 例 分 析 例 2.15 供选择的答案 A、B: C、D: 例 2.16 给定解释 I 如下: 给定下面各公式: 供选择的答案 例 2.17 给定下面谓词公式: 供选择的答案 例 2.18 给定下面两个推理 . 供选择的答案 例 2.19 例 2.20 例 2.21 在合式公式 和 中,称 x为指导变项,称A为相应量词的 辖域.在辖域中, X的所有出现称 为约束出现 (即 X受相应量词指 导变项的约束 ) , A 中不是约束出现的其他变项的出现称为自由出现. 指出下列各合式公式中的指导变 项,量词的辖域,个体变项的自由出现和约束出现. 设 A为任一