常用數(shù)學符號

常用數(shù)學符號如加號()，減號(-)，乘號(×或·)，除號(÷或/)，兩個集合的并集(∪)，交集(∩)，根號(√￣)，對數(shù)(log，lg，ln，lb)，比(:)，絕對值符號||，微分(d)，積分(∫)，閉合曲面(曲線)積分(∮)等。如“=”是等號，“≈”是近似符號(即約等于)，“≠”是不等號，“>”是大于符號，“<”是小于符號，“≥”是大于或等于符號(也可寫作“≮”，即不小于)，“≤”是小于或等于符號(也可寫作“≯”，即不大于)，“→”表示變量變化的趨勢，“∽”是相似符號，“≌”是全等號，“∥”是平行符號，“⊥”是垂直符號，“∝”是正比例符號(表示反比例時可以利用倒數(shù)關(guān)系)，“∈”是屬于符號，“?”是包含于符號，“?”是包含符號，“|”表示“能整除”(例如a|b表示“a能整除b”，而||b表示r是a恰能整除b的最大冪次)，x,y等任何字母都可以代表未知數(shù)。如小括號“(”，中括號“[]”，大括號“{}”，橫線“—”=。如正號“”，負號“-”，正負號“”(以及與之對應(yīng)使用的負正號“”)如三角形(△)，直角三角形(Rt△)，正弦(sin)(見三角函數(shù))。雙曲正弦函數(shù)(sinh)，x的函數(shù)(f(x))，極限(lim)，角(∠)?！咭驗?一個腳站著的，站不住)∴所以(兩個腳站著的，能站住)(口訣：因為站不住，所以兩個點;因為上面兩個點，所以下面兩個點)總和，連加：∑，求積，連乘：∏，從n個元素中取出r個元素所有不同的組合數(shù)(n元素的總個數(shù);r參與選擇的元素個數(shù))，冪等。C組合數(shù)A(或P)排列數(shù)n元素的總個數(shù)r參與選擇的元素個數(shù)!階乘，如5!=5×4×3×2×1=120，規(guī)定0!=1!!半階乘(又稱雙階乘)，例如7!!=7×5×3×1=105,10!!=10×8×6×4×2=3840?全稱量詞?存在量詞├斷定符(公式在L中可證)╞滿足符(公式在E上有效，公式在E上可滿足)﹁命題的“非”運算，如命題的否定為﹁p∧命題的“合取”(“與”)運算∨命題的“析取”(“或”，“可兼或”)運算→命題的“條件”運算?命題的“雙條件”運算的p<=>q命題p與q的等價關(guān)系p=>q命題p與q的蘊涵關(guān)系(p是q的充分條件，q是p的必要條件)A*公式A的對偶公式，或表示A的數(shù)論倒數(shù)(此時亦可寫為)wff合式公式iff當且僅當↑命題的“與非”運算(“與非門”)↓命題的“或非”運算(“或非門”)□模態(tài)詞“必然”

模態(tài)詞“可能”?空集∈屬于(如"A∈B"，即“A屬于B”)?不屬于P(A)集合A的冪集|A|集合A的點數(shù)R2=R○R[R=R○R]關(guān)系R的“復合”?Aleph,阿列夫?包含?(或?)真包含另外,還有相應(yīng)的?,?,?等∪集合的并運算U(P)表示P的領(lǐng)域∩集合的交運算-或\集合的差運算〡限制集合關(guān)于關(guān)系R的等價類A/R集合A上關(guān)于R的商集[a]元素a產(chǎn)生的循環(huán)群I環(huán)，理想Z/(n)模n的同余類集合r(R)關(guān)系R的自反閉包s(R)關(guān)系R的對稱閉包CP命題演繹的定理(CP規(guī)則)EG存在推廣規(guī)則(存在量詞引入規(guī)則)ES存在量詞特指規(guī)則(存在量詞消去規(guī)則)UG全稱推廣規(guī)則(全稱量詞引入規(guī)則)US全稱特指規(guī)則(全稱量詞消去規(guī)則)R關(guān)系r相容關(guān)系R○S關(guān)系與關(guān)系的復合domf函數(shù)的定義域(前域)ranf函數(shù)的值域f:x→yf是x到y(tǒng)的函數(shù)(x,y)x與y的最大公約數(shù)，有時為避免混淆，使用gcd(x,y)[x,y]x與y的最小公倍數(shù)，有時為避免混淆，使用lcm(x,y)aH(Ha)H關(guān)于a的左(右)陪集Ker(f)同態(tài)映射f的核(或稱f同態(tài)核)[1，n]1到n的整數(shù)集合d(A,B),|AB|,或AB點A與點B間的距離d(V)點V的度數(shù)G=(V,E)點集為V，邊集為E的圖GW(G)圖G的連通分支數(shù)k(G)圖G的點連通度Δ(G)圖G的最大點度A(G)圖G的鄰接矩陣P(G)圖G的可達矩陣M(G)圖G的關(guān)聯(lián)矩陣C復數(shù)集I虛數(shù)集N自然數(shù)集，非負整數(shù)集(包含元素"0")N*(N)正自然數(shù)集，正整數(shù)集(其中*表示從集合中去掉元素“0”，如R*表示非零實數(shù))P素數(shù)(質(zhì)數(shù))集Q有理數(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偏序集范疇二、常用數(shù)學符號意義匯總=等于≠不等于≈約等于<小于>大于//平行平行且相等⊥垂直≥大于或等于≤小于或等于≡恒等于或同余π圓周率約為3.1415926536e自然常數(shù)約為2.7182818285|x|絕對值或(復數(shù)的)?！紫嗨啤杖冗h大于<<遠小于∪并集∩交集?包含于∈屬于⊙圓\除，求商值，部分編程語言中理解為整除α，β，γ，φ…角度;系數(shù)∞無窮大(包括正無窮大∞與負無窮大-∞)lnx以e為底的對數(shù)(自然對數(shù))lgx以10為底的對數(shù)(常用對數(shù))lbx以2為底的對數(shù)lim求極限floor(x)或[x],亦可寫為下取整函數(shù)(直譯為“地板函數(shù)”)，又稱高斯函數(shù)ceil