【培优02】B1.9集合与逻辑培优S.pdf

第一讲 集合与逻辑 【知识引入】 n n n n 1.集合{a ,a , ,a }的子集个数共有 个；真子集有 －1 个；非空子集有 －1 个；非空的真子集有 －2 2 2 2 2 1 2 n 个； 2.常见结论的否定形式： 原结论 否定形式 原结论 否定形式 是 不是 至少有一个 没有 都是 不都是 至多有一个 至少有二个 n n 大于 小于或等于 至少有 个 至多有 -1 个 n n 小于 大于或等于 至多有 个 至少有 +1 个 或 非 且非 x x p q p q 对所有的 成立 存在 不成立 且 非 或非 x x p q p q 对任何的 不成立 存在 成立 【知识拓展】 集合与命题这一章的相关知识，在自主招生考试中一般是以小题形式出现．但偶尔也综合其它知识点而出现在大 题中． 1.命题的否定是四种命题中最麻烦的细节问题．下面是一些常见词语的否定： “至少有一个”的否定是“一个也没有”；“都是”的否定是“不都是”；“所有”的否定是“某些”， “存在”的否 定是“任意”，“或”的否定是“且”． 2.容斥原理：令 表示集合 中元素的个数，则| A A A | | A |  | A A | | A | A 1 2 m  i  i j 1im 1i jm   | Ai A j Ak |  (1)m1 | A1 A2 Am | 1i jk m U 3.德摩根定理： 是全集，C ( A B) (C A) (C B) , C ( A B) (C A) (C B) ． u u u u u u 4.集合的差：A B x x A且x B  【典例精讲】 例1. （20 年复旦）设A、B、C 是某集合的三个子集，且满足(A B ) (B A) C ，则 A  (C B ) (B C ) 是A B C 为空集的 （ ） （A ）必要充分条件