(1) | E1: | G ∨ G = G | |
E2: | G ∧ G = G | (幂等律) | |
(2) | E3: | G ∨ H = H ∨ G | |
E4: | G ∧ H = H ∧ G | (交换律) | |
(3) | E5: | G ∨ ( H ∨ S ) = ( G ∨ H ) ∨ S | |
E6: | G ∧ ( H ∧ S ) = ( G ∧ H ) ∧ S | (结合律) | |
(4) | E7: | G ∨ 0 = G | |
E8: | G ∧ 1 = G | (同一律) | |
(5) | E9: | G ∨ 1 = 1 | |
E10: | G ∧ 0 = 0 | (零律) | |
(6) | E11: | G ∨ ( H ∧ S ) = ( G ∨ H ) ∧ ( G ∨ S ) | |
E12: | G ∧ ( H ∨ S ) = ( G ∧ H ) ∨ ( G ∧ S ) | (分配律) | |
(7) | E13: | G ∨ ( G ∧ H ) = G | |
E14: | G ∧ ( G ∨ H ) = G | (吸收律) | |
(8) | E15: | G ∧ ﹁ G = 0 | (矛盾律) |
(9) | E16: | G ∨ ﹁ G = 1 | (排中律) |
(10) | E17: | ﹁ ( ﹁ G ) = G | (双重否定律) |
(11) | E18: | ﹁ ( G ∨ H ) = ﹁ G ∧ ﹁ H | |
E19: | ﹁ ( G ∧ H ) = ﹁ G ∨ ﹁ H | (德摩根律) | |
(12) | E20: | G → H = ﹁ G ∨ H | (蕴涵式) |
(13) | E21: | G → H = ﹁ H → ﹁ G | (假言易位) |
(14) | E22: | G ↔ H = ( G → H ) ∧ ( H → G ) = ( ﹁ G ∨ H ) ∧ ( ﹁ H ∨ G ) | (等价式) |
(15) | E23: | G ↔ H = ﹁ G ↔ ﹁ H | (等价否定等式) |
(16) | E24: | ( G → H ) ∧ ( G → ﹁ H ) = ﹁ G | (归谬论) |
(1) | E25: | (∃x) G(x) = (∃y) G(y) | |
E26: | (∀x) G(x) = (∀y) G(y) | (改名规则) | |
(2) | E27: | ﹁(∃x) G(x) = (∀x) ﹁G(x) | |
E28: | ﹁(∀x) G(x) = (∃x) ﹁G(x) | (量词转换律/量词否定等价式) | |
(3) | E29: | (∀x) (G(x) ∨ S) = (∀x) G(x) ∨ S | |
E30: | (∀x) (G(x) ∧ S) = (∀x) G(x) ∧ S | ||
E31: | (∃x) (G(x) ∨ S) = (∃x) G(x) ∨ S | ||
E32: | (∃x) (G(x) ∧ S) = (∃x) G(x) ∧ S | (量词辖域的扩张与收律) | |
(4) | E33: | (∀x) (G(x) ∧ H(x)) = (∀x) G(x) ∧ (∀x) H(x) | |
E34: | (∃x) (G(x) ∨ H(x)) = (∃x) G(x) ∨ (∃x) H(x) | (量词分配律) | |
(5) | E35: | (∀x) G(x) ∨ (∀x) H(x) = (∀x)(∀y) (G(x) ∨ H(y)) | |
E36: | (∃x) G(x) ∧ (∃x) H(x) = (∃x)(∃y) (G(x) ∧ H(y)) |
离散数学基本等价关系
于 2018-06-17 17:09:34 首次发布