离散数学公式.pdf
《离散数学公式.pdf》由会员分享,可在线阅读,更多相关《离散数学公式.pdf(11页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、基本等值式 1、双重否定律A 2。幂等律 AA,A A 3。交换律AB BA,AB BA 4、结合律 (AB)C A(BC)(A)C A(BC)5、分配律 (C)(AB)(AC)(对得分配律)(BC)(AB)(C)(对得分配律)6、德摩根律 ()AB (AB)AB 7、吸收律 A(A)A,A()A 8。零律 1 1,0 9、同一律 A A,A1 A 0、排中律 A 11、矛盾律 A 0 12。蕴涵等值式 AB AB、等价等值式 AB (AB)(BA)14、假言易位 AB BA 5。等价否定等值式 A B 16、归谬论 (AB)(AB)A 求给定公式范式得步骤 (1)消去联结词、(若存在)。()
2、否定号得消去(利用双重否定律)或内移(利用德摩根律)、(3)利用分配律:利用对得分配律求析取范式,对得分配律求合取范式。推理定律-重言蕴含式(1)(A)附加律(2)(A)A 化简律(3)(AB)A B 假言推理(4)(A)B A 拒取式(5)(AB)B 析取三段论 (6)(AB)(C)(AC)假言三段论(7)(A)(BC)(A C)等价三段论(8)(B)(CD)(C)(BD)构造性二难(AB)(AB)(AA)B 构造性二难(特殊形式)()(AB)(C)(BD)(C)破坏性二难 设个体域为有限集 Da,a2,an,则有(1)A(x)(a1)A(2)(an)(2)xA()A(a)A(2)A(an)
3、设 A(x)就是任意得含自由出现个体变项 x 得公式,则(1)x(x)A(x)()xA(x)xA(x)设 A()就是任意得含自由出现个体变项得公式,B 中不含得出现,则(1)x(A()B)xA(x)B x(A(x)B)xA(x)x(A(x)B)xA(x)B x(BA(x)BxA(x)(2)x(A()x(x)B x(A(x)B)xA(x)B x(A(x)B)xA(x)B x(BA(x)xA(x)设(x),()就是任意得含自由出现个体变项得公式,则()x(x)B(x)x()()(2)(x)B(x)(x)xB()全称量词“”对“”无分配律。存在量词“”对“”无分配律。UI 规则。UG 规则、E规则。
4、EI 规则。ABxxAB 、ABx|xAB A-xxAxB 幂集 P()|A 对称差集 A(-B)(B)A=(AB)(AB)绝对补集 x|x A 广义并 A=x z(zAxz)广义交 Ax z(A)设 A=a,b,a,c,e,a C,d 则 A=a,c,d,f Ba C=ac,a B=a Cac,d 集合恒等式 幂等律 AAA AA 结合律 (AB)A(C)(A)C=(BC)交换律 ABA AB=B 分配律 A(C)(AB)()(BC)=(AB)(C)同一律 AEA 零律 AEE 排中律 AA=E 矛盾律 AA 吸收律 A(A)=A A(AB)=A 德摩根律 (BC)(A-B)(AC)A-(B
5、C)=(-B)(A)(BC)BC (B)BC =E 双重否定律(A)A 集合运算性质得一些重要结果 BA,ABB AAB,AB ABA AB=AB AB AB A-B BBA (AB)C=A(BC)A=A AA AAC C 对偶(dual)式:一个集合表达式,如果只含有、E、=、,那么同时把与互换,把与 E 互换,把与互换,得到式子称为原式得对偶式、有序对x,y具有以下性质:(1)当 x时,x,yy,、(2)xAB 如果|m,|B|=,则AB|=n。笛卡儿积得运算性质 (1)对任意集合 A,根据定义有 A,A=(2)一般得说,笛卡儿积运算不满足交换律,即 ABBA (当 B AB 时)(3)笛
6、卡儿积运算不满足结合律,即 (AB)CA(B)(当 B C 时)(4)笛卡儿积运算对并与交运算满足分配律,即 A(B)=(B)(AC)(BC)=(BA)(C)A(B)=(AB)(AC)(C)=(A)()(5)B B D 常用得关系 对任意集合 A,定义 全域关系 EA=x,y|xA=AA 恒等关系 IA=|xA 空关系 小于或等于关系:LA=,yx,yAy,其中 AR。整除关系:B=x,y,yBx 整除 y,其中 AZ,Z就是非零整数集 包含关系:R=x,yAx,其中 就是集合族。关系矩阵与关系图 设 1,2,3,=1,1,1,2,2,2,4,则 R 得关系矩阵与关系图分别就是 定义域 om
7、R x y(,yR)值域 ran R=y x(,1,2,4,得定义域、值域与域。解答dom R=1,2,4 r,3,4 fl=1,2,3,4 逆 R-1x,yy,xR 右复合 FG=x,t(x,tt,G)限制 R=|xA 像 RA=ran(RA)例 设 R,1,3,2,2,4,2 1=1,2,1,3 2,3=,2,4,2 1=2,3 R=R3=2 设 F 就是任意得关系,则 ()(F1)=F (2)do F1=r F,rn 1=om F 设 F,G,H 就是任意得关系,则(1)(G)=(H)(2)(FG)1G1 F-1 设 R 为 A 上得关系,则 R IA=I R=R 设 F,G,H 就是任
8、意得关系,则(1)F(GH)FF(2)(GH)F=GFHF()F(G)FGFH4()GH)FGFHF 设 F 为关系,A,B 为集合,则(1)F(AB)=FFB (2)AB=AFB (3)F(AB)=A (4)FABFAF 关系得幂运算 设 R 为上得关系,n 为自然数,则得 n 次幂定义为:(1)R0=x,xAIA )2(Rn+n R 幂运算得性质 设 A 为元集,R 就是 A 上得关系,则存在自然数与 t,使得 Rs=Rt。设 R 就是 A 上得关系,m,nN,则(1)R Rn=Rm+n (2)(Rm)mn 设 R 就是 A 上得关系,若存在自然数 s,t(st)使得 R=R,则(1)对任
9、何 kN 有 s+k=k(2)对任何 k,N 有 Rs+k+i=+,其中=s(3)令,R1,t1,则对于任意得 qN 有 RqS 自反(xAx,),反自反(xAx,x),对称 xy(,x,yRy,xR)反对称 y(,yARy,xx=y),传递 xyz(,y,zAx,yy,R)关系性质得等价描述 设 R 为 A 上得关系,则(1)在 A 上自反当且仅当 I R(2)R 在上反自反当且仅当 IA=(3)R 在上对称当且仅当 R=1(4)R 在上反对称当且仅当 RR1 IA()R 在 A 上传递当且仅当 RR (1)若 R1,R2 就是自反得与对称得,则1R也就是自反得与对称得。(2)若 R1 与
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 公式
限制150内