离散数学第六章的PPT课件_第1页
离散数学第六章的PPT课件_第2页
离散数学第六章的PPT课件_第3页
离散数学第六章的PPT课件_第4页
离散数学第六章的PPT课件_第5页
已阅读5页,还剩49页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、1主要内容主要内容l 集合的基本概念集合的基本概念 属于、包含属于、包含 幂集、空集幂集、空集 文氏图等文氏图等l 集合的运算集合的运算l 有穷集的计数有穷集的计数l 集合恒等式集合恒等式 集合运算的算律、恒等式的证明方法集合运算的算律、恒等式的证明方法 第二部分第二部分 集合论集合论第六章第六章 集合代数集合代数26.1 集合的基本概念集合的基本概念1. 集合定义集合定义 集合没有精确的数学定义集合没有精确的数学定义 理解:由离散个体构成的整体称为理解:由离散个体构成的整体称为集合集合,称这些个体为集,称这些个体为集 合的合的元素元素 常见的数集:常见的数集:n, z, q, r, c 等分

2、别表示自然数、整数、有等分别表示自然数、整数、有 理数、实数、复数集合理数、实数、复数集合2. 集合表示法集合表示法 列元素法列元素法-列出集合的所有元素,所有元素之间用逗号隔列出集合的所有元素,所有元素之间用逗号隔开,并把它们用花括号括起来开,并把它们用花括号括起来 谓词表示法谓词表示法-用谓词来概括集合中元素的性质用谓词来概括集合中元素的性质 实例:实例: 列元素法列元素法 自然数集合自然数集合 n=0,1,2,3, 谓词表示法谓词表示法 s= x | x r x2 1=0 3元素与集合元素与集合1. 集合的元素具有的性质集合的元素具有的性质 无序性:元素列出的顺序无关无序性:元素列出的顺

3、序无关 相异性:集合的每个元素只计相异性:集合的每个元素只计 数一次数一次 确定性:对任何元素和集合都确定性:对任何元素和集合都 能确定这个元素是否能确定这个元素是否 为该集合的元素为该集合的元素 任意性:集合的元素也可以是任意性:集合的元素也可以是 集合集合2元素与集合的关系元素与集合的关系 隶属关系:隶属关系: 或者或者 3集合的树型层次结构集合的树型层次结构例如:集合例如:集合a=a,b,c,d,d规定:规定:a a4集合与集合集合与集合集合与集合之间的关系:集合与集合之间的关系: , , =, , , , 定义定义6.1 设设a,b为集合,如果为集合,如果b中的每个元素都是中的每个元素

4、都是a中的元素,则称中的元素,则称b是是a的子集合,简称子集。这时也称的子集合,简称子集。这时也称b被被a包含,或包含,或a包含包含b,记作,记作b a。如果如果b不被不被a包含,则记作包含,则记作b a。 符号化表示为:符号化表示为:b a x ( x b x a ) b a x ( x b x a ) 例如例如n z q r c,但,但z n。显然对任何集合。显然对任何集合a都有都有a a。 定义定义6.2 设设a,b为集合,如果为集合,如果a b且且b a,则称,则称a与与b相等,记作相等,记作ab。 如果如果a与与b不相等,则记作不相等,则记作ab。符号化表示为:符号化表示为: a =

5、 b a b b a定义定义6.3 设设a,b为集合,如果为集合,如果b a且且ba,则称,则称b是是a的真子集,记作的真子集,记作b a。如果如果b不是不是a的真子集,则记作的真子集,则记作b a。符号化表示为:符号化表示为: b a b a b a 例如例如n z q r c,但,但n n。注意:注意: 和和 是不同层次的问题,如是不同层次的问题,如a=a,a和和a5空集、全集和幂集空集、全集和幂集定义定义6.4 空集空集 :不含有任何元素的集合:不含有任何元素的集合符号化表示为:符号化表示为: =x | x x 实例:实例: x | x r x2+1=0 定理定理6.1 空集是任何集合的

6、子集。空集是任何集合的子集。证证 对于任意集合对于任意集合a, a x (xx a) 1(恒真命题恒真命题) 推论推论 是惟一的是惟一的 证明:假设存在空集证明:假设存在空集1 和和 2 ,由定理,由定理6.1有:有: 1 2 和和 2 1 根据集合相等的定义,有根据集合相等的定义,有1 = 2 所以得出结论:所以得出结论: 是惟一的是惟一的 。6空集、全集和幂集空集、全集和幂集 含有含有n个元素的集合简称个元素的集合简称n元集,它的含有元集,它的含有m(mn)个元素)个元素的子集叫做它的的子集叫做它的m元子集。任给一个元子集。任给一个n元集,怎样求出它的元集,怎样求出它的全部子集呢?全部子集

