左孝凌离散数学课件第01章命题逻辑.ppt

《离散数学》的课程性质 离散数学课程是计算机专业必修的专业基础课程。 主要研究离散量结构及相互关系，为学习计算机专业各后续课程做好必要的知识准备；使学员得到良好的数学训练，提高学生抽象思维和逻辑推理能力，为从事计算机应用提供理论基础。 主要参考资料 参考教材：《离散数学》左孝凌、李为鉴、刘永才编著 上海科学技术文献出版社 参考书： 1，《离散数学 理论、分析、题解》左孝凌、李为鉴、刘永才编著 上海科学技术文献出版社 2，《离散数学》耿素云、屈婉玲编 高等教育出版社 3，《离散数学》李盘林、李丽双编 高等教育出版社 4，Bernard Kolman，Robert C.Busby，Sharon Ross. Discrete Mathematical Structures 3rd Ed.(影印版) . 北京：清华大学出版社，1997。 考试方式、任课教师 考核方式: 平时:30%. 理论考试:70% 任课教师： 李笑平 QQ: 办公地点：11407 《离散数学》的课程内容 本课程的内容包括四大部分：1、数理逻辑；2、集合论；3、代数系统；4、图论。 第一部分 数理逻辑 数理逻辑部分讲授的内容有：第1章 命题逻辑；第2章 谓词逻辑。 命题逻辑的内容包括：命题及其表示法；联接词；命题公式与翻译；真值表与等价公式；重言式与蕴含式；其他联接词；对偶与范式；推理理论。 第一部分 数理逻辑 谓词逻辑的内容包括：谓词的概念与表示；命题函数与量词；谓词公式与翻译；变元的约束；谓词演算的等价式与蕴含式；前束范式；谓词演算的推理理论 第二部分 集合论 集合论部分讲授的内容有：第3章 集合与关系；第4章 函数。 集合与关系的内容包括：集合的概念和表示法；集合的运算；序偶和笛卡尔积；关系及其表示；关系的性质；复合关系和逆关系；关系的运算； 函数的内容包括：函数概念；逆函数和复合函数；映射； 第三部分 代数系统 代数系统部分讲授的内容有：第5章 代数结构；第6章 格与布尔代数。 代数结构的内容包括：代数系统的引入；运算及其性质；半群；群和子群；阿贝尔群与循环群；同态与同构。 格与布尔代数的内容包括：格的概念；分配格；有补格；布尔代数；布尔表达式。 第四部分 图论 图论部分讲授的内容有：第7章 图论。 图论的内容包括：图的基本概念；路与回路；图的矩阵表示；欧拉图与哈密顿图；树与生成树；根树及其应用。 第一章 命题逻辑 1.1 命题及其表示方法 1.1.1 命题 1.1.2 命题的表示方法 1.1.3 命题的分类 第一章 命题逻辑 1.1 命题及其表示方法 1.1.1 命题 数理逻辑研究的中心问题是推理（inference),而推理的前提和结论都是表达判断的陈述句，因而表达判断的陈述句构成了推理的基本单位。 基本概念 命题：能够判断真假的陈述句。 命题的真值：命题的判断结果。命题的真值只取两个 值:真（用T(true)或1表示）、假（用F(false)或0表示） 。 真命题：判断为正确的命题，即真值为真的命题。 假命题：判断为错误的命题，即真值为假的命题。 第一章 命题逻辑 1.1 命题及其表示方法 因而又可以称命题是具有唯一真值的陈述句。 判断命题的两个步骤： 1、是否为陈述句； 2、是否有确定的、唯一的真值。 例：判断下列句子是否为命题。 (1). 100是自然数。 T (2). 太阳从西方升起。 F (3). 3+3=8 . F 第一章 命题逻辑 1.1 命题及其表示方法 (4). How do you do ? 疑问句，不是命题 (5). 明年的十月一日是晴天。是命题，其真值到明年 十月一日方可知道。 (6). x+39 不是命题 (7). 我正在说谎。是悖论 (8). 1+101=110 二进制中为真，十进制中为假。 (9). 如果太阳从西方升起，那么2是奇数。T (10). 国足能杀入2006世界杯当且仅当2+2=4。F 第一章 命题逻辑 1.1 命题及其表示方法 (11). 今天天气多好啊！ 感叹句，不是命题 (12). 请你关上门！ 祁使句，不是命题， (13). 别的星球上有生物。 是命题，客观上能判断真 假。 说明： （1）只有具有确定真值的陈述句才是命题。一 切没有判断内容的句子，无所谓是非的句子， 如感叹句、祁