3.设 $U$ 为全集,$A, B$ 是集合,则"存在集合 $C$ 使得 $A \subseteq C, B \subseteq C_{U} C$ 是"$A \cap B=\varnothing$"的
参考答案C
2014_退役省自主命题 (2014·理)
3.设 $U$ 为全集,$A, B$ 是集合,则"存在集合 $C$ 使得 $A \subseteq C, B \subseteq C_{U} C$ 是"$A \cap B=\varnothing$"的
【答案】C
【解析】
试题分析:
①当 $A \subseteq C, B \subseteq C_{U} C$,且 $B \cap C=\varnothing$,则 $A \cap B=\varnothing$,反之当 $A \cap B=\varnothing$,必有 $A \subseteq C, B \subseteq C_{U} C$.
②当 $A=C, B \subseteq C_{U} C$,且 $B \cap C=\varnothing$,则 $A \cap B=\varnothing$,反之,若 $A \cap B=\varnothing$,则 $A \cap C=\varnothing$,
$B=C_{U} C$,所以 $A \subseteq C, B \subseteq C_{U} C$.
(3)当 $A=B=\varnothing$,则 $A \cap B=\varnothing$;反之,$A \cap B=\varnothing$, $A \subseteq C, B \subseteq C_{U} C$.
综上所述,"存在集合 $C$ 使得 $A \subseteq C B \subseteq C_{U} C$ 是"$A \cap B=\varnothing$"的充要条件.
考点:集合与集合的关系,充分条件与必要条件判枮,容易题.