7、呢?例例6.1 a1,2,3,将,将a的子集分类:的子集分类:解:解:0元子集,也就是空集,只有一个:元子集,也就是空集,只有一个: ; 1元子集,即单元集:元子集,即单元集:1,2,3; 2元子集:元子集:1,2,1,3,2,3; 3元子集:元子集:1,2,3。7空集、全集和幂集空集、全集和幂集 定义定义6.5 幂集幂集:设:设a为集合,把为集合,把a的全部子集构成的集合叫的全部子集构成的集合叫做做a的幂集,记作的幂集,记作p(a)(或或pa,2a)。 符号化表示为:符号化表示为:p(a)= x | x a 实例:实例:p()=, p()=, 计数:如果计数:如果 |a|=n,则,则 |p(

8、a)|=2n. 定义定义6.6 全集全集 e:包含了所有集合的集合:包含了所有集合的集合 全集具有相对性:与问题有关,不存在绝对的全集全集具有相对性:与问题有关,不存在绝对的全集86.2 集合的运算集合的运算初级运算初级运算集合的基本运算有并,交,相对补和对称差集合的基本运算有并,交,相对补和对称差 定义定义6.7 设设a,b为集合,为集合,a与与b的并集的并集ab,交集,交集ab,b对对a的相对补集的相对补集ab分别定义如下:分别定义如下: 并并 a b = x | x a x b 交交 a b = x | x a x b 相对补相对补 a b = x | x a x b例如:例如:a=a,

9、b,c,b=a,c=b,da b= a,b,c, a b =a,a b=b,c ,b-a= ,b c= 若两个集合的交集为若两个集合的交集为 ,则称这两个集合是,则称这两个集合是不交不交的的96.2 集合的运算集合的运算定义定义6.8 设设a,b为集合,为集合,a与与b的对称差集的对称差集a b定义为:定义为: 对称差对称差 a b = (a b) (b a) 另一种定义是:另一种定义是:a b = (a b) (a b) 例如:例如:a=a,b,c,b=b,d,a b =a,c,d定义定义6.9 在给定全集在给定全集e以后,以后,a e,a的绝对补集的绝对补集a定义如下:定义如下: 绝对补绝

10、对补 a = e a = x|xex a = x|x a 例如:例如:ea,b,c,d,aa,b,c,则,则ad。10文氏图文氏图集合运算的表示集合运算的表示ababababaea ba baba ba11几点说明几点说明l 并和交运算可以推广到有穷个集合上,即并和交运算可以推广到有穷个集合上,即a1 a2 an = x | xa1 xa2 xan a1 a2 an = x | xa1 xa2 xanl a b a b = l a b = a b = a12广义运算广义运算1. 集合的广义并与广义交集合的广义并与广义交 定义定义6.10 设设a为集合,为集合,a的元素的元素的元素的元素构成的集

11、合称为构成的集合称为a的广的广义并,记为义并,记为a。符号化表示为。符号化表示为 广义并广义并 a = x | z ( z a x z )定义定义6.11 设设a为为非空非空集合,集合,a的所有元素的公共元素构成的的所有元素的公共元素构成的集合称为集合称为a的广义交,记为的广义交,记为a。符号化表示为。符号化表示为 广义交广义交 a= x | z ( z a x z ) 例例6.2 设设aa,b,c,a,c,d,a,e,fbaca,c,d则则aa,b,c,d,e,f,ba,cac,d aa,ba,cac,d 13广义运算广义运算1. 集合的广义并与广义交集合的广义并与广义交 定义定义6.10

12、设设a为集合,为集合,a的元素的元素的元素的元素构成的集合称为构成的集合称为a的广的广义并,记为义并,记为a。符号化表示为。符号化表示为 广义并广义并 a = x | z ( z a x z )定义定义6.11 设设a为为非空非空集合,集合,a的所有元素的公共元素构成的的所有元素的公共元素构成的集合称为集合称为a的广义交,记为的广义交,记为a。符号化表示为。符号化表示为 广义交广义交 a= x | z ( z a x z ) 练习练习: a= 1, 1,2, 1,2,3, b= a, c=a解解: a=1,2,3, a=1 b=a, b=a c=a, c=a14关于广义运算的说明关于广义运算的

