离散数学公式.docxVIP

基本等值式

双重否定律 A?┐┐A

幂等律 A?A∨A, A?A∧A

交换律 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

同一律 A∨0?A，A∧1?A

排中律 A∨┐A?1

矛盾律 A∧┐A?0

蕴涵等值式 A→B?┐A∨B

等价等值式 A?B?(A→B)∧(B→A)

假言易位 A→B?┐B→┐A

等价否定等值式 A?B?┐A?┐B

16.归谬论 (A→B)∧(A→┐B)?┐A

求给定公式范式的步骤

消去联结词→、?(若存在)。

否定号的消去(利用双重否定律)或内移(利用德摩根律)。

利用分配律：利用∧对∨的分配律求析取范式，∨对∧的分配律求合取范式。

推理定律--重言蕴含式

A?(A∨B) 附加律

(A∧B)?A 化简律

(A→B)∧A?B 假言推理

(A→B)∧┐B?┐A 拒取式

(A∨B)∧┐B?A 析取三段论

(A→B)∧(B→C)?(A→C) 假言三段论

(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)破坏性二难

1

1

设个体域为有限集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规则。

?xA(x)

或

?A(y)

A(y)

??xA(x)

A(c)

??xA(x)

?xA(x)

?A(c)

?xA(x)

?A(c)

2SpongeBobSquarePants

2

SpongeBobSquarePants

2

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＝AA∩A＝A

结合律 (A∪B)∪C＝A∪(B∪C)(A∩B)∩C＝A∩(B∩C)

交换律A∪B＝B∪AA∩B＝B∩A

分配律 A∪(B∩C)＝(A∪B)∩(A∪C)A∩(B∪C)＝(A∩B)∪(A∩C)

同一律 A∪?＝AA∩E＝A

零律 A∪E＝E