离散数学---集合的基本运算

合集下载

离散知识点公式总结

离散知识点公式总结

离散知识点公式总结1. 集合论集合是离散数学中的基本概念,它是由一些确定的对象所组成的一个整体。

集合之间的运算包括并集、交集、差集、补集等。

其相关公式如下:- 并集:对于集合A和B,它们的并集定义为包含A和B中所有元素的集合,记作A∪B。

公式:A∪B={x|x∈A或x∈B}- 交集:对于集合A和B,它们的交集定义为同时属于A和B的所有元素的集合,记作A∩B。

公式:A∩B={x|x∈A且x∈B}- 差集:对于集合A和B,A与B的差集定义为属于A但不属于B的元素所组成的集合,记作A-B。

公式:A-B={x|x∈A且x∉B}- 补集:对于集合A,相对于全集合U而言,A的补集定义为全集合中不属于A的元素所组成的集合,记作A'。

公式:A'={x|x∈U且x∉A}2. 关系和函数关系是一种描述元素之间的对应关系的数学工具,而函数则是一种特殊的关系。

在离散数学中,关系和函数的定义和性质是非常重要的内容。

其相关公式如下:- 关系R:对于集合A和B,关系R定义为A和B的笛卡尔积中的元素对所组成的集合。

公式:R={(a,b)|a∈A且b∈B}- 函数f:对于集合A和B,如果f是从A到B的一个映射,那么对于任意元素a∈A,都有唯一的元素b∈B与之对应。

公式:f:A→B3. 图论图论是离散数学中的一个重要分支,它研究的是由顶点和边组成的数学结构。

图论的基本概念包括图的类型、路径和回路、连通性、树等。

其相关公式如下:- 有向图:对于图G=(V,E),如果E中的边是有方向的,则称G为有向图。

公式:G=(V,E),E={(u,v)|u,v∈V,u→v}- 无向图:对于图G=(V,E),如果E中的边是无方向的,则称G为无向图。

公式:G=(V,E),E={{u,v}|u,v∈V,u≠v}- 路径:在图G中,顶点v1,v2,...,vn的一个路径是图G中的一个顶点序列,其中相邻的顶点用一条边连接。

公式:v1,v2, (v)- 回路:在图G中,如果一条路径的起点和终点是同一个顶点,则称其为回路。

《离散数学》集合的基本概念和运算

《离散数学》集合的基本概念和运算

(2)若AB,BC,则AC
解 错误。举反例如下:设A={a},
B={{a},b},C={{a},b,{c}},显然AB, BC,但A不是C的子集。因为aA,但aC。
定义3.7 A、B是任意集合,由属于A或属于B的
所有元素组成的集合称为A与B的并集,记
3.2 作 A B 。即

A B u | u A或u B
推论 空集是惟一的. 证 假设存在1和2,则12 且12,因此
1=2 全集 在一个具体问题中,如果所涉及的集合都是某个
集合的子集,则称这个集合为全集,记作E
全集具有相对性
在给定问题中,全集包含任何集合,即A (AE )
三、幂集(PowerSet)
定义1.2.2 给定集合A,以A的所有子集为元素
- 命题演算法 - 包含传递法

- 等价条件法

- 反证法
(A B) A B
算 对偶原理:把一个等式中的中的∪,∩,E和
的分别代以∩,∪,和E后得到另一等式
二、对称差运算的性质:
① AA= ②A =A ③ A E= A
3.2 ④A B=B A
集 ⑤(A B) C A (B C)
合 ⑥A I (B C) (A I B) (A I C)
一、集合运算的十条定律
3.2
对于全集合E的任意子集A、B、C,有:
集 交换律 AB B A AB B A
合 的 结合律 A(B C) (A B) C

A(B C) (A B) C
本 分配律 A(B C) (A B) (AC)
运 算
A(B C) (A B) (AC)
概 念
(5)A ( )

离散数学第六章 集合-集合的基本运算

离散数学第六章 集合-集合的基本运算