13、说明2. 广义运算的性质广义运算的性质 (1) =,无意义无意义 (2) 单元集单元集x的广义并和广义交都等于的广义并和广义交都等于x (3) 广义运算减少集合的层次(括弧减少一层)广义运算减少集合的层次(括弧减少一层) (4) 广义运算的计算:一般情况下可以转变成初级运算广义运算的计算:一般情况下可以转变成初级运算 a = a1, a2, , an = a1 a2 an a= a1, a2, , an = a1 a2 an 3. 引入广义运算的意义引入广义运算的意义 可以表示无数个集合的并、交运算,例如可以表示无数个集合的并、交运算,例如 x | x r=r 这里的这里的 r 代表实数集合代

14、表实数集合. 15运算的优先权规定运算的优先权规定 一一 类运算:广义并,广义交,幂集,绝对补类运算:广义并,广义交,幂集,绝对补 运算运算 运算由右向左顺序进行运算由右向左顺序进行(右结合右结合) 二二 类运算:并类运算:并 ,交,交 ,相对补,相对补 ,对称差,对称差 优先顺序由括号确定优先顺序由括号确定混合运算:一类运算优先于二类运算。混合运算:一类运算优先于二类运算。 例例 a=a,a,b,计算,计算a (aa). 解:解: a (aa) = a,b ( a,ba) = (a b) (a b) a) = (a b) (b a) = b16例例6.5 设设aa,a,b 计算计算a,a和和

15、a(aa)。解解: aa,baaaabaaaabaaa(aa)(ab)(ab)a)(ab)(ba)b所以所以aab,aa,a(aa)b。17作作业业书本书本97页页第第8题题 的的 第(第(4)小题)小题第第9题题 的的 第(第(1)、()、(3)、()、(5)三个小题)三个小题书本书本98页页第第18题题 的的 第(第(1)、()、(3)两个小题)两个小题18有穷集合元素的计数有穷集合元素的计数1. 文氏图法文氏图法2. 包含排斥原理包含排斥原理定理定理6.2 设集合设集合s上定义了上定义了n条性质,其中具有第条性质,其中具有第 i 条性质的条性质的元素构成子集元素构成子集ai, 那么集合中

