先畫出關係圖
關係圖每乙個連通分支的節點構成的集合是乙個等價類
注意：每個連通分支必須是對稱的。
對於這個關係圖，有三個連通分支 且都是對稱的，所以等價類有三個
注意 ：題目中的「i」集合表示的是，某個集合a的每個元素自己跟自己的關係極大元、極小元、上確界、下確界、上界、下界都表示的是某個或者某些元素，不能用集合表示比如：a=，ia=
畫出哈斯圖
畫表寫答案，如
解題步驟
如果題目給出的二元關係裡定義域！=a，則用dom f ！=a說明理由
如果某個自變數有兩個函式值，則用==屬於f且屬於f說明理由，這裡的屬於==用數學符號
如果上述兩種情況都滿足，都要寫出來
解題步驟
求反函式之前，只需判斷該函式是否滿足雙射，滿足即可
證明封閉性
有些題，封閉性是顯而易見的，無需證明
證明結合性
證明 a（bc）==（ab）c 即可
證明子群 的封閉性，乙個代數系統的子集合不一定滿足封閉性
不用證明結合性，因為演算法是繼承下來的，只要父群 是半群，即可滿足
若父半群是獨異點，則要證明子半群的么元是否等於父半裙的么元，是則是子獨異點。
先任取a,b屬於g，a#b肯定也屬於g 。
根據已知條件證明 a#b==b#a
先證明這個半群是群
先找出這個群的么元（注意：這個么元是滿足左右運算的么元）
找出每個元素的逆元
列出這個半群是由某個元素等冪生成的樣子，如
群的么元（注意：這個么元是滿足左右運算的么元）
2. 找出每個元素的逆元
列出這個半群是由某個元素等冪生成的樣子，如
[外鏈轉存中…(img-adxzgyuv-1610324096017)]
即可證這是個迴圈群，且生成元為 a。
離散數學複習筆記 1
量詞轄域的確定方法 1.若量詞後有括號，則括號內的子公式就是量詞的轄域 2.若量詞後沒有括號，則與量詞鄰接的子公式就是該量詞的轄域 約束變元的改名規則 1.將量詞中出現的變元以及該量詞轄域中此變數所有約束出現都用新的個體變元替換 2.新的變元一定要有別於改名轄域中的所有其他變數 自由變元的代入規則 ...
離散數學複習筆記 2
利用真值表技術求某公式的主析取正規化和主合取正規化 一般是大題 1.先列出真值表 真值表中不需要列出極大項和極小項 2.根據真值表中的公式等於1對應的情況寫出極小項，構造主析取正規化 3.根據剩餘極小項，進行取反獲得主合取正規化 先列真值表 再求主析取正規化 再根據主析取正規化求主合取正規化 求某公...
離散數學 本 複習題
離散數學 本 試題一 單項選擇題 每小題3分，本題共15分 1 若集合a b 則 2 集合a 上的關係r 則r的性質為 a 自反的 b 對稱的 c 傳遞且對稱的 d 反自反且傳遞的 a 0 b 2 c 1 d.3 4 如圖一所示，以下說法正確的是 a 是割邊 b 是邊割集 d.是邊割集 5 設a x...