離散數(shù)學(xué)知識(shí)匯總-預(yù)覽頁(yè)
【正文】 ) ∨﹁? xA(x)可看成 p ∨﹁ p (x) ∧﹁A(x).?xA(x) ∧﹁ ?x A(x)可看成 p ∧﹁ p 的代換實(shí)例。當(dāng) A243。一、利用代換實(shí)例可證明的等值式(p?﹁﹁p ? xF(x) ?﹁﹁? xF(x)永真)二、存在量詞公式的等值式如：若D={ }.則? xA(x) 243。 ?xA(x)∧?xB(x) ?x(A(x)∨B(x)) 243。 ?/?A(x)∧B對(duì)于條件式 A(x) ?B. 利用 “基本等值一” 將其轉(zhuǎn)換為析取式. 再使用德摩律進(jìn)行演算六、置換規(guī)則若 B 是公式 A 243。定義 在所有使 可推出結(jié)論 B。常用大寫字母表示集合. 如 R 表示實(shí)數(shù). N 表示自然數(shù). Z 表示整數(shù). Q 表示復(fù)數(shù)。定義 設(shè) A、B 與 B 的并集 AB、A 與 B 的的交集 AB、AB 的定義：AB={x|xAxB}.AB={x|xAxB}.AB={x|xAxB}定 義 設(shè) A、 B 為 集 合 . A 與 B 的 對(duì) 稱 差 . 記 為 AB={x|(xAxB)( xAxB)}= AB AB。= 216。、直積或笛卡爾積定義 令 A、B 是兩個(gè)集合. 稱序偶的集合{x,y|xA, yB} AB。A C B D定義 令 是 n {|}.。例題 令 A={1,2,3}.F={1,1,1,2} G={2,2,1,3,1,1}則解： FG={ 1,3,1,1,1,2} .GF={1,2,1,1}. 因此關(guān)系的復(fù)合不滿足交換律。、關(guān)系的分類定義 若都有x,x。定義 x,yR 時(shí)y,x R 為對(duì)稱關(guān)系。所以不可傳遞。定義 設(shè)R R 是等價(jià)關(guān)系. BA. B B 是一個(gè)等價(jià)類。定理 設(shè)是A 的劃分. R=. 則 R 是等價(jià)關(guān)系。定義 設(shè)R A A 為全序關(guān)系或線序關(guān)系。A,R。即最小元與 B 。定義 在偏序集A,R 都有x,y y 小的元素。、其它關(guān)系 、。(顯然等價(jià)關(guān)系一定是相容關(guān)系)。y=y176。定義 設(shè)176。(y176。定義 設(shè)176。在 S 上滿足冪等律。(x*z)與(y176。定義 設(shè)176。廣群：半群：群：子群：歡迎您的光臨，！希望您提出您寶貴的意見(jiàn)，你的意見(jiàn)是我進(jìn)步的動(dòng)力。什么時(shí)候離光明最近？那就是你覺(jué)得黑暗太黑的時(shí)候。. .
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1