西安电子科技大学引言软件学院课程：离散数学主讲：黄健斌
西安电子科技大学 引言 软件学院 主讲：黄健斌 课程：离散数学
西安电子科技大学离散数学软件学院主讲：黄健斌学时：38V12数理逻辑7集合与关系12布尔代数2图论→12
西安电子科技大学 离散数学 软件学院 主讲：黄健斌 学时：38 数理逻辑 集合与关系 布尔代数 图论 12 12 12 2
西安电子科技大学离散数学软件学院B学习对象：各种离散量的结构及之间的关系。这些离散量一般是有限或可数个元素。9学习内容：涉及面广，主要有：命题逻辑、谓词逻辑、集合、关系、函数、布尔代数、图后继课程：数据结构、高级语言程序设计、操作系统、数据库原理、数字逻辑设计、编译原理等
西安电子科技大学 离散数学 软件学院 学习对象：各种离散量的结构及之间的关系。 这些离散量一般是有限或可数个元素。 学习内容：涉及面广，主要有： 命题逻辑、谓词逻辑、集合、关系、函数、 布尔代数、图 后继课程：数据结构、高级语言程序设计、操作系统、 数据库原理、数字逻辑设计、编译原理等
西安电子科技大学离散数学软件学院学习自标：提高抽象思维和逻辑推理能力学习方法：(1)理解基本定义和概念2掌握基本定理的内涵：3③掌握基本的证明方法：4通过作业和练寸掌握基本的解题方法和技巧启发思维5)熟能生巧、触类旁通，培养解决实际问题的能力！
西安电子科技大学 离散数学 软件学院 学习目标：提高抽象思维和逻辑推理能力 学习方法： (1)理解基本定义和概念; (2)掌握基本定理的内涵; (3)掌握基本的证明方法； (4)通过作业和练习掌握基本的解题方法和技巧，启发思维！ (5)熟能生巧、触类旁通，培养解决实际问题的能力！
西安电子科技大学离散数学软件学院教材：《离散数学》左孝凌等编著商散数学上海科技文献出版社，1982参考资料：OAS质政数学1」《离散数学精讲·精解·精练》黄健斌编著西安电子科技大学出版社，2006.01[2]《离散数学》傅彦等。机械工业出版社，2004.08[3]离散数学国家级精品课程网站.傅彦等。电子科技大学http://202.115.21.138/wlxt/jingpin.asp?courseid=0031
西安电子科技大学 离散数学 软件学院 教材:《离散数学》左孝凌等编著 上海科技文献出版社，1982 参考资料： [1]《离散数学 精讲∙精解∙精练》黄健斌编著 西安电子科技大学出版社，2006.01 [2] 《离散数学》傅彦等. 机械工业出版社，2004.08 [3] 离散数学国家级精品课程网站. 傅彦等. 电子科技大学 http://202.115.21.138/wlxt/jingpin.asp?courseid=0031
西安电子科技大学离散数学软件学院家第一篇数理逻辑第1章命题逻辑1.1 命题第1课时→第2课时1.2命题公式一第3课时1.3逻辑等价式与永真蕴含式第4课时1.4主范式7第5课时1.5命题逻辑推理与证明方法A第6课时1.6命题逻辑的应用一
西安电子科技大学 离散数学 软件学院 第一篇 数理逻辑 第1课时 1.1 命题 第1章 命题逻辑 1.3 逻辑等价式与永真蕴含式 1.2 命题公式 1.4 主范式 1.5 命题逻辑推理与证明方法 第2课时 第3课时 第4课时 第5课时 第6课时 1.6 命题逻辑的应用
西安电子科技大学命题$1.1.1软件学院一个或真或假但不能两者都是的断言（陈述句）命题：（1）命题是对客观事物及其性质的判断般应为汉语中的述句；(2）命题都有确定的值，或者为“真”或者为“假”。如同一个开关要么是开、要么是关只能是这两者之一
西安电子科技大学 命题 软件学院 命题: §1.1.1 （1）命题是对客观事物及其性质的判断， 一般应为汉语中的述句； （2）命题都有确定的值，或者为“真”或 者为“假”。如同一个开关要么是开、要么 是关只能是这两者之一
西安电子科技大学S1.1.1 命题软件学院家不能再分解的具有确定真假值的陈述句。原子命题例如：（1）北京是中国的首都（2）西安电子科技大学是全国重点大学（3）地球是方的。由多个原子命题组成的复杂命题。复合命题例如：（1）北京不仅是中国的首都，而且是金融中心。（2）如果地球是方的，那么月球是圆的
西安电子科技大学 软件学院 原子命题 复合命题 §1.1.1 命题 由多个原子命题组成的复杂命题。 不能再分解的具有确定真假值的陈述句。 例如： （1）北京是中国的首都。 （2）西安电子科技大学是全国重点大学。 （3）地球是方的。 例如：（1）北京不仅是中国的首都，而且是金融中心。 （2）如果地球是方的，那么月球是圆的
西安电子科技大学S1.1.1命题软件学院家【例题】判断以下语句是否是命题，若是请指出其真值，并判断它是原子命题还是复合命题。（1）北京是人口超过1000万的大城市。（2）天气真好啊！×不是陈述句（3）去办公室将文件取回来。×不是陈述句(4)|明天开会吗？X不是陈述句（5）火星上有人。(6) x+3=6。×没有确定的真值（7）如果明天不下雨，那么我去郊游。（8）感恩节是老外的节日，但不是中国人的节日。1
西安电子科技大学 软件学院 √ √ × √ × 【例题】判断以下语句是否是命题，若是请指出其真值，并 判断它是原子命题还是复合命题。 （5）火星上有人。 （1）北京是人口超过1000万的大城市。 （2）天气真好啊！ （3）去办公室将文件取回来。 （4）明天开会吗？ （6）x+3=6。 （7）如果明天不下雨，那么我去郊游。 （8）感恩节是老外的节日，但不是中国人的节日。 × × √ 不是陈述句 不是陈述句 不是陈述句 没有确定的真值 §1.1.1 命题
西安电子科技大学S1.1.1 命题软件学院家命题只能取“真”（T，1）或“假”（F，0）之一，称命题常元：为命题的真值。命题的两个真值构成了命题常元。用来表示命题的符号，通常用大写字母（P，Q，R，…）命题变元：或带下标的大写字母（Pr，P2，P，.）来表示。为了运算方便，通常用称为命题变元的符号变量P、Q、R等来指代具体的命题，其值域为(T, F}
西安电子科技大学 软件学院 命题常元: 命题变元: 为了运算方便，通常用称为命题变元的符号 变量P、Q、R等来指代具体的命题，其值域 为{T, F}。 §1.1.1 命题