离散数学1(离散数学课件-武汉大学,黄正华).pdf

离数学 第一 命题逻辑 黄 正 华 Email: huangzh@whu.edu.cn 武汉大 与 2006 9 21 黄正华 () 离数学 第一 命题逻辑 2006 9 21 1 / 149 1 其表法 2 结 3 公翻 4 值表 公 5 重 6 其他结 7 范 8 黄正华 () 离数学 第一 命题逻辑 2006 9 21 2 / 149 “” ? 个分支总称, 究 结相互系 主 标, 其究象般 限个或可穷个素. 比, 、组 、. 相, 指分开 、不中值 . 比, 开 v.s. . 黄正华 () 离数学 第一 命题逻辑 2006 9 21 3 / 149 (Mathematical Logic) (Set Theory) 组(Combinatorics) (Graph Theory) (Number Theory) 线(Linear Algebra) 概(Probability Theory) 黄正华 () 离数学 第一 命题逻辑 2006 9 21 4 / 149 参考教材 左, 鑑, 才 科献 出版. 黄正华 () 离数学 第一 命题逻辑 2006 9 21 5 / 149 介 究思 科称. 究象方法各 侧重而分 辨证 黄正华 () 离数学 第一 命题逻辑 2006 9 21 6 / 149 介 究思 科称. 究象方法各 侧重而分 辨证 方法究科. 叫符, 它主工具符系. 把符化, 变成象算算. 黄正华 () 离数学 第一 命题逻辑 2006 9 21 6 / 149 介 究思 科称. 究象方法各 侧重而分 辨证 方法究科. 叫符, 它主工具符系. 把符化, 变成象算算. 本课程中主介. 黄正华 () 离数学 第一 命题逻辑 2006 9 21 6 / 149 —— 个阶 0 Aristotle: (主). 1 初阶: (1660s — 19 ) (Leibniz, George Boole, De Morgan). Leibniz 2 阶: (19 — 1940 前后) . 3 成阶: (1930s — 1970s) 成分支. 黄正华 () 离数学 第一 命题逻辑 2006 9 21 7 / 149 1 其表法 2 结 3 公翻 4 值表 公 5 重 6 其他结 7 范 8 黄正华 () 离数学 第一 命题逻辑 2006 9 21 8 / 149 (propositions or statements) 非陈句. 先判它否陈句; 其判它否值.