離散數(shù)學(xué)符號(hào)

《離散數(shù)學(xué)符號(hào)》由會(huì)員分享，可在線閱讀，更多相關(guān)《離散數(shù)學(xué)符號(hào)（6頁(yè)珍藏版）》請(qǐng)?jiān)谘b配圖網(wǎng)上搜索。

《離散數(shù)學(xué)》符號(hào)表 " 全稱量詞（任意量詞） $ 存在量詞 ├ 斷定符（公式在L中可證） ╞ 滿足符（公式在E上有效，公式在E上可滿足） ┐ 命題的“非”運(yùn)算 ∧ 命題的“合取”（“與”）運(yùn)算 ∨ 命題的“析取”（“或”，“可兼或”）運(yùn)算 → 命題的“條件”運(yùn)算 命題的“雙條件”運(yùn)算的 命題與等價(jià)關(guān)系 命題與的蘊(yùn)涵關(guān)系 公式的對(duì)偶公式 合式公式 當(dāng)且僅當(dāng) 命題的“不可兼或”運(yùn)算（ “異或門(mén)” ） ↑ 命題的“與非” 運(yùn)算（ “與非門(mén)” ） ↓ 命題的“或非”運(yùn)算（ “或非門(mén)” ） □ 模態(tài)詞“必然” ◇ 模態(tài)詞“可能” φ 空集 ∈ 屬于（不屬于） （） 集合A的特征函數(shù) P（A） 集合A的冪集 集合A的點(diǎn)數(shù) （） 集合A的笛卡兒積 關(guān)系R的“復(fù)合” 阿列夫零 阿列夫 包含 真包含 ∪ 集合的并運(yùn)算 ∩ 集合的交運(yùn)算 - （～） 集合的差運(yùn)算 集合的對(duì)稱差運(yùn)算 m同余加 m同余乘 〡 限制 集合關(guān)于關(guān)系R的等價(jià)類 / 集合A上關(guān)于R的商集 集合A關(guān)于關(guān)系R的劃分 集合A關(guān)于劃分的關(guān)系 元素產(chǎn)生的循環(huán)群 元素形成的等價(jià)類 由相容關(guān)系產(chǎn)生的最大相容類 環(huán)，理想 模n的同余類集合 與模相等 關(guān)系的自反閉包 關(guān)系的對(duì)稱閉包 ， 關(guān)系的傳遞閉包 ， 關(guān)系的自反、傳遞閉包 矩陣的第個(gè)行向量 矩陣的第個(gè)列向量 CP 命題演繹的定理（CP 規(guī)則） EG 存在推廣規(guī)則（存在量詞引入規(guī)則） ES 存在量詞特指規(guī)則（存在量詞消去規(guī)則） UG 全稱推廣規(guī)則（全稱量詞引入規(guī)則） US 全稱特指規(guī)則（全稱量詞消去規(guī)則） ， 恒等關(guān)系 集合的補(bǔ)集 所有X到自身的映射 所有從集合X到集合Y的函數(shù) 集合的勢(shì)（基數(shù)） R 關(guān)系 相容關(guān)系 R 否關(guān)系 補(bǔ)關(guān)系 （） 逆關(guān)系 關(guān)系與關(guān)系的復(fù)合 關(guān)系的次冪 布爾代數(shù)的次冪 含有個(gè)元素的布爾代數(shù) 函數(shù)的定義域（前域） 函數(shù)的值域 （） 是X到Y(jié)的函數(shù) 最大公約數(shù) 的最小公倍數(shù) 幺元 零元 元素的逆元 關(guān)于的左（右）陪集 同態(tài)映射的核（或稱的同態(tài)核） A，B，C 合式公式 二項(xiàng)式系數(shù) 多項(xiàng)式系數(shù) [1，n] 1到n的整數(shù)集合 組合數(shù) 點(diǎn)與點(diǎn)間的距離 點(diǎn)的度數(shù) 點(diǎn)的出度 點(diǎn)的入度 點(diǎn)集為V，邊集為E的圖 圖的補(bǔ)圖 圖與圖同構(gòu) 平面圖G的對(duì)偶圖 W(G) 圖G的連通分支數(shù) 圖G的點(diǎn)連通度 圖G的邊連通度 圖G的最小點(diǎn)度 圖G的最大點(diǎn)度 A(G) 圖G的鄰接矩陣 P(G) 圖G的可達(dá)矩陣 M(G) 圖G的關(guān)聯(lián)矩陣 階完全圖 完全二分圖 C 復(fù)數(shù)集 N 自然數(shù)集（包含0在內(nèi)） 正自然數(shù)集 P 素?cái)?shù)集 Q 有理數(shù)集 正有理數(shù)集 負(fù)有理數(shù)集 R 實(shí)數(shù)集 Z 整數(shù)集 Set 集范疇 Top 拓?fù)淇臻g范疇 Ab 交換群范疇 Grp 群范疇 Mon 單元半群范疇 Ring 有單位元的（結(jié)合）環(huán)范疇 Rng 環(huán)范疇 CRng 交換環(huán)范疇 R-mod 環(huán)R的左模范疇 mod-R 環(huán)R的右模范疇 Field 域范疇 Poset 偏序集范疇 - 6 -