离散数学(集合论)课后总结

1、设A={a,{a},{a,b},{{a,b},c}}判断下面命题的真值。 ⑴ {a}∈A T ⑵ ({a} A) F ⑶ c∈A F ⑷ {a}{{a,b},c} F ⑸ {{a}}A T ⑹ {a,b}∈{{a,b},c} T ⑺ {{a,b}}A T ⑻ {a,b}{{a,b},c} F ⑼ {c}{{a,b},c} T ⑽ ({c}A)(a∈Φ) T 2、证明空集是唯一的。（性质1：对于任何集合A，都有ΦA。） 证明：假设有两个空集Φ1 、Φ2 ，则

因为Φ1是空集，则由性质1得 Φ1 Φ2 。 因为Φ2是空集，则由性质1得 Φ2 Φ1 。 所以Φ1=Φ2 。

3、设A={Φ},B=P(P(A)).问：(这道题要求知道幂集合的概念) a)是否Φ∈B?是否ΦB?

b)是否{Φ}∈B? 是否{Φ}B? c)是否{{Φ}}∈B? 是否{{Φ}}B?

解：设A={Φ}， B=P(P(A)) P(A)= {Φ,{Φ}}

在求P(P(A))时，一些同学对集合{Φ,{Φ}}难理解，实际上你就将{Φ,{Φ}}中的元素分别看成Φ=a ,{Φ}=b, 于是{Φ,{Φ}}={a,b}

B=P(P(A))=P({a,b}) ={B0, B1 , B2 , B3 }={B00, B01,B10 ,B11}={Φ, {b}, {a}, {a,b}} 然后再将a,b代回即可B=P(P(A))=P({Φ,{Φ}})={Φ,{Φ} ,{{Φ}}, {Φ,{Φ}}} 以后熟悉后就可以直接写出。 a) Φ∈B ΦB b) {Φ}∈B {Φ}  B c) {{Φ}}∈B {{Φ}}B a)、b)、c)中命题均为真。

4、证明AB  A∩B=A成立。

证明：A∩B=A  x(x∈A∩B x∈A)

x((x∈A∩B  x∈A)∧(x∈A x∈A∩B)) x((xA∩B∨x∈A)∧(xA∨x∈A∩B))

x(((x∈A∧x∈B)∨x∈A)∧(xA∨(x∈A∧x∈B)) x(((xA∨xB)∨x∈A)∧ (xA∨(x∈A∧x∈B))) x(T∧(T∧ ( xA∨ x∈B)))

x( xA∨ x∈B)x(x∈Ax∈B) AB 5、(A-B)-C=(A-C)-(B-C) 证明：任取x∈(A-C)-(B-C) x∈(A-C)∧x(B-C)

(x∈A∧xC)∧(x∈B∧xC) (x∈A∧xC)∧ (xB∨x∈C)

(x∈A∧xC∧xB)∨(x∈A∧xC∧ x∈C) x∈A∧xC∧xBx∈A∧xB∧xC (x∈A∧xB)∧xC

x∈A-B∧xCx∈(A-B)-C 所以 (A-B)-C=(A-C)-(B-C)

6、 A-(B∪C)=(A-B)∩(A-C) 证明：任取x∈A-(B∪C) x∈A∧x(B∪C)

x∈A∧(x∈B∨x∈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)

所以 A-(B∪C)=(A-B)∩(A-C))

7、~(A∩B)=~A∪~B ~(A∪B)=~A∩~B 这两个公式称之为底-摩根定律。 证明：任取x∈ ~(A∩B) x∈ ~(A∩B)

xA∩B(x∈A∧x∈B) (xA∨xB)x∈~A∨x∈~B

x∈ ~A∪~B ∴~(A∩B)=~A∪~B 8、AB  ~B~A

证明： AB x(x∈Ax∈B)

x(xBxA)x(x∈~Bx∈~A)  ~B~A

9、~A=B 当且仅当A∪B=E且 A∩B=Φ 证明： A∪B=E∧A∩B=Φ

x(x∈A∪Bx∈E)∧ (PTP)

x(x∈A∩Bx∈Φ) (PFP) x(x∈A∪BT)∧x(x∈A∩BF) x(x∈A∪B∧(x∈A∩B))

