第三章 集合论-1st.pptVIP

*/39 一、相交运算 类推至多个集合的情况，集合的交运算仍满足结合律。 假设有n个集合A1,A2,…An，那么这些集合的交集可表示为： */39 二、联合运算（集合的并） 定义：由集合A和B的所有元素组成的集合称为A和B的并集，记作 A B 例如 设A={a,b,c}, B={c,d,f}, C={b,e} 那么 可以看出 */39 二、集合的并 集合的并运算具有如下性质： 注意：假设有n个集合A1,A2,…An，那么这些集合的并集可表示为： */39 二、集合的并 */39 二、集合的并 证明：对于任意的x，若 由x的任意性可知(a)成立。 同理可以证明(b)。 */39 二、集合的并 */39 二、集合的并 */39 关于交集、并集的例子 老师讲完交集、并集的概念之后，提问学生：　　（1）设A={x│x是参加百米赛跑的同学}，B={x│x是参加跳高比赛的同学}，求A∩B．　　（2）设A={x│x是红星农场的汽车}，B={x│x是红星农场的拖拉机}，求A∪B． 一学生答道： （1）中A∩B={x│x是参加百米障碍赛的同学}．　（2）中A∪B={x│x是红星农场的联合收割机}． */39 作业 P45：1（1，3，5） 2（2，4） 3 4（4，5） 5 6（3） 7（3） 8 9（3） 10 */39 第三章 集合论 大连理工大学软件学院 陈志奎 教授 办公室： 综合楼411，Tel：实验室：教学楼A318/323，Tel24 Mobile:Email: zkchen@ zkchen00@ */39 回顾 6个逻辑联接词 最小完备运算集 命题变元、命题公式 永真式、永真蕴含 代入规则、替换规则 永真、永假、可满足 对偶 三个原理/定理 范式 基本和、基本积、极小项、极大项 析取、 合取、主析取、主合取 命题的翻译 推理四规则 P规则 T规则 CP规则 F规则 */39 回顾 个体、谓词、量词 全称量词、存在量词 自由变元、约束变元 谓词公式、谓词公式的解释 含量词的等价式和永真蕴含式 量词转化律、扩张及收缩律、量词分配律 谓词公式的翻译 推理规则 约束变元改名 自由变元代入 取代规则 量词的增删规则 全称特指（Universal Specification） 存在特指（Existential specification） 存在推广（existential generalization） 全称推广（universal generalization） */39 集合论的创立与康托尔的遭遇 19世纪末期，数学界出现了一件引人注目的事情。一位名叫康托尔（G.Cantor， 1845－1918）的德国数学家提出一种令人费解的古怪理论----集合论。它的内容是如此与常识格格不入，以致于一出世就引起了一场轩然大波。 自从17世 纪牛顿和莱布尼茨）创立微积分理论体系之后，在近一二百年时间里，微积分理论一直缺乏一个严格的逻辑基础。它的一些基本概念的表述，还有某些混乱和自相矛盾之处。从19世纪开始，柯西、魏尔斯特拉斯等人进行了微积分理论严格化的工作。他们建立了极限理论，并把极限理论的基础归结为实数理论。那么，实数理论的基础又该是什么呢？康托尔试图用集合论来作为实数理论，以至整个微积分理论体系的基础。 */39 出于这一目的，康托尔用集合的观点重新考察各种数量关系，特别是无穷数量关系。 他发现，无穷集合有着有穷数量关系所不具备的性质。比如，在无穷集合领域，所有整数和所有偶数之间是一一对应的，所有有理数和所有整数之间是一一对应的，平面上所有的点和线段上所有的点是一一对应的，……概言之，在无穷的世界里，整体的所有元素和部分的所有元素之间可以是一一对应的。另外，无穷集合并不都是相等的，比如所有实数和所有有理数之间就不是一一对应的。因而，无穷集合是有大小的。集合论用“基数”这个概念来表示无穷集合间的区别。 那么，有没有一个最大的集合呢？康托尔通过研究，否定了这个想法。因为每个已知集合的所有子集所构成集合，其基数都大于已知集合的基数。既然没有最大的基数，当然也没有最大的集合。无穷世界里的这些性质， 初看起来，真是令人头晕目眩。 */39 康托尔的研究成果发表之后，马上遭致当时一些赫赫有名的数学家的激烈攻击。德国数学家克隆尼克是这些人中言辞最激烈、攻击时间最长的一个。 克隆尼克比康托尔年长22岁。他主张，除非一种数学对象能够用有限步骤从自然数中构造出来，否则不能认为它在数学上是存在的。他有一句“名言”：“上帝创造了自然数，其余的