离散数学 耿素云第5版11 2.pptVIP

1 离散数学 2 主要内容 ? 数理逻辑 ? 集合论 ? 图论 ? 组合分析初步 ? 代数系统简介 ? 形式语言和自动机初步 3 教材与教学参考书 ? 教材： ? 耿素云、屈婉玲、张立昂，离散数学（第五 版），清华大学出版社 , 2013. ? 教学参考书： ? 屈婉玲、耿素云、张立昂，离散数学题解（第 五版），清华大学出版社， 2013. 4 数理逻辑部分 ? 第 1 章 命题逻辑 ? 第 2 章 一阶逻辑 5 第 1 章 命题逻辑 1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 范式 1.5 联结词全功能集 1.6 组合电路 1.7 推理理论 6 1.1 命题符号化及联结词 ? 命题与真值 ? 原子命题 ? 复合命题 ? 命题常项 ? 命题变项 ? 联结词 7 命题与真值 命题 : 判断结果惟一的陈述句 命题的真值 : 判断的结果 真值的取值 : 真与假 真命题 : 真值为真的命题 假命题 : 真值为假的命题 注意 : 感叹句、祈使句、疑问句都不是命题 陈述句中的悖论以及判断结果不惟一确定的也不是 命题 8 例 下列句子中那些是命题？ (1) 是无理数 . (2) 2 + 5 ＝ 8. (3) x + 5 ＞ 3. (4) 你有铅笔吗？ (5) 这只兔子跑得真快呀！ (6) 请不要讲话！ (7) 我正在说谎话 . 真命题 假命题 真值不确定 疑问句 感叹句 祈使句 悖论 (3)~(7) 都不是命题 2 9 命题的分类 简单命题 ( 原子命题 ) ： 简单陈述句构成的命题 复合命题 ： 由简单命题与联结词按一定规则复合 而成的命题 10 简单命题符号化 2 用小写英文字母 p, q, r, … , p i , q i , r i ( i ≥ 1 ）表示 简单命题 用“ 1 ” 表示真，用“ 0 ” 表示假 例如，令 p ： 是有理数，则 p 的真值为 0 q ： 2 + 5 = 7 ，则 q 的真值为 1 11 联结词与复合命题 1. 否定式与否定联结词“ ? ” 定义 设 p 为命题，复合命题 “非 p ”( 或 “ p 的否定” ) 称 为 p 的 否定式 ，记作 ? p . 符号 ? 称作 否定联结词 ，并规 定 ? p 为真当且仅当 p 为假 . 2. 合取式与合取联结词“∧” 定义 设 p , q 为二命题 , 复合命题“ p 并且 q ” ( 或“ p 与 q ” ) 称 为 p 与 q 的 合取式 ，记作 p ∧ q . ∧称作 合取联结词 ，并规 定 p ∧ q 为真当且仅当 p 与 q 同时为真 注意：描述合取式的灵活性与多样性 分清简单命题与复合命题 12 例 将下列命题符号化 . (1) 王晓既用功又聪明 . (2) 王晓不仅聪明，而且用功 . (3) 王晓虽然聪明，但不用功 . (4) 张辉与王丽都是三好生 . (5) 张辉与王丽是同学 . 解 令 p ：王晓用功， q ：王晓聪明，则 (1) p ∧ q (2) p ∧ q (3) p ∧ ? q . 13 例 ( 续 ) 令 r : 张辉是三好学生， s : 王丽是三好学生 (4) r ∧ s . (5) 令 t : 张辉与王丽是同学， t 是简单命题 . 说明 : (1)~(4) 说明描述合取式的灵活性与多样性 . (5) 中“与”联结的是两个名词，整个句子是 一个简单命题 . 14 联结词与复合命题 ( 续 ) 定义 设 p,q 为二命题，复合命题“ p 或 q ”称作