11 离散数学(精品·公开课件).pptVIP

离散数学 主要内容 数理逻辑 集合论 代数结构 图论 组合分析初步 形式语言和自动机初步 教材与教学参考书 教材： 耿素云、屈婉玲、张立昂，离散数学（第四版），清华大学出版社, 2008. 教学参考书： 屈婉玲、耿素云、张立昂，离散数学题解（第三版），清华大学出版社，2008. 数理逻辑部分 第1章 命题逻辑 第2章 一阶逻辑 第1章 命题逻辑 1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论 1.1 命题符号化及联结词 命题与真值 原子命题 复合命题 命题常项 命题变项 联结词 例 下列句子中那些是命题？ (1) 是无理数. (2) 2 + 5 ＝8. (3) x + 5 ＞ 3. (4) 你有铅笔吗？ (5) 这只兔子跑得真快呀！ (6) 请不要讲话！ (7) 我正在说谎话. 联结词与复合命题 联结词与复合命题(续) 定义 设 p,q为二命题，复合命题“p或q”称作p与q 的析取式，记作p∨q. ∨称作析取联结词，并规 定p∨q为假当且仅当p与q同时为假. 联结词与复合命题(续) 定义 设 p,q为二命题，复合命题 “如果p,则q” 称作p与q的蕴涵