第六章 集合
6.1 集合的基本概念 6.2 集合的基本运算 6.3 全集和集合的补 6.4 自然数与 {x 存在一个 i, 1 i k,x Pi }
把P1∩P2∩┅∩Pk简记为
k
i 1
Pi
k
i 1
Pi {x 对于所有的 i, 1 i k,x Pi }
推论 (p67)
设A, Pi (1≤i≤k)是k+1个集合, 则
A Pi ( A Pi ) i 1 i 1
A
B
C
例1
(p66)
(A-B)∪(A-C)=A在何条件下成立?
分析: A的元素a既是B的元素、也是C的元素,则等式不成立。 解: 根据分析当且仅当 A∩(B∩C)=Ø时,等式成立。 首先,假若(A-B)∪(A-C)=A, 要证明A∩(B∩C)=Ø。 用反证法。 若A∩B∩C≠Ø, 则∃x∊A∩B∩C, 所以 x∊A, x∊B , x∊C 。 由x∊A,x∊B, 有 x ∉A-B, 又由x∊A,x∊C, 有x ∉A-C, 所以有 x ∉ (A-B)∪(A-C)=A。 矛盾说明A∩B∩C=Ø。
对称差
定义2:A,B是两个集合,存在一个集合,它的 元素是所有的或者属于A不属于B,或者属 于B不属于A,称它为集合A和集合B的对 称差,记为A⊕B,即:
A⊕B={x│x∊A且x∉B,或x∊B且x∉A}
A⊕B
由定义,不难知: A⊕B = (A–B)∪(B–A) A⊕ A = Ø A⊕ Ø = A
命题
对于任意的x,若x∊ A∪(B∩C),则 x∊ A,或x∊B∩C 。 当x∊ A,则x∊ A∪B 且x∊ A∪C,所以 x∊ (A∪B)∩(A∪C) ; 当x∊B∩C,则x∊B 且x∊C,就有x∊ A∪B, 且x∊ A∪C, 所以 x∊ (A∪B)∩(A∪C) 。 故 A∪(B∩C)⊆(A∪B)∩(A∪C)

离散数学(chapter3集合的基本概念和运算)

离散数学(chapter3集合的基本概念和运算)

以上运算律的证明思路:欲证P=Q,即证 x P x Q。
2013-7-10 离散数学
20
Байду номын сангаас
三、集合算律
证明分配律:A∪(B∩C) = (A∪B)∩(A∪C) 对x, x A∪(B ∩C) (x A ) (x B∩C )
(x A) (x B x C )
Z: 整数集合
Q: 有理数集合
R: 实数集合 C: 复数集合
: 空集(不含任何元素) E: 全集 (在某一问题中,含有所涉及的全部集合的集合。)
2013-7-10 离散数学 6
三、集合的表示方法
列出集合的所有元素,元素之间用逗号 1、列举法: 隔开。如A = { a, b, c } , B = { 1,2,4,6,7,9 } 用谓词概括该集合中元素的属性。 2、描述法: 如:A = { x | xZ 3 < x 6 } A = { x | P (x) },其中P (x)表示x满足的性质。 即A是由所有使P (x)为真的全体x构成。
2013-7-10 离散数学 3
§3.1 集合的基本概念
内容:集合,元素,子集,幂集等。 重点:(1) 掌握集合的概念及两种表示法, (2) 常见的集合N , Z, Q, R, C 和特殊集合 ,E, (3) 掌握子集及两集合相等的概念, (4) 掌握幂集的概念及求法。
2013-7-10 离散数学 4
2013-7-10
离散数学
8
四、集合之间的关系
3、真子集: B A。
B A B A B A
BABA B=A
4、幂 集:集合A的全体子集构成的集合,记作P (A)。 符号化为 P (A) = { x | x A} n 元集A的幂集P (A)含有2n个元素。

离散数学 概念

离散数学 概念

离散数学概念离散数学是一门研究离散结构的学科,其中的离散结构可以表示为离散对象或离散事件。

它是计算机科学的基础学科之一,在算法设计和系统分析中有着广泛的应用和深远的影响。

离散数学中的概念包括集合、关系、函数、图论、计数等。

1.集合集合是离散数学中最基础、最重要的概念之一。

集合是指具有某种共同特征的事物的总体,用括号{}括起来表示。

例如,一个集合A包含了元素a、b、c,则A={a,b,c}。

集合的基本运算包括:并集、交集、补集和差集。

