离散数学38230.ppt

离散数学 左孝凌 上海科学技术文献出版社 第一篇 数理逻辑 什么是数理逻辑 数理逻辑的研究内容 第一篇 数理逻辑 逻辑学： 研究思维形式及思维规律的科学 逻辑学分为二类： 辩证逻辑：是研究事物发展的客观规律。 形式逻辑：对思维的形式结构和规律进行研究。概念、判断、推理　　 第一篇 数理逻辑 数理逻辑 是用数学的方法研究概念、判断和推理的科学，显然数理逻辑是属于形式逻辑的范畴。 用数学的方法是指引进一套符号体系的方法来研究概念、判断和推理。即对符号进行判断和推理。符号逻辑 本课程讲述：命题逻辑和谓词逻辑 第一篇 数理逻辑 数理逻辑创始人 第1章 命题逻辑 1.1 命题及其表示法 1.2 联结词 1.3 命题公式与翻译 1.4 真值表与等价公式 1.5 重言式和蕴含式 1.6 其他联结词 1.7 对偶与范式 1.8 推论理论 §1.1命题及其表示法 知识点： 命题的概念 命题的表示 命题的分类 命题的判定 　 §1.1命题及其表示法 一、命题 命题： 能表达判断的语句， 并具有确定真值的陈述句。 真值：一个命题的值，该值只有两种。 注意： 命题可以是真的，或者是假的，但不能同时为真又为假。 “非真非假、亦真亦假”的语句不能称为命题。 §1.1命题及其