离散数学
→
¬
∨
∧
<=>
第一章 命题与命题公式
命题的等值演算:
- ¬( ¬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 的极大元。