并集指的是包含两个集合中所有元素的一个新集合,交集指的是两个集合中共有的元素构成的一个集合,补集则是指一个集合相对于另一个集合的所有不包含的元素构成的集合,差集则是指一个集合中除去另一个集合中共有的元素后所剩余的元素所构成的集合。

2.关系关系是指任意两个元素之间的一种有序的二元关系,用箭头表示,例如(x,y)表示x与y之间有一种特定关系。

关系可以是等于(=)、大于(>)、小于(<)等。

根据关系的定义,关系可以分为反对称、对称、传递等几种类型。

其中反对称关系是指如果(x,y) 且(y,x),则x=y;对称关系是指如果(x,y) ,则(y,x);而传递关系则是指如果(x,y)且(y,z),则(x,z)。

3.函数函数是指一个集合中的每一个元素都对应于另一个集合中的唯一元素的一种映射关系。

函数通常用f(x)来表示,其中f为函数名称,x为变量名称。

例如,用f(x)=x^2表示一个函数,当x为2时,f(x)的值为4。

函数的性质包括:单调性、奇偶性、周期性等。

其中单调性是指函数在定义域内的增减情况;奇偶性则是指函数与自身的中心对称关系;周期性则是指函数图像的重复性。

4.图论图论是离散数学中最为重要和实用的一部分,它用数学语言对各种问题进行分析和解决,例如网络连接问题、旅行商问题等。

图由点和边组成,点表示对象,边表示对象之间的关系。

常用的图有有向图和无向图,有向图是指图中的边有一个方向,无向图则是指图中的边没有方向。

离散数学 教案 集合论—基本概念部分(2)

离散数学 教案  集合论—基本概念部分(2)
西南科技大学
(分配律 分配律) 分配律
(已知代入) (已知代入) 已知代入
∀x∈C ⇒x∈(A∩B)∪C ∈ ∈ ∩ ∪
8
计算机科学与技术学院
Discrete Mathematics 试证: ∪ 例4. 试证:(A∪B)-(A∩B)=(A-B)∪(B-A) ∩ ∪ 证明:左边 ∩∼(A∩ 证明:左边=(A∪B)∩∼ ∩B) ∪ ∩∼ =(A∪B)∩(∼A∪∼ ∪ ∩ ∼ ∪∼ ∪∼B) =∅∪ ∩∼ ∪(B∩∼ ∪∅ ∅∪(A∩∼ ∩∼A)∪∅ ∅∪ ∩∼B)∪ ∩∼ =(A-B)∪(B-A) ∪ 故原等式成立,证毕。 故原等式成立,证毕。 (德摩根律 德摩根律) 德摩根律 =(A∩∼ ∪(A∩∼ ∪(B∩∼ ∪(B∩∼ ∩∼A)∪ ∩∼ ∩∼B)∪ ∩∼ ∩∼A)∪ ∩∼ ∩∼B) (分配律 分配律) ∩∼ 分配律 (互补律 互补律) 互补律
Discrete Mathematics
第三章 集 合
3.3 集合的基本运算律
西南科技大学
1
计算机科学与技术学院
Discrete Mathematics 交换律: ∪ 交换律:A∪B=B∪A,A∩B=B∩A ∪ , ∩ ∩ 结合律: ∪ ∪ 结合律:(A∪B)∪C=A∪(B∪C) ∪ ∪ (A∩B)∩ C=A(B∩ C) ∩ ∩ ∩ 分配律: ∪ ∩ 分配律:A∪(B∩C)=(A∪B)∩(A∪C) ∪ ∩ ∪ A∩(B∪C)=(A∩B)∪(A∩C) ∩ ∪ ∩ ∪ ∩ 等幂律: ∪ 等幂律:A∪A=A,A∩A=A , ∩ 同一律: ∪∅ ∪∅=A, ∩ 同一律:A∪∅ ,A∩U=A 零一律: ∩∅ ∩∅=∅ 零一律:A∩∅ ∅,A∪U=U ∪
Discrete Mathematics
第三章 集 合

离散数学 第1章 集合的基本概念和运算

