ch3一集合论一1st.pptVIP

*/39 一、相交运算 试证明 (A∩B) ∩C = A ∩(B ∩C). 证明： (A∩B) ∩C = {x| x∈A ∩B ∧ x∈C} = {x| x∈A ∧ x∈B ∧ x∈C} = {x| x∈A ∧（x∈B ∧ x∈C）} = {x| x∈A ∧（x ∈ B∩C ）} = A∩（B ∩C） 类推至多个集合的情况，集合的交运算仍满足结合律。 */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 二、集合的并 （集合交和并操作的分配律） 设A，B，C为三个集合，那么有 A∩（B∪C) = (A ∩B) ∪(A ∩C) (b) A ∪（B ∩ C) = (A∪B) ∩ (A∪C) 证明：对任意x, x∈A∩（B∪C) = x∈A ∧ (x∈B ∨ x∈C) = (x∈A∧x∈B) ∨ (x∈A∧x∈C) = x∈A ∩B ∨ x∈A ∩C = x∈(A ∩B) ∪(A ∩C) 由x的任意性，得(a)成立。 同理可证(b)成立。 */39 二、集合的并 （集合交与并的同一律） 设A，B为两个集合，那么 A∩（A∪B) = A A ∪（A ∩ B) = A */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 作业 第3章 习题 1（1，3，5） 2（2，4） 3 4（4，5） 5 6（3） 7（3） 8 9 10 概言之，在无穷的世界里，整体的所有元素和部分的所有元素之间可以是一一对应的。 ∩ */39 第三章 集合论 */39 回顾 6个逻辑联接词 最小完备运算集 命题变元、命题公式 永真式、永真蕴含 代入规则、替换规则 永真、永假、可满足 对偶 三个原理/定理 范式 基本和、基本积、极小项、极大项 析取、合取 主析取、主合取 命题的翻译 推理四规则 P规则 T规则 CP规则 F规则 */39 回顾 个体、谓词、量词 全称量词、存在量词 自由变元、约束变元 谓词公式、谓词公式的解释 含量词的等价式和永真蕴含式 量词转化律、扩张及收缩律、量词分配律 谓词公式的翻译 推理规则 约束变元改名 自由变元代入 取代规则 量词的增删规则 全称特指（Universal Specification） 存在特指（Existential specification） 存在推广（existential generalization） 全称推广（universal generalization） */39 集合论的创立与康托尔的遭遇 19世纪末期，数学界出现了一件引人注目的事情。一位名叫康托尔（G.Cantor， 1845－1918）的德国数学家提出一种令人费解的古怪理论----集合论。它的内容是如此与常识格格不入，以致于一出世就引起了一场轩然大波。 自从17世纪牛顿和莱布尼茨 创立微积分理论体系之后，在近一二百年时间里，微积分理论一直缺乏一个严格的逻辑基础。它的一些基本概念的表述，还存在某些混乱和自相矛盾之处。 从19世纪开始，柯西、魏尔斯特拉斯等人进行了微积分的理论化工作。他们建立了极限理论，并把极限理论的基础归结为实数理论。那么，实数理论的基础又该是什么呢？康托尔试图用集合论来作为实数理论，以至整个微积分理论体系的基础。 */39 出于这一目的，康托尔用集合的观点重新考察各种数量关系，特别是无穷数量关系。 他发现，无穷集合有着有穷数量关系所不具备的性质。比如