复旦大学 计算机院 赵一w鸣 离散数学(中文课件)1.pptVIP

事实上有(A∪B)-(A∩B)=(A-B)∪(B-A) 对称差运算则是满足消去律的，即有 定理：若A?B=A?C，则B=C 证明留作习题 对于多个集合运算,除了并和交具有结合律和交换律外,还有分配律和狄·摩根律: B∩(A1∪A2∪…∪An)=(B∩A1)∪(B∩A2)∪…∪(B∩An) B∪(A1∩A2∩…∩An)=(B∪A1)∩(B∪A2)∩…∩(B∪An) 随着数学的发展，人们发现单凭直观经验建立起来的集合概念是靠不住的。 在1895年康托尔本人举例说明朴素集合论将导致的矛盾,其中最有名的例子是英国哲学家和数学家罗素(1872--1970) 在1901年给出的, 在数学史上称为罗素悖论 1.5 罗素悖论 命题：能区别真假的陈述语句。 例：我是学生。 今天不下雨。 上述两个都是命题。它们都能判别真假。 祝你一帆风顺！ 你明天下午出去吗？ 上述两个都不是命题。 所谓悖论, 是指对于命题Q,如果从Q为真, 可以推导出Q为假, 又从Q为非真推导出Q为真, 我们就说命题Q是一个悖论。 显然如果从命题P可引出一个命题Q, 而Q是一个悖论, 那么P也是一个悖论。 说谎悖论 有一个人断言:“我正在说谎”。 我们要问: 这个人是在说谎还是在讲真话? 如果他在说谎, 这表明他的断言“我正在说谎”是谎话,也就是说他在讲真话。 即他说谎, 推出他是讲真话(即没有说谎)。 另一方面, 如果他