离散数学集合部分部分错题分析

在这里其实我不想把很难得题目放出来，所以就放一些基础题目了，感觉基础题目反而涉及底层的东西，所以如果如果现在你觉得失望，可以先行离开，去打代码吧。
1。元子集问题，之所以把这个概念提出来。因为在我们的课本居然没有提及，所以简单的提出来，只给出概念：定义1.8 含有n个元素的集合A称为n元集。它的含有m个(m≤n)元素的子集称作它的m元子集。
2。幂集的小问题，
这里并不是想去给出什么$2^n$ 之类的，这些都是老调重弹，这里想讲的是类似PP(),PPP()之类的，
问题一：判断:令A = {a},则 {$\emptyset$ , {a} } $\subseteq$ PP(A)
这里其实我们只要一步一步来，慢慢的就可以了,
P(A) = {$\emptyset$ , {a}},
PP(A) = {$\emptyset$,{{a}},$\emptyset$,{$\emptyset$ , {a}}}
则以此判断原语句为假。
类似的
问题二：
化简下列集合
$\cap${PPP($\emptyset$ , PP($\emptyset$)),P($\emptyset$,$\emptyset$)}
同样的，我们慢慢来
P($\emptyset$) = {$\emptyset$ , {$\emptyset$}}
PP($\emptyset$) = {$\emptyset$,{$\emptyset$},{{$\emptyset$}},{$\emptyset$ , {$\emptyset$}} }
PPP($\emptyset$) = …….
最后解答为$\emptyset$

其实可以看出来答案的，但是为什么我们还要慢慢解出各级幂集，原因很简单，这道题可以看出，其他的就不一定，很多人说，天下武功，唯快不破，其实我觉得，天下武功，唯慢不破。
3。一些证明题
问题一，找出下列命题成立的充要条件，并给出相应的证明，可能不唯一：
1. （A - B） $\cup$ (A - C) = A
2. ( A - B ) $\cup$ (A - C) = $\emptyset$
3. ( A - B ) $\cap$ (A - C) = $\emptyset$
4. ( A - B) $\cap$ (A - C) = A
解答：
1. (A - B) $\cup$ (A - C) = A
$\Leftrightarrow$ (A $\cap$ ~B) $\cup$ (A $\cap$ ~C) = A
$\Leftrightarrow$ A $\cap$ (~B $\cup$ ~C) = A
$\Leftrightarrow$ A $\cap$ ~(B $\cap$ C) = A
$\Leftrightarrow$ A $\subseteq$ ~(B $\cap$ C)
$\Leftrightarrow$ A $\cap$ (B $\cap$ C) = $\emptyset$
$\Leftrightarrow$ A $\cap$ B $\cap$ C = $\emptyset$
2. 同理得A $\subseteq$ (B $\cap$ C)
3. 同理得 A $\subseteq$ (B $\cup$ C)
4. 同理得 A $\cap$ (B $\cup$ C) = $\emptyset$
问题二： 已知A $\oplus$ B = A $\oplus$ C ，证明B = C
解答
A $\oplus$ (A $\oplus$ B ) = A $\oplus$ (A $\oplus$ B )
$\Leftrightarrow$ (A $\oplus$ A) $\oplus$ B = (A $\oplus$ A) $\oplus$ c
$\Leftrightarrow$ $\emptyset$ $\oplus$ B = $\emptyset$ $\oplus$ C
$\Leftrightarrow$ B = C
问题三：A,B,C为三个集合，证明
(A - B) - C = (A - C) - B = A - (B $\cup$ C) = (A - C) - (B - C)
不想写，只是为各位看客们提供一些小练习练练手吧。
问题四：设A,B,C是全集C的子集，证明，若A $\subseteq$ B ,则，C - B $\subseteq$ C - A.
4。小型化简题
这里就是一些化简
问题一：（（A$\cup$B $\cup$ C）$\cap$ (A $\cup$ B)） - (A $\cup$ (B - C) $\cap$ A)
$\Leftrightarrow$ (A$\cup$B) - (A $\cup$ (B - C) $\cap$ A)
$\Leftrightarrow$ (A$\cup$B) - A
$\Leftrightarrow$ (A$\cup$B) $\cap$ ~A
$\Leftrightarrow$ (A $\cap$ ~A) $\cup$ (B $\cap$ ~A)
$\Leftrightarrow$ B $\cap$ ~A
$\Leftrightarrow$ B - A