16、不具有任何性质的元素数为那么集合中不具有任何性质的元素数为 |.|) 1(.|.|2111121nnnkjikjnjijiniinaaaaaaaaasaaai 推论推论 s中至少具有一条性质的元素数为中至少具有一条性质的元素数为|)1(|21111121nmnkjikjinjijiniinaaaaaaaaaaaa 19实例实例例例6.5 求求1到到1000之间(包含之间(包含1和和1000在内)既不能被在内)既不能被5和和6整整除,也不能被除,也不能被8整除的数有多少个?整除的数有多少个?解解 方法一:文氏图方法一:文氏图 定义以下集合:定义以下集合: s= x | x z 1 x 1000

17、a= x | x s x可被可被5整除整除 b= x | x s x可被可被6整除整除 c= x | x s x可被可被8整除整除 画出文氏图,然后填入相应的画出文氏图,然后填入相应的数字,解得数字,解得 n=1000(200+100+33+67) =60020实例实例方法二方法二 |s| = 1000 |a|= 1000/5 =200, |b|= 1000/6 =166, |c|= 1000/8 =125 |a b| = 1000/lcm(5,6) = 1000/33 = 33 |a c| = 1000/lcm(5,8) = 1000/40 = 25 |b c| = 1000/lcm(6,8

18、) = 1000/24 = 41 |a b c| = 1000/lcm(5,6,8) = 1000/120 = 8 = 1000 (200+166+125)+(33+25+41) 8 = 600 |cba 216.3 集合恒等式集合恒等式下面的恒等式给出了集合运算的主要算律,其中下面的恒等式给出了集合运算的主要算律,其中a,b,c代表任意集合。代表任意集合。幂等律幂等律 aaa aaa 结合律结合律 (ab)ca(bc) (ab)ca(bc)交换律交换律 abba abba 分配律分配律 a(bc)(ab)(ac) a(bc)(ab)(ac) 同一律同一律 aa aea零律零律 aee a 排

19、中律排中律 aae 矛盾律矛盾律 aa吸收律吸收律 a(ab)a a(ab)a 德摩根律德摩根律 a(bc)(ab)(ac) a(bc)(ab)(ac) (bc)=bc (bc)=bc e e双重否定律双重否定律 (a)a 22除了以上算律以外,还有一些关于集合运算性质的重要结果。除了以上算律以外,还有一些关于集合运算性质的重要结果。 例如:例如:ab a,ab b (6.24)a ab,b ab (6.25)ab a (6.26)abab (6.27) abb a b aba ab (6.28) a bb a (6.29) (a b) ca (b c) (6.30)a a (6.31)a a

20、 (6.32) a ba c bc (6.33) 23书本书本88页页例例6.5 设设aa,a,b 计算计算a,a和和a(aa)。解解: aa,baaaabaaaabaaa(aa)(ab)(ab)a)(ab)(ba)b所以所以aab,aa,a(aa)b。246.4 集合恒等式(集合恒等式(p92)集合算律集合算律1只涉及一个运算的算律:只涉及一个运算的算律: 交换律交换律、结合律结合律、幂等律幂等律 交换交换a b=b aa b=b aa b=b a结合结合(a b) c=a (b c)(a b) c=a (b c)(a b) c=a (b c)幂等幂等a a=aa a=a25集合算律集合算律

21、 2涉及两个不同运算的算律:涉及两个不同运算的算律: 分配律、吸收律分配律、吸收律 与与 与与 分配分配a (b c)=(a b) (a c)a (b c)=(a b) (a c)a (b c)=(a b) (a c)吸收吸收a (a b)=aa (a b)=a26集合算律集合算律3涉及补运算的算律:涉及补运算的算律: 德摩根律德摩根律,双重否定律双重否定律 德摩根德摩根律律a (b c)=(a b) (a c)a (b c)=(a b) (a c) (b c) = bc (b c) = bc双重否定律双重否定律a=a27集合算律集合算律4涉及全集和空集的算律:涉及全集和空集的算律: 补元律补

22、元律、零律零律、同一律同一律、否定律否定律e补元律补元律aa=aa=e零律零律a=a e=e同一律同一律a=aa e=a否定律否定律=e e=28集合证明题集合证明题证明方法:命题演算法、等式置换法证明方法:命题演算法、等式置换法命题演算证明法的书写规范命题演算证明法的书写规范 (以下的以下的x和和y代表集合公式代表集合公式)(1) 证证x y 任取任取x, x x x y (2) 证证x=y 方法一方法一 分别证明分别证明 x y 和和 y x 都为真。都为真。 方法二方法二 任取任取x,x x x y注意:在使用方法二的格式时,必须保证每步推理都是充注意:在使用方法二的格式时,必须保证每步

23、推理都是充分必要的(等值)分必要的(等值)29集合等式的证明集合等式的证明方法一:命题演算法方法一:命题演算法例例1 证明证明a (a b) = a (吸收律)(吸收律)证证 任取任取x, x a (a b) x a x a b x a (x a x b) x a 因此得因此得 a (a b) = a.例例2 证明证明 (6.27)a b = ab证证 任取任取x, x a b x a x b x a xb x ab 因此得因此得 a b = ab30等式置换法等式置换法方法二:等式置换法方法二:等式置换法例例3 假设交换律、分配律、同一律、零律已经成立,证明吸假设交换律、分配律、同一律、零律

24、已经成立,证明吸 收律收律 a (a b) = a. 证证 a (a b) = (a e) (a b) (同一律)(同一律) = a (e b) (分配律)(分配律) = a (b e) (交换律)(交换律) = a e (零律)(零律) = a (同一律)(同一律)31包含等价条件的证明包含等价条件的证明例例4 证明证明(6.28) a b a b=b a b=a a b= 证明思路:证明思路:l 确定问题中含有的命题:本题含有命题确定问题中含有的命题:本题含有命题 , , , l 确定命题间的关系(哪些命题是已知条件、哪些命题是要确定命题间的关系(哪些命题是已知条件、哪些命题是要证明的结论

25、):本题中每个命题都可以作为已知条件,每证明的结论):本题中每个命题都可以作为已知条件,每个命题都是要证明的结论个命题都是要证明的结论l 确定证明顺序:确定证明顺序:, l 按照顺序依次完成每个证明(证明集合相等或者包含)按照顺序依次完成每个证明(证明集合相等或者包含) 32证明证明证明证明a b a b=b a b=a a b= 证证 显然显然b a b,下面证明,下面证明a b b. 任取任取x, x a b x a x b x b x b x b 因此有因此有a b b. 综合上述得证综合上述得证. a b = a (a b) = a (由知由知a b=b,将,将a b代入代入b,并结合

26、吸收律得证并结合吸收律得证) 33证明证明a b a b=b a b=a a b= a b = a b = (a b) b = a (b b) = a = 假设假设a b不成立,那么不成立,那么 x(x a x b) x a b a b与条件矛盾与条件矛盾. 因此,结论因此,结论a b成立。成立。证明证明34式(式(6.28)在化简集合公式中的应用)在化简集合公式中的应用例例 6.14 化简化简( ( abc ) ( ab ) ) ( ( a( bc ) )a )解:解:由于由于 ab abc , a a( bc ) 因此有:因此有:( ( abc ) ( ab ) ) ( ( a( bc )

27、 )a )= ( ab ) a (由式子(由式子(6.28)= ( ab ) a (由式子(由式子(6.27)= ( aa ) ( ba ) (分配律)(分配律)= ( ba ) (矛盾律)(矛盾律)= ( ba ) (交换律)(交换律)= ba (同一律)(同一律)= b a (由式子(由式子(6.27)35对称差运算算律对称差运算算律 式(式(6.33)的证明)的证明例例 6.15 已知已知a b=a c,证明,证明b=c证证已知已知a b=a c,所以有,所以有 a (a b)=a (a c)(a a) b=(a a) c (由式子(由式子(6.30)b = c (由式子(由式子(6.3

28、2)b = c (由式子(由式子(6.29)b = c (由式子(由式子(6.31)36练习题练习题练习:证明下列集合恒等式练习:证明下列集合恒等式(1)()(a b) c=(a c) b证明证明:左边:左边=(a b) c = ( a b ) c (由式子(由式子(6.27) = ( a c ) b (交换律和结合律)(交换律和结合律) =(a c) b (由式子(由式子(6.27) = 右边右边(2)(a b) a)=a证明:左边证明:左边 = (a b) a) = (a b) a) (德摩根律)(德摩根律) = (a b) a (德摩根律)(德摩根律) = a (吸收律)(吸收律) =

29、右边右边37第六章第六章 练习作业练习作业书本第书本第100页页 第第32题的第(题的第(1)小题)小题 第第33题的第(题的第(1)小题)小题 第第50题题38第六章第六章 总结总结主要内容主要内容l 集合的两种表示法集合的两种表示法l 集合与元素之间的隶属关系、集合之间的包含关系的区集合与元素之间的隶属关系、集合之间的包含关系的区别与联系别与联系l 特殊集合:空集、全集、幂集特殊集合:空集、全集、幂集l 文氏图及有穷集合的计数文氏图及有穷集合的计数l 集合的集合的 , , , , 等运算以及广义等运算以及广义 , 运算运算l 集合运算的算律及其应用集合运算的算律及其应用39第六章第六章 习

30、题课习题课主要内容主要内容l 集合的两种表示法集合的两种表示法l 集合与元素之间的隶属关系、集合之间的包含关系的区集合与元素之间的隶属关系、集合之间的包含关系的区别与联系别与联系l 特殊集合:空集、全集、幂集特殊集合:空集、全集、幂集l 文氏图及有穷集合的计数文氏图及有穷集合的计数l 集合的集合的 , , , , 等运算以及广义等运算以及广义 , 运算运算l 集合运算的算律及其应用集合运算的算律及其应用40基本要求基本要求l 熟练掌握集合的两种表示法熟练掌握集合的两种表示法l 能够判别元素是否属于给定的集合能够判别元素是否属于给定的集合l 能够判别两个集合之间是否存在包含、相等、真包含等关能够

31、判别两个集合之间是否存在包含、相等、真包含等关系系l 熟练掌握集合的基本运算(普通运算和广义运算)熟练掌握集合的基本运算(普通运算和广义运算)l 掌握证明集合等式或者包含关系的基本方法掌握证明集合等式或者包含关系的基本方法41练习练习1 1判断下列命题是否为真判断下列命题是否为真 (1) (2) (3) (4) (5) a, b a, b, c, a, b, c (6) a, b a, b, c, a, b (7) a, b a, b, a, b (8) a, b a, b, a,b 解解 (1)、(3)、(4)、(5)、(6)、(7)为真,其余为假为真,其余为假.42方法分析方法分析(1)

32、判断元素判断元素a与集合与集合a的隶属关系是否成立基本方法:的隶属关系是否成立基本方法: 把把 a 作为整体检查它在作为整体检查它在a中是否出现,注意这里的中是否出现,注意这里的 a 可可 能是集合表达式能是集合表达式. (2) 判断判断a b的四种方法的四种方法l 若若a,b是用枚举方式定义的,依次检查是用枚举方式定义的,依次检查a的每个元素是否的每个元素是否在在b中出现中出现. l 若若a,b是谓词法定义的,且是谓词法定义的,且a, b中元素性质分别为中元素性质分别为p和和q, 那么那么“若若p则则q”意味意味 a b,“p当且仅当当且仅当q”意味意味=l 通过集合运算判断通过集合运算判断

33、a b,即,即a b = b, a b = a, a b = 三个等式中有一个为真三个等式中有一个为真.l 通过文氏图判断集合的包含(注意这里是判断,而不是通过文氏图判断集合的包含(注意这里是判断,而不是证明证明43练习练习22设设 s1=1, 2, , 8, 9, s2=2, 4, 6, 8 s3=1, 3, 5, 7, 9 s4=3, 4, 5 s5=3, 5 确定在以下条件下确定在以下条件下x是否与是否与s1,s5中某个集合相等?如中某个集合相等?如果是,又与哪个集合相等?果是,又与哪个集合相等? (1)若)若 x s5= (2)若)若 x s4但但 x s2= (3)若)若 x s1且

34、且 x s3 (4)若)若 x s3= (5)若)若 x s3 且且 x s144解答解答解解(1) 和和s5不交的子集不含有不交的子集不含有3和和5,因此,因此 x=s2. (2) s4的子集只能是的子集只能是s4和和s5. 由于与由于与s2不交,不能含有偶数,不交,不能含有偶数, 因此因此 x=s5.(3) s1, s2, s3, s4和和s5都是都是s1的子集,不包含在的子集,不包含在s3的子集含有的子集含有 偶数,因此偶数,因此 x=s1, s2或或s4. (4) x s3=意味着意味着 x是是s3的子集,因此的子集,因此 x=s3或或 s5.(5) 由于由于s3是是s1的子集,因此这

35、样的的子集,因此这样的x不存在不存在.45练习练习33. 判断以下命题的真假,并说明理由判断以下命题的真假,并说明理由. (1)a b = a b= (2)a (b c) = (a b) (a c) (3)a a = a (4)如果)如果a b = b,则,则a = e. (5)a = x x,则,则 x a且且x a. 46解题思路解题思路l 先将等式化简或恒等变形先将等式化简或恒等变形.l 查找集合运算的相关的算律,如果与算律相符,结果为真查找集合运算的相关的算律,如果与算律相符,结果为真.l 注意以下两个重要的充要条件注意以下两个重要的充要条件 a b = a a b = a b = a

36、 b a b = b a b = a 如果与条件相符,则命题为真如果与条件相符,则命题为真.l 如果不符合算律,也不符合上述条件,可以用文氏图表示如果不符合算律,也不符合上述条件,可以用文氏图表示集合,看看命题是否成立集合,看看命题是否成立.如果成立,再给出证明如果成立,再给出证明.l 试着举出反例,证明命题为假试着举出反例,证明命题为假.47解答解答解解(1) b=是是a b=a的充分条件,但不是必要条件的充分条件,但不是必要条件. 当当b不空但不空但 是与是与a不交时也有不交时也有a b=a. (2) 这是这是dm律,命题为真律,命题为真.(3) 不符合算律,反例如下:不符合算律,反例如下

37、: a=1,a a=,但是,但是a.(4) 命题不为真命题不为真. a b=b的充分必要条件是的充分必要条件是 b a,不是,不是a=e. (5) 命题为真,因为命题为真,因为 x 既是既是 a 的元素,也是的元素,也是 a 的子集的子集 48练习练习44证明证明 a b = a c a b = a c b = c解题思路解题思路l 分析命题:含有分析命题:含有3 3个命题:个命题: a b = a c , a b = a c, b = c l 证明要求证明要求 前提:命题和前提:命题和 结论:命题结论:命题 l 证明方法:证明方法: 恒等式代入恒等式代入 反证法反证法 利用已知等式通过运算得到新的等式利用已知等式通过运算得到新的等式49解答解答方法一:恒等变形法方法一:恒等变形法 b = b (b a) = b (a b) = b (a c) = (b a) (b c) = (a c) (b c) = (a b) c = (a c) c = c 方法二:反证法方法二:

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论