1、.離散數(shù)學(xué)符號表全稱量詞（任意量詞）存在量詞斷定符（公式在l 中可證）滿足符（公式在e 上有效，公式在e 上可滿足）命題的“非”運(yùn)算命題的“合取”（“與”）運(yùn)算命題的“析取”（“或”，“可兼或”）運(yùn)算命題的“條件”運(yùn)算命題的“雙條件”運(yùn)算的a b命題 a 與 b 等價關(guān)系ab命題 a 與 b 的蘊(yùn)涵關(guān)系a公式 a的對偶公式wff合式公式iff當(dāng)且僅當(dāng)v命題的“不可兼或”運(yùn)算（“異或門” ）命題的“與非” 運(yùn)算（ “與非門” ）命題的“或非”運(yùn)算（“或非門” ）模態(tài)詞“必然”模態(tài)詞“可能”空集屬于（ 不屬于）a （）集合 a 的特征函數(shù)p（ a）集合 a 的冪集a集合 a 的點(diǎn)數(shù)aaa （ an

2、 ） 集合 a 的笛卡兒積n.r2r r(rnrn 1)關(guān)系 r的“復(fù)合”r0阿列夫零阿列夫包含真包含集合的并運(yùn)算集合的交運(yùn)算- （）集合的差運(yùn)算集合的對稱差運(yùn)算mm同余加mm同余乘限制 x r集合關(guān)于關(guān)系 r的等價類a/ r集合 a 上關(guān)于 r的商集r ( a)集合 a關(guān)于關(guān)系 r的劃分r ( a)集合 a關(guān)于劃分的關(guān)系a元素 a 產(chǎn)生的循環(huán)群a r元素 a 形成的 r 等價類c r由相容關(guān)系 r 產(chǎn)生的最大相容類i環(huán)，理想z /( n)模 n 的同余類集合ab(mod k)a 與 b 模 k 相等r ( r)關(guān)系 r 的自反閉包s( r)關(guān)系 r 的對稱閉包.r ， t( r)關(guān)系 r 的

3、傳遞閉包r ， rt (r)關(guān)系 r 的自反、傳遞閉包h i .矩陣 h 的第 i 個行向量h . j矩陣 h 的第 j 個列向量cp命題演繹的定理（ cp 規(guī)則）eg存在推廣規(guī)則（存在量詞引入規(guī)則）es存在量詞特指規(guī)則（存在量詞消去規(guī)則）ug全稱推廣規(guī)則（全稱量詞引入規(guī)則）us全稱特指規(guī)則（全稱量詞消去規(guī)則）i a ， r0恒等關(guān)系a集合 a 的補(bǔ)集x x所有 x 到自身的映射y x所有從集合 x 到集合 y 的函數(shù)k a( a)集合 a 的勢（基數(shù)）r關(guān)系r相容關(guān)系r否關(guān)系r補(bǔ)關(guān)系r 1（ rc ）逆關(guān)系rs關(guān)系 r 與關(guān)系 s 的復(fù)合r rr , rn關(guān)系 r 的 n 次冪nb2b2 ,

4、 b2r布爾代數(shù) b2 的 r 次冪rb2r含有 2r 個元素的布爾代數(shù)domf函數(shù) f 的定義域（前域）.ranf函數(shù) f的值域f： xy （ xfy ）f 是 x 到 y 的函數(shù)gcd (x, y)x, y 最大公約數(shù)lcm (x, y)x, y 的最小公倍數(shù)e幺元零元a 1元素 a 的逆元ah (ha )h 關(guān)于 a 的左（右）陪集ker ( f )同態(tài)映射 f 的核（或稱 f 的同態(tài)核）a， b， c合式公式n二項式系數(shù)kn多項式系數(shù)n1 ,n2 , , np1 ，n1到 n 的整數(shù)集合 xkx( x 1)(x k 1) xkx( x 1)(x k 1)cnk組合數(shù)d (u, v)點(diǎn)

5、u 與點(diǎn) v 間的距離d (v)點(diǎn) v 的度數(shù)d(v)點(diǎn) v 的出度d(v)點(diǎn) v 的入度g (v , e)點(diǎn)集為 v ，邊集為 e 的圖g圖 g 的補(bǔ)圖.gg圖 g 與圖 g 同構(gòu)g平面圖 g 的對偶圖w(g)圖 g 的連通分支數(shù)(g )圖 g 的點(diǎn)連通度(g )圖 g 的邊連通度(g )圖 g 的最小點(diǎn)度(g )圖 g 的最大點(diǎn)度a(g)圖 g 的鄰接矩陣p(g)圖 g 的可達(dá)矩陣m(g)圖 g 的關(guān)聯(lián)矩陣k nn 階完全圖k n,m完全二分圖c復(fù)數(shù)集n自然數(shù)集（包含0 在內(nèi)）n正自然數(shù)集p素數(shù)集q有理數(shù)集q正有理數(shù)集q負(fù)有理數(shù)集r實(shí)數(shù)集z整數(shù)集z m 1 , 2 , mset集范疇top拓?fù)淇臻g范疇ab交換群范疇grp群范疇.mon單元半群