x((x∈A∨x∈B)∧(x∈A∧x∈B)) x((x∈A∨x∈B)∧(xA∨xB)) x((xAx∈B)∧(x∈BxA)) x((x∈~Ax∈B)∧(x∈Bx∈~A)) x((x∈~Ax∈B)

~A=B

关于对称差

A、B是集合,由属于A而不属于B，或者属于B而不属于A的元素构成的集合,称之为A与B的对称差,记作AB。例如A={1,2,3} B={2,3,4}AB={1,4}

谓词定义：AB=(A-B)∪(B-A)={x|(x∈A∧xB)∨(x∈B∧xA)} AB=(A∪B)-(A∩B)

10、∩对可分配 A∩(BC)=(A∩B)(A∩C) 证明：(A∩B)(A∩C)

= ((A∩B)∪(A∩C))-((A∩B)∩(A∩C)) = (A∩(B∪C))-(A∩B∩C)

= A∩((B∪C)-(B∩C)) (∩对-分配) = A∩(BC)

但是∪对不可分配， 举反例：

A∪(AB)＝A∪B , 而(A∪A)(A∪B)＝A(A∪B)= (A∪B)-A A∪(AB)≠(A∪A)(A∪B)

一般地，有n个有限集合A1, A2,... An,则

11、某个研究所有170名职工，其中120人会英语，80人会法语，60人会日语，50人会英语和法语，25人会英语和日语，30人会法语和日语，10人会英语、日语和法语。问有多少人不会这三种语言？

U E

10 J

解:令U为全集，E、F、J分别为会英语、

法语和日语人的集合。|U|=170 |E|=120 |F|=80 |J|=60 |E∩F|=50 |E∩J|=25 |F∩J|=30 |E∩F∩J|=10

|E∪F∪J|=|E|+|F|+|J|-|E∩F|-|E∩J|-|F∩J|+|E∩F∩J|

= 120＋80＋60－50－25－30＋10＝165 |U-(E∪F∪J)|=170-165=5 即有5人不会这三种语言。 12、求1到1000之间不能被5、6、8整除的数的个数。 解.设全集 E＝{x| x是1到1000的整数} |E|=1000

A5、 A6、 A8是E的子集并分别表示可被5、6、8整除的数的集合。x 表示小于或等于x的最大整数。

LCM(x,y):表示x,y两个数的最小公倍数。 (Least Common Multiple )

F

1000|A5|20051000|A6|16661000|A8|125810001000|A5A6|33LCM(5,6)30

10001000|A5A8|25LCM(5,8)40

10001000|A6A8|2441 LCM(6,8)

10001000|A8 5A6A8|LCM(5,6,8)120

不能被5、6、8整除的数的集合为～(A5∪A6∪A8)

|~(A5∪A6∪A8)|=|E|－|A5∪A6∪A8|=|E|－(|A5|+|A6|+|A8|－|A5∩A6|－|A5∩A8|－|A6∩A8|+|A5∩A6∩A8|)

＝1000－(200+166+125－33－25－41＋8)＝600

13、对24名科技人员掌握外语的情况进行调查结果如下：英、日、德、法四种外语中，每个人至少会一种；会英、日、德、法语的人数分别是13、5、10、9人； 同时会英、日语的有2人； 同时会英、法语的有4人； 同时会德、法语的有4人； 同时会英、德语的有4人；会日语的人不会德语，也不会法语；

问这24人中，只会一种外语的人各是多少人？同时会英、法、德三种语言的人有多少人？ 解：设全集为U，E,F,G,J分别表示会英、法、德、日语 人的集合。 |U|＝24 |E∩F|=|G∩F|=|E∩G|=4

又设 |E∩F∩G|=x 只会英、法、德、日一种外语的人分 别是y1, y2, y3, y4。 于是可以画出文氏图及方程如下： y1 +2(4-x)+x+2=13 y2 +2(4-x)+x=9 y3 +2(4-x)+x=10 y4+2=5

y1+ y2+ y3 +y4 +3(4-x)+x+2=24

y2

F 4-x E y

1

x 4-x 4-x

G y3 2 J

y4

解得： y1＝4， y2＝2， y3＝3， y4＝3 x=1

14、A,B是有限集合, P(A)表示A的幂集,已知|A|=3,|P(B)|= 64 ,|P(A∪B)|= 256, 则|B|=( ), |A∩B|=( ),|A-B|=( ),|AB|=( )。 解:由|P(B)|=64=26，得 |B|=6

由|P(A∪B)|=256＝28，得|A∪B|=8

由包含排斥原理得 |A∪B|=|A|+|B|－|A∩B| 得8＝3+6－|A∩B| ，所以 |A∩B|＝1 |A-B|=|A|－|A∩B|=3－1=2

|AB|=|A∪B|－|A∩B|=8－1=7

15、设F表示一年级大学生的集合,S表示二年级大学生的集合,M表示数学专业学生的集合,C表示计算机专业学生的集合,D表示听离散数学课学生的集合,G表示星期六晚上参加音乐会的学生的集合,H表示星期六晚上很晚才睡觉的学生集合,则将下面各个句子所对应的集合表达式分别写在句子后面的括号内:

(1)所有计算机专业二年级的学生在学离散数学课。 ( C∩S  D )

(2)这些且只有这些学离散数学课的学生或者星期六晚上去听音乐会的学生在星期六晚上很晚才睡觉。( D ∪G=H )

(3)星期六晚上的音乐会只有大学一、二年级的学生参加。( G  F∪S )

(4)除去数学专业和计算机专业以外的二年级的学生都去参加星期六晚上的音乐会。( ~(M∪C) ∩ S  G )

16、一个班有50人，第一次考试得A的人数等于第二次考试得A的人数，仅仅在一次考试中得A的学生总数是40，有4个学生两次考试都没有得到A，问有多少学生仅在第一次考试中取得A？问有多少学生仅在第二次考试中取得A？问有多少学生两次考试中都取得A？

解.设A1、 A2 分别表示在第一次和第二次得A的人的集合。 根据题意得: |E| = 50, |A1| = |A2|,

(|A1| - |A1∩A2|) + (|A2| - |A1∩A2|) = 40 , 即 |A1| + |A2| - |A1∩A2| - |A1∩A2 | = 40 ,

∴ 2|A1| - 2|A1∩A2| = 40 , …..(1) ∴ |A1| - |A1∩A2| = |A2| - |A1∩A2| = 20 , (仅一次得A) 又 |E| - |A1∪ A2| = 4, ∴ |A1∪ A2| = 50 - 4 = 46 即 |A1| + |A2| - |A1∩A2| = 2|A1| - |A1∩A2| = 46, …..(2) (2) - (1)得： |A1∩A2| = 6。 (两次得A为 6人) 17、在什么条件下，下面命题为真？ a) (A-B)∪(A-C) = A

