第1章 命题逻辑(一).pptVIP

离 散 数 学 戎 玫 2005－9 前 言 离散数学是现代数学的一个重要分支，是计算机科学与技术的理论基础，所以又称为计算机数学． 人们已公认，高技术本质上是数学技术。事实上，从计算机产生到以后它的每一步发展都离不开数学． 通过学习离散数学，可以培养和提高我们的抽象思维和逻辑推理能力，为今后继续学习和工作，参加科学研究，打下坚实的数学基础. 主要内容 第一章 命题逻辑 第二章 谓词逻辑 第三章 集 合 第四章 二元关系 第五章 函 数 第六章 图 论 第1章 命题逻辑 1.1 命题及联结词 1.2 命题公式与翻译 1.3 真值表和等价公式 1.4 重言式 1.5 范式 1.6 全功能联结词集 1.7 对偶式与蕴含式 1.8 命题逻辑的推理理论 第1章 命题逻辑 数理逻辑是一门采用数学方法去研究抽象思维的规律的应用学科。 数理逻辑的基本内容分为命题逻辑和谓词逻辑两部分。 研究抽象思维的中心问题是推理，推理就是由一个或几个判断推出一个新判断的思维形式。 判断是对事物有确切的肯定或否定的一种思维形式。 自然语言中能表达判断的语句是陈述句，陈述句具有真值。 真值就是语句为真或为假的性质。 1.1命题及联结词 命题：能判断真假的陈述句。 一般用小写英文字母或小写英文字母带下标表示。 命