等值式- 基本等价关系的源代码

用于写 markdown 笔记…

1. G $\lor$ G = G , G $\land$ G = G (幂等律)
2. G $\lor$ H = H $\lor$ G,  G $\land$ H = H $\land$ G (交换律)
3. G $\lor$ (H$\lor$S) = (G$\lor$H)$\lor$S , G $\land$ (H$\land$S)  =  (G$\land$H)$\land$S (结合律)
4. G $\lor$ 0 = G，G $\land$ 1 = G； (同一律)
5. G $\land$ 0 = 0，G $\lor$ 1 = 1；(零律)
6. G $\lor$ (H $\land$ S) = (G $\lor$ H) $\land$ (G $\lor$ S) ,G $\land$ (H $\lor$ S) = (G $\land$ H) $\lor$ (G $\land$ S); (分配律)
7. G $\lor$ (H $\land$ G) = G ,G $\land$ (H $\lor$ G) = G; (吸收律)
8. $\neg$G $\land$ G = 0 (矛盾律)
9. $\neg$G $\lor$ G = 1(排中律)
10. $\neg$($\neg$G) = G; (双重否定律)
11. $\neg$(G $\lor$ H) = $\neg$G $\land$ $\neg$H,$\neg$(G $\land$ H) = $\neg$G $\lor$ $\neg$H;(德·摩根律)
12. G $\rightarrow$ H = $\neg$G $\lor$ H (蕴含式) :star:
13. G $\rightarrow$ H = $\neg$H  $\rightarrow$ $\neg$G(假言易位)
14. G $\leftrightarrow$ H = (G $\rightarrow$ H) $\land$ (H $\rightarrow$ G) = ($\neg$G $\lor$ H) $\land$ ($\neg$H $\lor$ G); (等价式)
15. G $\leftrightarrow$ H = $\neg$G $\leftrightarrow$ $\neg$H；(等价否定式)
16. (G $\rightarrow$ H) $\land$ (G $\rightarrow$ $\neg$H) = $\neg$G; (归谬论) // 反证法