本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题

图是一类相当广泛的实际问题的数学模 型，有着极其丰富的内容，是数据结构 等课程的先修内容.学习时应掌握好图论 的基本概念、基本方法、基本算法；善 于把实际问题抽象为图论的问题，然后 用图论的方法解决问题

本章讨论的关系是我们通常的诸 如大小关系、整除关系、上下级 等关系的共同的数学模型，掌握 关系运算极其关系运算的性质、 实际意义.深入理解关系、关系图、 关系矩阵之间的联系，熟练地掌 握两类特殊的关系—等价关系与 偏序关系；熟练地用Warshall算 法求关系的传递闭包；理解映射 的意义，本章为第三、六、七章 的基础

一、本章讨论集合论中较为困难的问题—集合的基数问题；但只限于对基数作一简单介绍；如学时较少可不讲本章或对本章作恰当的删减. 二、本章主要概念为:集合的等势、有限集与无限集、可数集与不可数集及较为常见的集合的基数

一、集合是现代数学各分支的共同基础，当 然也是本书的基础，读者应熟练地掌握 本章的全部内容，本章的一些内容，如 集合的并、交、Venn图等已在中学及 大学的其他课程中学习过，但为了内容 的完整及这些内容基础地位，我们没有 省略这些内容

定义：设X和Y是任何两个集合，而f是X到 Y的一个关系，如果对于每一个xX，有 唯一的yY，使得f，称关系f为 函数，记作：

在命题逻辑中，把命题分解到原子命题为 止，认为原子命题是不能再分解的，仅仅研究 以原子命题为基本单位的复合命题之间的逻辑 关系和推理。这样，有些推理用命题逻辑就难 以确切地表示出来。例如，著名的亚里士多德 三段论苏格拉底推理：

定义一个图是一个三元组,简记为G＝

1.集合与元素 集合是个最基本的概念 集合:是由确定的对象(客体)构成的集体 用大写的英文字母表示。 这里所谓“确定”是指:论域内任何客体 要么属于这个集合,要么不属于这个集合, 是唯一确定的。 元素:集合中的对象,称之为元素 ∈:表示元素与集合的属于关系

集合论基础 二元关系 函数 基本概念及集合的表示方法 集合间的关系 特殊集合 集合的运算 ＊包含排斥原理