第1命题逻辑.ppt

高等学校21世纪教材 离散数学既是现代数学的一个重要分支，又是计算机科学中基础理论方面的核心内容。离散数学是以离散量的结构和相互之间的关系为主要研究目标，其研究对象一般地是有限个或可数个元素。 离散数学是随着计算机科学的发展而逐步建立的，它形成于20世纪70年代初，是一门新兴的工具性学科。 离散数学与计算机科学中的数据结构、操作系统、编译理论、算法分析、逻辑设计、系统结构、容错诊断、机器证明等课程联系紧密。 包括的主要内容如下： 一、数理逻辑：命题逻辑（10学时）和谓词逻辑（10学时） 。 二、集合论：集合与关系（10学时），函数（4学时） 三、代数结构与布尔代数 四、图论（16学时） 五、应用：形式语言与自动机；纠错码初步。 第一章 命题逻辑 命题逻辑，也称命题演算，记为Ls。它与谓词逻辑构成数理逻辑的基础，而命题逻辑又是谓词逻辑的基础。数理逻辑是用数学方法即通过引入表意符号研究推理的学问。因此，数理逻辑又名为符号逻辑。 命题逻辑是研究由命题为基本单位构成的前提和结论之间的可推导关系。 1.1 命题与联结词 1.2 命题变元和合式公式 1.3 公式分类与等价公式 1.4 对偶式与蕴含式 1.5 联结词的扩充与功能完全组 1.6 公式标准型——范式 1.7 公式的主范式 1.8 命题逻辑的推理理论 1.1 命题与联结词 １. 命题的概念 所谓命题，是指具有