离散数学基本公式.pdfVIP

基本等价式 ： 1) Ｅ1:(GH)(G→H) ∧(H→G) (等价) 2) Ｅ2 ：(G→H) (～G ∨H) (蕴涵) 3) Ｅ3 ：G ∨G G (幂等律) Ｅ4 ：G ∧G G 4) Ｅ5 ：G ∨H H ∨G (交换律) Ｅ6 ：G ∧H H ∧G 5) Ｅ7 ：G ∨(H∨S) (G∨H) ∨S (结合律) Ｅ8: G ∧(H∧S) (G∧H) ∧S 6) Ｅ9 ：G ∨(G∧H) G (吸收律) Ｅ10 ：G ∧(G∨H) G 7) Ｅ11 ：G ∨(H∧S) (G∨H) ∧(G∨S) (分配律) Ｅ12 ：G ∧(H∨S) (G∧H) ∨(G∧S) 8) Ｅ13 ：G ∨F G (同一律) Ｅ14 ：G ∧TG 9) Ｅ15 ：G ∨TT (零律) Ｅ16 ：G ∧FF 10) Ｅ17 ：G ∨～G T ( 矛盾律) 11) Ｅ18 ：G ∧～G F 12) Ｅ19 ：～ (～G) G (双重否定律) 13) Ｅ20 ：（G ∧H)→S G→（H→S） （输出律）√ 14) Ｅ21 ：（GH）(～G ∧H) ∨(G∧～H) (排中律) 15) Ｅ22 ：P→Q  ～Q→～P （逆反律）√ 16) Ｅ23 ：～ (G∨H)  ～G ∧～H (De Morgan 定律) Ｅ24 ：～ (G∧H)  ～G ∨～H。 17) Ｅ25 ： ～（x）P(x)  （x）[～P(x)] 18) Ｅ26 ： ～（x）P(x)  （x）[～P(x)] 19) Ｅ27 ：（x）[P(x) ∨Q]  （x）P(x) ∨Q 20) Ｅ28 ：（x）[P(x) ∧Q]  （x）P(x) ∧Q 21) Ｅ29 ：（x）[P(x)∨Q]  （x）P(x) ∨Q 22) Ｅ30 ：（x）[P(x) ∧Q]  （x）P(x) ∧Q 23) Ｅ31 ：（x）P(x)Q  （x）[P(x)Q] 24) Ｅ32 ：（x）P(x)Q  （x）［P(x)Q］ 25) Ｅ33 ： Q （x）P(x)  （x）[QP(x)] 26) Ｅ34 ： Q （x）P(x)  （x）[Q P(x))] 27) Ｅ35 ：（x）(P(x)∧Q(x)) （x）P(x) ∧（x）Q(x) 28) Ｅ36 ：（x）（ｙ）(P(x)∨Q( ｙ)) （x）P(x) ∨（x）Q(x) 29) Ｅ37 ：（x）（ｙ）(P(x)∧Q( ｙ)) （x）P(x) ∧（x）Q(x) 30) Ｅ38 ：（x）(P(x)∨Q(x)) （x）P(x) ∨（x）Q(x) 31) Ｅ39 ：（x）(P(x)Q(x)) （x）p(x) （x）Q(x) 32) Ｅ40 ：（x）（ｙ）Ａ(x，ｙ) （ｙ）（x）Ａ(x，ｙ) 33) Ｅ41 ：（x）（ｙ）Ａ(x，ｙ) （ｙ）（x）Ａ(x，ｙ) 基本蕴含式： 1 ：PP ∨Q ， QP ∨Q ～PP→Q ， QP→Q 扩充法则(析取