【离散数学总结】

离散数学

→
¬
∨
∧
<=>

第一章 命题与命题公式

命题的等值演算：

• ¬( ¬P) <=> P
• P ∧ ¬P <=> F
• P ∨ ¬P <=> T
• P ∧ T <=> P
• P ∨ T <=>T
• P→Q <=> ¬P∨Q

德摩根律：

• ¬(P∧Q) <=> ¬P∨¬Q
• ¬(P∨Q) <=> ¬P∧¬Q

结合律：

• (A∧B) ∧C ∧ A∧(B∧C)
• (A∨B)∨C<=> A∨(B∨C)

吸收律：

• A ∧ (A∨B)<=>A
• A ∨ (A∧B)<=>A

分配律：

• A ∧ (B∨C) <=> (A∧B) ∨ (A∧C)
• A ∨ (B∧C) <=> (A∨B) ∧ (A∨C)

主析取范式

设命题公式A中含n个命题变项，如果A得析取范式中的简单合取式全是极小项，则称该析取范式为A的主析取范式。

命题符号化

1.虽然 A，但是 B<=> A∧B
2.只要 A，就 B<=>A→B
3.因为A，所以B<=>A→B
4.只有A，才B<=>B→A
5.除非A，否则B<=>¬A→B或者¬B→A

第二章 命题逻辑的推理理论

(G↔H)=(G→H)∧(H→G)=(¬G∨H)∧(¬H∨G);
(G→H)=(¬G∨H);(蕴含式)
G∨G=G,G∧G=G;(幂等律）
G∨H=H∨G,G∧H=H∧G;(交换律)
G∨(H∨S)=(G∨H)∨S,G∧(H∧S)=(G∧H)∧S;(结合律)
G∨(G∧H)=G,G∧(G∨H)=G;(吸收律)
G∨(H∧S)=(G∨H)∧(G∨S),G∧(H∨S)=(G∧H)∨(G∧S);(分配律)
G∨0=G;G∧1=G;(同一律)
G∧0=0,G∨1=1;(零律)
¬(G∨H)=¬G∧¬H，¬(G∧H)=¬G∨¬H(德摩根律)

第三章 谓词逻辑

第四章 集合

第五章 关系与函数

（1）若 x(x B  y  x)成立，则称 y 为 B 的最小元。
（2）若 x(x B  x  y)成立，则称 y 为 B 的最大元。
（3）若 x(x B  x  y  x  y) 成立，则称 y 为 B 的极小元。
（4）若 x(x B  y  x  x  y) 成立，则称 y 为 B 的极大元。

第六章 代数系统的一般概念

第七章 格与布尔代数

第八章 图

第九章 图的应用