离散数学公式
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
基本等值式
1.双重否定律 A Û┐┐A
2.幂等律 A Û A∨A, A Û A∧A
3.交换律A∨B Û B∨A, A∧B Û B∧A
4.结合律(A∨B)∨C Û A∨(B∨C) (A∧B)∧C Û A∧(B∧C)
5.分配律A∨(B∧C) Û (A∨B)∧(A∨C) (∨对∧的分配律)
A∧(B∨C) Û (A∧B)∨(A∧C) (∧对∨的分配律)
6.德·摩根律┐(A∨B) Û┐A∧┐B ┐(A∧B) Û┐A∨┐B
7.吸收律 A∨(A∧B) Û A,A∧(A∨B) Û A
8.零律A∨1 Û 1,A∧0 Û 0
9.同一律A∨0 Û A,A∧1 Û A
10.排中律A∨┐A Û 1
11.矛盾律A∧┐A Û 0
12.蕴涵等值式A→B Û┐A∨B
13.等价等值式A«B Û (A→B)∧(B→A)
14.假言易位A→B Û┐B→┐A
15.等价否定等值式 A«B Û┐A«┐B
16.归谬论(A→B)∧(A→┐B) Û┐A
求给定公式范式的步骤
(1)消去联结词→、«(若存在)。
(2)否定号的消去(利用双重否定律)或内移(利用德摩根律)。
(3)利用分配律:利用∧对∨的分配律求析取范式,∨对∧的分配律求合取范式。
推理定律--重言蕴含式
(1) A Þ (A∨B) 附加律
(2) (A∧B) Þ A 化简律
(3) (A→B)∧A Þ B 假言推理
(4) (A→B)∧┐B Þ┐A 拒取式
(5) (A∨B)∧┐B Þ A 析取三段论
(6) (A→B) ∧(B→C) Þ (A→C) 假言三段论
(7) (A«B) ∧(B«C) Þ (A « C) 等价三段论
(8) (A→B)∧(C→D)∧(A∨C) Þ(B∨D) 构造性二难
(A→B)∧(┐A→B)∧(A∨┐A) Þ B 构造性二难(特殊形式)
(9)(A→B)∧(C→D)∧(┐B∨┐D) Þ(┐A∨┐C)破坏性二难
设个体域为有限集D={a1,a2,…,an},则有
(1)"xA(x) Û A(a1)∧A(a2)∧…∧A(an)
(2)$xA(x) Û A(a1)∨A(a2)∨…∨A(an)
设A(x)是任意的含自由出现个体变项x的公式,则
(1)┐"xA(x) Û $x┐A(x)
(2)┐$xA(x) Û "x┐A(x)
设A(x)是任意的含自由出现个体变项x的公式,B中不含x的出现,则(1)"x(A(x)∨B) Û "xA(x)∨B
"x(A(x)∧B) Û "xA(x)∧B
"x(A(x)→B) Û $xA(x)→B
"x(B→A(x)) Û B→"xA(x)
(2)$x(A(x)∨B) Û $xA(x)∨B
$x(A(x)∧B) Û $xA(x)∧B
$x(A(x)→B) Û "xA(x)→B
$x(B→A(x)) Û B→$xA(x)
设A(x),B(x)是任意的含自由出现个体变项x的公式,则
(1)"x(A(x)∧B(x)) Û "xA(x)∧"xB(x)
(2)$x(A(x)∨B(x)) Û $xA(x)∨$xB(x)
全称量词“"”对“∨”无分配律。
存在量词“$”对“∧”无分配律。
UI规则。
UG规则。EG规则。EI规则。
A(c)
xA(x)
或
A(y)
xA(x)
∴
∀
∴
∀
xA(x)
A(y)
∀
∴
xA(x)
A(c)
∃
∴
A(c)
xA(x)
∴
∃
A∪B={x|x∈A∨x∈B } 、
A∩B={x|x∈A∧x∈B }
A-B={x|x∈A∧xÏB }
幂集P(A)={x | xÍA}
对称差集AÅB=(A-B)∪(B-A)
AÅB=(A∪B)-(A∩B)
绝对补集~A={x|x Ï A }
广义并∪A={x | $z(z∈A∧x∈z)} 广义交∩A={x | "z(z∈A→x∈z)}设A={{a,b,c},{a,c,d},{a,e,f}} B={{a}} C={a,{c,d}}
则∪A={a,b,c,d,e,f}
∪B={a}
∪C=a∪{c,d}
∪Æ=Æ
∩A={a}
∩B={a}
∩C=a∩{c,d}
集合恒等式
幂等律A∪A=A A∩A=A
结合律(A∪B)∪C=A∪(B∪C)(A∩B)∩C=A∩(B∩C)
交换律A∪B=B∪A A∩B=B∩A
分配律A∪(B∩C)=(A∪B)∩(A∪C) A∩(B∪C)=(A∩B)∪(A∩C)
同一律A∪Æ=A A∩E=A
零律A∪E=E A∩Æ=Æ
排中律A∪~A=E
矛盾律A∩~A=Æ
吸收律A∪(A∩B)=A A∩(A∪B)=A
德摩根律A-(B∪C)=(A-B)∩(A-C) A-(B∩C)=(A-B)∪(A-C)
~(B∪C)=~B∩~C~(B∩C)=~B∪~C
~Æ=E~E=Æ
双重否定律~(~A)=A
集合运算性质的一些重要结果
A∩BÍA,A∩BÍB
AÍA∪B,BÍA∪B
A-BÍA
A-B=A∩~B
A∪B=B Û AÍB Û A∩B=A Û A-B=Æ
AÅB=BÅA
(AÅB)ÅC=AÅ(BÅC)
AÆÅ=A
AÅA=Æ
AÅB=AÅC Þ B=C
对偶(dual)式:一个集合表达式,如果只含有∩、∪、~、Æ、E、=、Í、Ê,那么同时把∩与∪互换,把Æ与E互换,把Í与Ê互换,得到式子称为原式的对偶式。
有序对
(2)
笛卡儿积的符号化表示为A×B={
如果|A|=m,|B|=n,则|A×B|=mn。
笛卡儿积的运算性质
(1)对任意集合A,根据定义有
A×Æ=Æ, Æ×A=Æ
(2)一般的说,笛卡儿积运算不满足交换律,即
A×B≠B×A (当A≠Æ∧B≠Æ∧A≠B 时)
(3)笛卡儿积运算不满足结合律,即
(A×B)×C≠A×(B×C) (当A≠Æ∧B≠Æ∧C≠Æ时)
(4)笛卡儿积运算对并和交运算满足分配律,即
A×(B∪C)=(A×B)∪(A×C) (B∪C)×A=(B×A)∪(C×A)
A×(B∩C)=(A×B)∩(A×C) (B∩C)×A=(B×A)∩(C×A)
(5)AÍC ∧BÍD Þ A×B Í C×D
常用的关系
对任意集合A,定义
全域关系EA={
恒等关系IA={
空关系Æ