ImageVerifierCode 换一换
格式:PPT , 页数:49 ,大小:487KB ,
资源ID:55825      下载积分:10 金币
快捷下载
登录下载
邮箱/手机:
温馨提示:
快捷下载时,用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)。 如填写123,账号就是123,密码也是123。
特别说明:
请自助下载,系统不会自动发送文件的哦; 如果您已付费,想二次下载,请登录后访问:我的下载记录
支付方式: 支付宝    微信支付   
验证码:   换一换

加入VIP,免费下载
 

温馨提示:由于个人手机设置不同,如果发现不能下载,请复制以下地址【https://www.docduoduo.com/d-55825.html】到电脑端继续下载(重复下载不扣费)。

已注册用户请登录:
账号:
密码:
验证码:   换一换
  忘记密码?
三方登录: 微信登录   QQ登录   微博登录 

下载须知

1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。
2: 试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。
3: 文件的所有权益归上传用户所有。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 本站仅提供交流平台,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

版权提示 | 免责声明

本文(离散数学重要公式定理汇总.ppt)为本站会员(无敌)主动上传,道客多多仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知道客多多(发送邮件至docduoduo@163.com或直接QQ联系客服),我们立即给予删除!

离散数学重要公式定理汇总.ppt

1、大一上,离散数学重要公式定理汇总,2018/3/8,2,基本的等价公式 对合律 PP 幂等律 PPP PPP 结合律 P(QR)(PQ)R P(QR)(PQ)R 交换律 PQQP PQQP 分配律 P(QR)(PQ)(PR) P(QR)(PQ)(PR) 吸收律 P(PQ)P P(PQ)P 德摩根定律 (PQ)PQ (PQ)PQ,Formula,2018/3/8,3, 同一律 PFP PTP 零律 PTT PFF 互补律 PPT PPF附加: PQPQ PQQP PQ (PQ)(QP) PQ (PQ)(PQ) PQ (PQ)(PQ ),Formula,2018/3/8,4,等价公式(前10个)与

2、集合论的公式比较: 对合律 AA A表示A的绝对补集 幂等律 AAA AAA 结合律 A(BC)(AB)C; A(BC)(AB)C 交换律 ABBA ABBA 分配律 A(BC)(AB)(AC) A(BC)(AB)(AC) 吸收律 A(AB)A A(AB)A,Formula,2018/3/8,5,德摩根定律 (AB)AB (AB)AB 同一律 AA; AEA E表示全集 零律 AEE A 否定律 AAE AA,Formula,2018/3/8,6,Definition,永真(重言)式(Tautology)公式中的命题变量元论怎样指派,公式对应的真值恒为T。 永假(矛盾)式(Contradict

3、ion)公式中的命题变量无论怎样代入,公式对应的真值恒为F。 可满足公式(Satisfaction)公式中的命题变量无论怎样代入,公式对应的真值总有一种情况为T。一般命题公式(Contingency)既不是永真公式也不是永假公式。,2018/3/8,7,3.重要的重言蕴含式(如教材第43页所示) I1.PQP , I2. PQQ I3. PPQ I4. QPQ I5. PPQ I6. QPQ I7. (PQ)P I8. (PQ)Q I9. P,Q PQ I10. P(PQ)Q I11. P(PQ)Q I12. Q(PQ)P I13. (PQ)(QR)PR I14. (PQ)(PR)(QR)R

4、I15. AB (AC)(BC) I16. AB (AC)(BC),Formula,2018/3/8,8,蕴含的性质*若AB且A为重言式,则B必为重言式*若AB且BC,则AC (传递性)*若AB且AC,则A(B C) *若AB且C B,则(AC) B证明见书P22,Formula,2018/3/8,9,conjunction,一、全功能真值表,PQ,QP,2018/3/8,10,3.析取范式与合取范式的化法 化成限定性公式。 公式E16 PQPQ 公式E21 PQ (PQ)(PQ) 公式E20 PQ (PQ)(QP) 公式E16 PQ (PQ)(PQ) 将否定联结词移到命题变量的前面。 A(P

5、1,P2,Pn)A*(P1,P2,Pn) (PQ)PQ 、(PQ)PQ 用分配律、幂等律等公式进行整理,使之成为所要求的形式。,normal form,2018/3/8,11,主析取范式定义 析取范式 A1A2.An, , 其中每个Ai (i=1,2.n)都是小项,称之为主析取范式。思考:主析取范式与析取范式的区别是什么?主析取范式的写法 方法:列真值表 列出给定公式的真值表。 找出真值表中每个“T”对应的真值指派再对应的小项。用“”联结上述小项,即可。,normal form,2018/3/8,12,主合取范式定义 合取范式 A1A2. An, , 其中每个Ai (i=1,2.n)都是大项,

