離散數學的基本公式都有哪些
基本等價式: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)
-
網兜繩結
1、準備好不用的舊毛線,或者繩子,將線頭捋出來,截出自己需要的長度。2、把捋好的線繩的一端剪開,另一端,用一根繩子打個死結。3、打死結的繩子要長一點,方便將它拴在固定的位置。將繩子固定好後,把它們平均分成2根。4、然後把最邊上的一根(另一邊也是如此),單獨放一處,剩...
-
京東快遞為什麼五六天不動
我們在網路上進行了網購,就會有相應的快遞公司承擔快遞運送業務。如果我們在京東上購買了物品,京東快遞五六天沒有什麼快遞運送訊息。首先現在最常見的就是由於疫情的原因會導致快遞延遲傳送,還有各種極端災害天氣,比如洪水等情況也會導致快遞傳送延遲。如果發現京...
-
龍湖青雲闕的樓為什麼要斜著蓋
因為這種樓是種特殊的結構型式。南向低北向高。從南開始往北層層升高。有把這種樓戲稱步步高昇樓型。外觀上比較有吸引性,觀賞性也不錯。明顯優勢是採光條件相當充沛。每層提升幅度特別大。出現了更多的通天普照的頂層樓。這種摟都是斜蓋的。...
-
九牧流芳是何意
1、“九牧流芳”意思是傳承下去,九牧世家代表一個家族。“九牧世家”源於唐代,原屬晉安林氏一支。因當時林祿後代林披生有九子,分別擔任九州島刺史(又稱州牧),家世顯赫,形成望族,後人稱他們為“九牧林”。2、“九牧流芳”是唐九牧,莆田的九牧林,一家九口中進士。九牧傳芳...