離散數學的基本公式都有哪些

基本等價式：1)E1:(G«H)Û(G→H)∧(H→G)(等價)2)E2：(G→H)Û(～G∨H)(藴涵)3)E3：G∨GÛG(冪等律)E4：G∧GÛG4)E5：G∨HÛH∨G(交換律)E6：G∧HÛH∧G5)E7：G∨(H∨S)Û(G∨H)∨S(結合律)E8:G∧(H∧S)Û(G∧H)∧S6)E9：G∨(G∧H)ÛG(吸收律)E10：G∧(G∨H)ÛG7)E11：G∨(H∧S)Û(G∨H)∧(G∨S)(分配律)E12：G∧(H∨S)Û(G∧H)∨(G∧S)8)E13：G∨FÛG(同一律)E14：G∧TÛG9)E15：G∨TÛT(零律)E16：G∧FÛF10)E17：G∨～GÛT(矛盾律)11)E18：G∧～GÛF12)E19：～(～G)ÛG(雙重否定律)13)E20：（G∧H)→SÛG→（H→S）（輸出律）√14)E21：（GÑH）Û(～G∧H)∨(G∧～H)(排中律)15)E22：P→QÛ～Q→～P（逆反律）√16)E23：～(G∨H)Û～G∧～H(DeMorgan定律)E24：～(G∧H)Û～G∨～H。17)E25：～（"x）P(x)Û（$x）[～P(x)]18)E26：～（$x）P(x)Û（"x）[～P(x)]19)E27：（"x）[P(x)∨Q]Û（"x）P(x)∨Q20)E28：（"x）[P(x)∧Q]Û（"x）P(x)∧Q21)E29：（$x）[P(x)∨Q]Û（$x）P(x)∨Q22)E30：（$x）[P(x)∧Q]Û（$x）P(x)∧Q23)E31：（"x）P(x)®QÛ（$x）[P(x)®Q]24)E32：（$x）P(x)®QÛ（"x）［P(x)®Q］25)E33：Q®（"x）P(x)Û（"x）[Q®P(x)]26)E34：Q®（$x）P(x)Û（$x）[Q®P(x))]27)E35：（"x）(P(x)∧Q(x))Û（"x）P(x)∧（"x）Q(x)28)E36：（"x）（"y）(P(x)∨Q(y))Û（"x）P(x)∨（"x）Q(x)29)E37：（$x）（$y）(P(x)∧Q(y))Û（$x）P(x)∧（$x）Q(x)30)E38：（$x）(P(x)∨Q(x))Û（$x）P(x)∨（$x）Q(x)31)E39：（$x）(P(x)®Q(x))Û（"x）p(x)®（$x）Q(x)32)E40：（"x）（"y）A(x，y)Û（"y）（"x）A(x，y)33)E41：（$x）（$y）A(x，y)Û（$y）（$x）A(x，y)基本藴含式：I1：PÞP∨Q，QÞP∨Q～PÞP→Q，QÞP→Q擴充法則(析取引入律)I2：P∧QÞP，P∧QÞQ～（P→Q）ÞP，～（P→Q）Þ～Q化簡法則(合取消去律)I3：P∧（P→Q）ÞQ假言推論（分離規則）I4：～Q∧（P→Q）Þ～P否定式假言推論（拒取式）I5：～P∧（P∨Q）ÞQ析取三段論（選言三段論）I6：（P→Q）∧（Q→R）ÞP→R假言（前提條件）三段論I7：（P∨Q）∧（P→R）∧（Q→R）ÞR二難推論I8：（P→Q）∧（R→S）Þ（P∧R）→（Q∧S）I9：（P«Q）∧（Q«R）ÞP«RI10：（P∨Q）∧（～P∨R）ÞQ∨R歸結原理I11:（"x）P(x)∨（"x）Q(x)Þ（"x）(P(x)∨Q(x))I12:（$x）(P(x)∧Q(x))Þ（$x）P(x)∧（$x）Q(x)I13:("x)(P(x)→Q(x))Þ("x)P(x)→("x)Q(x)I14:（$x）P(x)→（"x）Q(x)Þ（"x）(P(x)→Q(x))I15:("x)(P(x)«Q(x))Þ("x)P(x)«("x)Q(x)I16:"x"yP(x，y)$Þy"xP(x，y)I17:"y"xP(x，y)$Þx"yP(x，y)I18:$y"xP(x，y)Þ"x$yP(x，y)I19:$x"yP(x，y)Þ"y$xP(x，y)I20:"x$yP(x，y)$Þy$xP(x，y)I21:"y$xP(x，y)$Þx$yP(x，y)I22:"x"yP(x，y)$Þx$yP(x，y)I23:"y"xP(x，y)$Þy$xP(x，y)