《離散數(shù)學符號》由會員分享，可在線閱讀，更多相關《離散數(shù)學符號（6頁珍藏版）》請在裝配圖網(wǎng)上搜索。

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