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