解.(A-B)∪(A-C) = (A∩~B)∪(A∩~C) = A∩(~B∪~C)= A∩~(B∩C) = A-(B∩C) = A 所以满足此式的充要条件是：A∩B∩C = Φ b) (A-B)∪(A-C) = Φ

解.(A-B)∪(A-C) = A-(B∩C) = Φ

所以满足此式的充要条件是：A  B∩C c) (A-B)∩(A-C) =Φ

解.(A-B)∩(A-C) = (A∩~B)∩(A∩~C) = A∩(~B∩~C)= A∩~(B∪C) = A-(B∪C) = Φ 所以满足此式的充要条件是: A  B∪C d) (A-B)(A-C) = Φ

解. 因为 当且仅当A = B ，才有AB = Φ 所以满足此式的充要条件是: A-B = A-C

18、 计算Φ∩{Φ} = Φ {Φ}∩{Φ} = {Φ} {Φ,{Φ}} – Φ = {Φ,{Φ}} {Φ,{Φ}} – {Φ} = {{Φ}} {Φ,{Φ}} – {{Φ}} = {Φ} 19、证明各式彼此等价。 c)A∪B=E, ~AB, ~BA.

证明. A∪B=E x(x∈A∪B x∈E)

x(x∈A∪B) (因x∈E 为T) (PTP) x(x∈A∨x∈B)

x(xAx∈B) x(x∈~Ax∈B)  ~AB 同理A∪B=E  ... x(x∈A∨x∈B) x(xBx∈A) x(x∈~Bx∈A)  ~BA 所以A∪B=E  ~AB  ~BA.

20.证明 (A∩B)∪C = A∩(B∪C) iff CA. 证明：充分性 已知CA

(A∩B)∪C = (A∪C)∩(B∪C)

= A∩(B∪C) (∵ CA ∴ A∪C=A) 必要性 已知(A∩B)∪C = A∩(B∪C)

任取 x∈C  x∈(A∩B)∪C  x∈A∩(B∪C)  x∈A 所以 CA.

21、证明 (A-B)-C=(A-C)-B 方法1.任取 x∈(A-B)-C

 x∈(A-B)∧xC (x∈A∧xB)∧xC (x∈A∧xC)∧xB  x∈(A-C)∧xB  x∈(A-C)-B 所以(A-B)-C = (A-C)-B

方法2 (A-B)-C = (A∩~B)∩~C = (A∩~C)∩ ~B = (A-C)-B 22、判断下面命题的真值：

a)如果A∈B，BC ，则 A∈ C。 T 证明：因为BC ， A∈B，所以A∈ C。 b)如果A∈B，BC，则 AC 。 F 举反例A = {1} B = {{1}} C = {{1},2}

满足A∈B, BC ，但是不满足AC (1∈A 但1C )。 c)如果AB，B∈C，则 A∈C。 F 举反例A = {1} B = {1,2} C = {{1,2}} 满足AB, B∈C ，但是AC 。

d)如果AB，B∈C，则 AC。 F 举反例A = {1} B = {1,2} C = {{1,2}} 满足AB, B∈C ，但是不满足AC 。