离散数学 第1章 集合的基本概念和运算
定义3.1.1 设A,B为集合,如果B中的每个元素都是A中的元 素,则称B为A的子集合,简称子集。这时也称B被A包含,或A包 含B。记作B⊆A。包含的符号化表示为
B A ( x) ( x B x A)
例:设A={1,2,3,4,5,6,}, B={2,4,5,}及C={1,2,3,4,5} 定义3.1.2(外延性原理)设A,B为集合,如果B⊆A且A⊆B, 则称A与B相等,记作A=B。相等的符号化表示为
x 则 x A B或x A C , A且x B或x A且x C ,即 x A且x B C, 于是x A ( B C ) 所以 ( A B) ( A C ) A ( B C ) 因此 ( A B) ( A C ) A ( B C )
离散数学
第一章 集合的基本集合的基本概念和运算
1.1 1.2 1.3 1.4 集合的基本概念 集合的基本运算 集合中元素的计数 笛卡尔乘积
1.1 集合的基本概念
集合是不能精确定义的基本的数学概念,直观地讲,集合是 由某些可以相互区别的事物汇集在一起所组成的整体。对于给定 的集合和事物,应该可以断定这个特定的事物是否属于这个集合。 如果属于,就称它为这个集合的元素。 集合通常用大写的英文字母来表示。 集合有两种表示方法:枚举法和谓词表示法。前一种方法是 将集合中的所有元素罗列出来,元素之间用逗号隔开,并把它们 用花括号括起来。例如 A {a, b, c} , {1, 2, 3, ...}, {春, 秋, },都是合法的表示。 C 夏, 冬 B 谓词表示法是用谓词来概括集合中元素的属性,例如 2 } F D {x | x是学生 , {x | x是整数 , {x | x R x 1 0} } E 一般的 A={x︱R(x)} R(x)表示x具有性质R,表示任何谓词 集合的元素是彼此不同的,如果同一个元素在集合中多次出现 应该认为是一个元素。集合的元素也是无序的,元素的排列顺序 对集合没有影响。

离散数学 第七讲

离散数学 第七讲

康托尔(Cantor)9 3.1 集合的基本概念集合、元素、子集、包含、集合相等、真子集、空集、幂集、全集9 3.2 集合的基本运算并集、交集、相对补集、绝对补集、对称差、文氏图、算律、9 3.3 集合中元素的计数基数、有(无)穷集、包含排斥原理3.1 集合的基本概念9把具有共同性质的一些东西,汇集成一个整体,就形成一个集合。

9由确定的相互区别的一些对象组成的整体称为集合。

9可确定的可分辨的事物构成的整体。

例:教室内的桌椅、图书馆的藏书、全国的高等学校、自然数的全体、直线上的点、26个英文字母3.1 集合的基本概念集合的元素(member或element)9集合内的对象或单元称为元素。

9集合通常用大写英文字母标记。

例如,N代表自然数集合(包括0),Z代表整数集合,Q代表有理数集合,R代表实数集合,C代表复数集合。

趣味思考9任意自然数都可以表示为两个自然数的平方差吗?9请严谨、详细分析说明。

3.1 集合的基本概念集合的表示法列举法将集合中的元素一一列举,或列出足够多的元素以反映集合中元素的特征。

例如:V={a,e,i,o,u} 或B={1,4,9,16,25,36……}。

描述法通过描述集合中元素的共同特征来表示集合。

例如:V= {x| x是元音字母}B={x| x=a2, a是自然数}C= {x| x∈Z ∧3<x≤6},即C={4,5,6}3.1 集合的基本概念集合的表示9元素a属于集合A,记作a ∈A。

9元素a不属于集合A ,记作a ∉A3.1 集合的基本概念3.1 集合的基本概念集合的特征9确定性:任何一个对象,或者是这个集合的元素,或者不是,二者必居其一。

例如:A={x| x∈N ∧x<100},C={x| x是秃子}9互异性:集合中任何两个元素都是不同的,即集合中不允许出现重复的元素。

例如:集合A={a,b,c,c,b,d},应该是A={a,b,c,d}3.1 集合的基本概念集合的特征9无序性:集合与其中的元素的顺序无关。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
3.2 集合的基本运算
集合的交、并、差、补、对称差 集合相等的证明
并集union
定义:设A,B是两个集合,所有属 于A或属于B的元素组成的集合,称为集合 A与B的并集,记作AB; AB={xxA xB}。
E
A
B
交集intersection
定义:A,B是两个集合,即属于A, 又属于B,称为集合A与B的交集,记为 AB。即AB={xxA xB}
利用集合等式证明
求证:A-(B∪C)=(A-B)∩(A-C)
(A-B)∩(A-C)=A∩~B∩A∩~C =A∩~B∩~C =A∩~(B∪C) =A-(B∪C)
证明吸收律A(AB)=A
证明:A(AB) =(A)(AB) =A(B) =A =A
已知AB=AC,AB=AC,求证B=C
利用谓词公式证明求证:A-
(B∪C)=(A-B)∩(A-C)
证明:(A-B)∩(A-C)={x|x(A-B)∩(A-C)} ={x|x(A-B)∧ x(A-C)} ={x|xA∧(xB)∧(xA)∧(xC)} ={x|(xA)∧(xB)∧(xC)} ={x|(xA)∧(xB)∧(xC)} ={x|(xA)∧ (xB∨xC)} ={x|(xA)∧(xB∪C )} ={x| x A-(B∪C)} =(A-B)∩(A-C)
证明:(使用定义:x左,最后x 右) x P(A) ,则x A, 又由已知A B,所以x B 从而x P(B) 。 ∴ P(A) P(B)
例题
设F表示一年级大学生的集合,S表示二年级大学生的集合,R 表示计算机系学生的结合,M表示数学系学生的集合,T表示选 修离散数学的学生的集合,L表示爱好文学的学生的集合,P表 示爱好体育的学生的集合。则下列句子所对应的集合表达式为:
证明:A∪(B∩C)=(A∪B)∩(A∪C)
(1)xA(BC ) ,分两种情况 (a) 如xAxAB且x AC x(AB)(AC) (b) 如x A,则xBCxB且xC xAB且xAC x(AB)(AC) 任何情况下均有x(AB)(AC) A(BC)(AB)(AC)
不相交
如A∩B=称A,B不相交。
集合的差
设A,B是两集合,属于A而不属于B的元 素全体称为A与B的差集,记作A-B, 即A-B={xxA∧xB}。
E
A
B
补集(complement set)
集合A的补集,记为∼A,是那些不属于集合A的 元素所构成的集合,
即∼A={x | xA}。
通常来说,是在存在一个全集U的情况下讨论集
求证:A-(B∪C)=(A-B)∩(A-C) 证明: x(A-B)∩(A-C),
则x(A-B)∧ x(A-C) (xA)∧(xB)∧(xA)∧(xC) (xA)∧(xB)∧(xC) (xA)∧(xB)∧(xC) (xA)∧ (xB∨xC) (xA)∧(xB∪C ) x A-(B∪C) 从而, A-(B∪C)=(A-B)∩(A-C)
∵P(A)P(B)
∴ uP(B) ∴{x}P(B)
从而P(A)P(B) ∴xB
∴AB 。
另外 ∵ AP(A),
P(A)P(B) ∴AP(B) ∴AB 。
例题:证明:如果AB,那么∼B ∼ A
证明: ∼B∪ ∼ A = ∼(B∩A) = ∼A
从而 ∼B ∼ A
求证:如果A B,则P(A) P(B)
合的补集。全集U是所讨论的问题域中所有元素
所构成的集合。
显然,A=E-A。 可知:x∈∼A xA x∈A
E A
求证A-B=AB
证明
A-B={x|xA-B}
={xxA∧xB}
A
={xxA∧xB}
=AB
E B
当A,B不相交时,A-B=A,B-A=B
对称差
定义:设A,B是两集合,集合(A-B)(B-A) 称为集合A,B的对称差,记作AB。
A1∩A2∩…∩An = {x | 对集合A={x-2<x<2,xR}, B={x0≤x≤4,xR}
求A∪B,A∩B 。 解:
-3 -2 -1 0 1 2 3 4
A∪B={x-2<x<2或0≤x≤4,xR} ={x-2<x≤4,xR}
A∩B={x-2<x<2且0≤x≤4,xR} ={x0≤x<2,xR}
6、零一律 A∩=,A∪E=E
(A∩B)=A∪B
7、补余律 A∩A=,A∪A=E
10、双重否定律(A)=A
8、吸收律 A∪(A∩B)=A
注:A-B=A∩B
A∩(A∪B)=A
集合相等的证明的方法
一、利用集合的定义证明; 二、利用集合等式证明;(常用) 三、利用谓词公式证明; 四、用集合成员表。(略)
集合运算性质(运算律)
1、 交换律A∪B=B∪A,A∩B=B∩A
2、 结合律(A∪B)∪C=A∪(B∪C)
(A∩B)∩C=A∩(B∩ C)
3、 分配律
A∪(B∩C)=(A∪B)∩(A∪C)
A∩(B∪C)=(A∩B)∪(A∩C)
4、幂等律 A∪A=A,A∩A=A
5、同一律 A∪=A,A∩E=A
9、 德摩根律(A∪B)=A∩B
只有数学系和计算机系二 年级的学生才选离散数学。
T ( M∪R )∩S ①
E
A
B
广义的并集
集合的并(union):集合A和B的并AB定义 为:AB = {x | xA或者xB},集合的并可 推广到多个集合,设A1, A2, …, An都是集合, 它们的并定义为:
A1A2∪…An = {x | 存在某个i,使得xAi}
广义的交集
集合的交(intersection):集合A和B的并AB定义 为:AB = {x | xA而且xB},集合的交也可推广 到多个集合,设A1, A2, …, An都是集合,它们的交 定义为:
集合的化简
化简((ABC)(AB))-((A(B-C))A) 证明:原集合=(AB)-A(吸收律)
=(AB)A =(AA)(BA)(分配律)
=(BA) =BA
(互补律) (同一律)
集合包含的性质
• AE •如果ABC,则AC •ABAA∪B •AB A∪B=B AB=A ~B ~A
证明:B=B(AB) (吸收律)
=B(AC) (等量代入)
=(BA)(BC)(分配律)
=(AC)(BC)(等量代入)
=(AB)C(分配律)
=(AC)C(等量代入)
=C
(吸收律)
说明:AB=ACB=C
AB=ACB=C
两种推理均是不成立的。
课堂练习
用三种方法求证: (B-A)∪A=B∪A
1)所有计算机系二年级的学 生都选修离散数学。
4)只有一、二年级的学生才爱 好体育运动。
R ∩S T ②
2)数学系的学生或者爱好文 学或者爱好体育运动。
M L∪P ④
3)数学系一年级的学生都没 有选修离散数学。
M∩F~T ③
PF∪S ⑤
5)除去数学系和计算机系二年 级的学生外都不选离散数学。
即AB={xxA且x BxB且x A}
={x(xA∧x B)(xB∧x A)}
AB=(AB)-(AB) A
E B
对称差举例
例1、A={a,b,e} B={a,c,d} 解:B-A={c,d} A-B={b,e}, AB={c,d,b,e} 例2、A={xx-2,xR},E={xx≤2}求A, AA。 解:A= {xx-2}={x-2≤x≤2,xR} A-A= ∴AA=(A-A)(A-A)==
集合包含的证明
方法: 一、包含的定义;xA,最后x B ; 二、利用已知等式和包含性质
A B A∪B=B A∩B=A A-B= ∼B ∼A
例题:证明:A,B是集合,AB P(A)P(B)


uP(A)
xA
∴uA,
∴{x}A
∵AB
∴{x}P(A),
∴uB,
证明:A∪(B∩C)=(A∪B)∩(A∪C)(续)
(2)x(AB)(AC)xAB且xAC 分两种情况
(a) 若xA,则xA(BC) (b) 若x A, 由x A,xABxB, 由x A,xACxC
xBCxA(BC) 任何情况均有xA(BC) (AB)(AC)A(BC) (1)(2)合并为 A(BC)=(AB)(AC)
集合的交并例题2
设A为奇数集合,B为偶数集合,求A∪B 和A∩B 。 解:A∪B={xx是偶数或x是奇数}=Z
A∩B={xx既是偶数又是奇数}=
集合的交并例题3
设A1={1,{2,3}},A2={2,{1,3}}, A3={3,{1,2}},
求A1∩A2,A1∩A3,A2 ∩ A3。 解:三个集合均有两个元素,其中一个元素是 数。另一元素是两个数组成的集合,三个集合没 有相同元素,∴A1∩A2=A2∩A3=A3∩A1=
相关文档
最新文档