6、称之为主合取范式。主合取范式的写法 方法:列真值表 列出给定公式的真值表。 找出真值表中每个“F”对应的真值指派再对应的大项。 用“”联结上述大项,即可。,normal form,2018/3/8,13,Brief Summary,第一章 小结,知识网络:,2018/3/8,14,如果是个不含客体变元x的谓词公式,且不在x和x的辖域内,可以将放入x和x的辖域内。即得如下公式: 1. xA(x)Bx(A(x)B) 2. xA(x)Bx(A(x)B) 3. xA(x)Bx(A(x)B) 4. xA(x)Bx(A(x)B) 5. BxA(x)x(BA(x) 6. BxA(x)x(BA(x) 7. x

7、A(x)Bx(A(x)B) 8. xA(x)Bx(A(x)B),量词辖域的扩充公式,2018/3/8,15,1. x(A(x)B(x)xA(x)xB(x)2. x(A(x)B(x)xA(x)xB(x)3. x(A(x)B(x)xA(x)xB(x)4. xA(x)xB(x)x(A(x)B(x)证明:设论域为a1,a2,.,an, x(A(x)B(x) (A(a1)B(a1)(A(a2)B(a2) (A(an)B(an) (A(a1)A(a2).A(an) (B(a1)B(a2).B(an) xA(x)xB(x),量词分配公式,2018/3/8,16,其它公式,1. x(A(x)B(x)xA(x)

8、xB(x) 2. xA(x)xB(x)x(A(x)B(x),证明1: xA(x)xB(x)xA(x)xB(x) xA(x)xB(x)x(A(x)B(x)x(A(x)B(x),证明2: xA(x)xB(x) xA(x)xB(x) xA(x)xB(x) x(A(x)B(x) x(A(x)B(x),2018/3/8,17,量词之间有如下公式:1. xyA(x,y)yxA(x,y)2. xyA(x,y)yxA(x,y)3. yxA(x,y)xyA(x,y)4. xyA(x,y)xyA(x,y)5. yxA(x,y)xyA(x,y)6. xyA(x,y)yxA(x,y)7. yxA(x,y)xyA(x,

9、y)8. xyA(x,y)yxA(x,y)注意:下面式子不成立xyA(x,y)yxA(x,y),2018/3/8,18,为了便于记忆,用图形表示上面八个公式。,2018/3/8,19,第二章 小结,集合的性质幂等律 对任何集合A,有AA=A。交换律 对任何集合A、B,有AB=BA。结合律 对任何集合A、B、C,有 (AB)C=A(BC)。同一律 对任何集合A,有AE=A。零律 对任何集合A,有A=。 AB AB=A。,交、并的性质幂等律 对任何集合A,有AA=A。交换律 对任何集合A、B,有AB=BA。 结合律 对任何集合A、B、C,有 (AB)C=A(BC)。同一律 对任何集合A,有A=A。

10、零律 对任何集合A,有AE =E 。分配律 对任何集合A、B、C,有 A(BC) =(AB)(AC)。 A(BC) =(AB)(AC)。,吸收律 对任何集合A、B,有 A(AB)=A A(AB) =A证明: A(AB) = (AE)(AB) (同一) = A(EB) (分配) = AE=A (零律) (同一) AB AB=B,差集的性质设A、B、C是任意集合,则 A-=A -A= A-A= A-BA AB A-B= (A-B)-C=(A-C)-(B-C) A-(BC)=(A-B)(A-C) A-(BC)=(A-B)(A-C) A(B-C)=(AB)-(AC)注意:对- 是不可分配的,如A(A-

11、B)=A 而(AA)-(AB)=,有关绝对补集的性质设A、B、C是任意集合,则 E= =E (A)=A AA= AA=E A-B=AB(AB)=AB (AB)=ABAB BA A=B 当且仅当AB=E且 AB=,有关对称差的性质 交换律 对任何集合A、B,有AB=BA。 结合律 对任何集合A、B、C,有 (AB)C=A(BC)。教材里有证明。 同一律 对任何集合A,有A=A。 对任何集合A,有AA=。 对可分配 A(BC)=(AB)(AC),一. 自反性定义:设R是集合A中的关系,如果对于任意xA都有R (xRx),则称R是A中自反关系。 即 R是A中自反的关系x(xAxRx)例如:在实数集合

12、中,“”是自反关系,因为,对任意实数x,有x x.,关系的性质,从关系有向图看自反性:每个结点都有环。从关系矩阵看自反性:主对角线都为1。,二.反自反性定义:设R是集合A中的关系,如果对于任意的xA都有R ,则称R为A中的反自反关系。 即 R是A中反自反的x(xAR) 从关系有向图看反自反性:每个结点都无环。 从关系矩阵看反自反性:主对角线都为0。如 实数的大于关系,父子关系是反自反的。注意:一个不是自反的关系,不一定就是反自反 的。,三.对称性定义:R是集合A中关系,若对任何x, yA,如果有xRy,必有yRx,则称R为A中的对称关系。 R是A上对称的 xy(xAyAxRy) yRx)从关系

13、有向图看对称性:在两个不同的结点之间,若有边的话,则有方向相反的两条边。从关系矩阵看对称性:以主对角线为对称的矩阵。例 邻居关系和朋友关系是对称关系。,四.反对称性定义:设R为集合A中关系,若对任何x, yA,如果有xRy,和yRx,就有x=y,则称R为A中反对称关系 。,由R的关系图看反对称性:两个不同的结点之间最多有一条边。 从关系矩阵看反对称性:以主对角线为对称的两个元素中最多有一个1。另外对称与反对称不是完全对立的,有些关系它既是对称也是反对称的,如空关系和恒等关系。,五. 传递性定义:R是A中关系,对任何x,y,zA,如果有xRy,和yRz,就有xRz,则称R为A中传递关系。 即R在

14、A上传递xyz(xAyAzAxRyyRz)xRz)例 实数集中的、,集合、是传递的。 从关系关系图和关系矩阵中不易看清是否有传递性。必须直接根据传递的定义来检查。 检查时要特别注意使得传递定义表达式的前件为F的时候此表达式为T,即是传递的。 即若R与R有一个是F时(即定义的前件为假),R是传递的。,本节要求: 1.准确掌握这五个性质的定义。 2.熟练掌握五个性质的判断和证明。R是A中自反的x(xAxRx)R是A中反自反的x(xAR)R是A上对称的xy(xAyAxRy) yRx)R是A上反对称的xy(xAyAxRyyRx) x=y)xy(xAyAxyxRy)y x)R在A上传递xyz(xAyAz

15、AxRyyRz)xRz)注意 性质表达式的前件为F时此表达式为T,即R是满足此性质的。 (自反和反自反性除外),若RAB SBC TBC 则有,证明 任取R (ST) b(bBRST)b(bBR(ST))b(bBRS) (bBRT)b(bBRS) b(bBRT)R SR T(R S)(R T)所以R (ST)=(R S)(R T),R是从A到B的关系,则,2. RC的有向图:是将R的有向图的所有边的方向颠倒一下即可。3. RC的矩阵 M =(MR)T 即为R矩阵的转置。如,=,MR,c,三.性质令R、S都是从X到Y的关系,则 1. (RC)C = R 2. (RS)C = RCSC 。 3.

16、(RS)C = RCSC 。 4. (RS)C = RCSC 。,5. RS RC SC 。,6.(R)C=RC,7.令R是从X到Y的关系,S是Y到 Z的关系,则 (R S)C= SC RC 。 (注意RC SC ),8. R是A上关系,则 R是对称的,当且仅当 RC =R R是反对称的,当且仅当 RRC IA。,四.性质定理5. R是A上关系,则 R是自反的,当且仅当 r(R)=R. R是对称的,当且仅当 s(R)=R. R是传递的,当且仅当 t(R)=R.定理6. R是A上关系,则 R是自反的,则s(R)和t(R)也自反。 R是对称的,则r(R)和t(R)也对称。 R是传递的,则r(R)也

17、传递。,定理7:设R1、R2是A上关系,如果R1R2 ,则 r(R1) r(R2) s(R1) s(R2) t(R1)t(R2) 证明 r(R1)=IAR1IAR2= r(R2) ,类似可证。定理8:设R是A上关系,则 sr(R)=rs(R) tr(R)=rt(R) st(R)ts(R)证明: sr(R)=r(R)(r(R)c=(RIA)(RIA)c = (RIA)(RcIAc) =RIARcIA = (RRc)IA= s(R)IA=rs(R) 的证明用前边证明的结论:(RIA)k= IARR2.Rk可证,这里从略。,六. 函数的类型,一对一,一对一,满射的,映内的,入射的单射的一对一的,双射

18、的一一对应的,函数复合的性质,1. 定理5-2.1 满足可结合性 f :XY, g:YZ, h :ZW 是函数,则 (h g) f =h (g f ),2.定理5-2.2 f :XY, g:YZ是两个函数, 则 如果f 和g是满射的,则 g f 也是满射的; 如果f 和g是入射的,则 g f 也是入射的; 如果f 和g是双射的,则 g f 也是双射的。,3.定理5-2.3 如果 gf 是满射的,则g是 满射的;如果gf 是入射的,则 f 是入射的; 如果 gf 是双射的,则f是入射的和g是 满射的。4.定理5-2.4 f:XY是函数, 则 f IX= f 且 IYf=f 。,性质,1.定理5-

19、3.1 设f :XY是双射的函数,则(f-1)-1= f。2.定理5-3.2 设f :XY是双射的函数,则有 f-1 f= IX 且 f f-1 = IY 。证明:先证明定义域、陪域相等。 因为 f:XY是双射的,f-1:YX也是双射的,所以 f-1 f :XX ; IX:XX 可见f-1 f 与IX 具有相同的定义域和陪域。 再证它们的对应规律相同:xX, 因f:XY, yY, 使得 y=f(x),又f 可逆,故 f-1(y)=x,于是 f-1 f (x)=f-1(f(x)=f-1(y)=x= IX (x) 同理可证 f f-1 = IY 。,3.定理5-3.3 令 f: XY, g:YX是

20、两个函数, 如果g f= IX 且 f g = IY ,则 g= f-1 。证明:证f和g都可逆。因为g f= IX , IX是双射的, 由关系复合性质3得, f是入射的和g是 满射的。同理由 f g = IY,得g是入射的和f 是 满射的。所以f和g都可逆。显然f-1和g具有相同的定义域和陪域。证明它们的对应规律相同。 任取yY, f-1(y)= f-1 IY (y) = f-1 (f g) (y) = (f-1 f) g (y) =( IX g) (y) =g(y) 所以f-1 =g,顺便说明: f-1 =g 的两个条件必须同时满足,缺一不可。例如,此例只满足g f=IX ,但 f与 g都

21、非双射,不可逆。,4. 定理5-3.4,令 f:XY, g:YX是两个双射函数,则 (g f) -1 =f -1 g-1此定理与关系的复合求逆(R S)C=SCRC 类似.,2.性质令A,B是全集E的子集,1) A=x(A(x)=0) 2) A=Ex(A(x)=1)3) ABx(A(x) B(x),证明: 任取xE, 从下表看出ABx(A(x) B(x) ),9) A-B(x) =A(x)-AB(x) 证明: 任取xEA-B(x) =AB(x) =A(x)B (x)= A(x)(1-B (x)=A(x)-A(x)B (x)= A (x) -AB(x),应用上述公式可以得到一些集合公式。例如证明

22、吸收律: A(AB) =A证明: 任取xA, A(AB)(x) =A(x)+AB (x)-A(AB)(x)=A(x)+AB (x)-AB(x)=A(x),3.计算公式 KA1=KA2=. =KAn=, 则 KA1A2.An = KA=KB=, 则 KAB = KA= KB=0 , (或KB=n),(B是多可数集) 则 KAB =,定理5-6.2 如果集合A到B存在入射函数, 则KAKB。定理5-6.3(Zermelo定理) A和B是任何集合, 则以下 三条之一必有一个成立: a) KAKB. b) KBKA c) KA=KB.,定理5-6.4(Contor- Schroder- Bernstein定理) A和B是任何集合, 如果 KAKB 且 KBKA 则KA=KB。,定理5-6.5 设A是有限集合, 则KA 0 ,定理5-6.6 设A是无限集合, 则0 KA,连续统假设: 是大于0的最小基数,不存在集合A使得0 KA ,

本站链接:文库   一言   我酷   合作


客服QQ:2549714901微博号:道客多多官方知乎号:道客多多

经营许可证编号: 粤ICP备2021046453号世界地图

道客多多©版权所有2020-2025营业执照举报