離散數學符號大全

├ 斷定符（公式在 L 中可證）
╞ 滿足符（公式在 E上有效，公式在 E上可滿足）
┐命題的 “非”運算
∧ 命題的 “合取 ”（“與”）運算
∨ 命題的 “析取 ”（“或”，“可兼或 ”）運算
→ 命題的 “條件 ”運算
A<=>B 命題 A 與 B 等價關系
A=>B 命題 A 與 B 的蘊涵關系
A* 公式 A 的對偶公式
wff 合式公式
iff 當且僅當
↑ 命題的 “與非 ” 運算（ “與非門 ” ）
↓ 命題的 “或非 ”運算（ “或非門 ” ）
□模態詞 “必然 ”
◇ 模態詞 “可能 ”
φ 空集
∈ 屬於（ ??不屬於）
P（A） 集合 A 的冪集
|A| 集合 A 的點數
R^2=R○R [R^n=R^(n-1)○R] 關系 R 的“復合 ”
∪ 集合的並運算
∩集合的交運算
- （～） 集合的差運算
〡 限制
[X](右下角 R) 集合關於關系 R 的等價類
A/ R 集合 A 上關於 R 的商集
[a] 元素 a 產生的循環群
I (i 大寫 ) 環，理想
Z/(n) 模 n 的同余類集合
r(R) 關系 R 的自反閉包
s(R) 關系 的對稱閉包
CP 命題演繹的定理（ CP 規則）
EG 存在推廣規則（存在量詞引入規則）
ES 存在量詞特指規則（存在量詞消去規則）
UG 全稱推廣規則（全稱量詞引入規則）
US 全稱特指規則（全稱量詞消去規則）
R 關系
r 相容關系
R○S 關系 與關系 的復合
domf 函數 的定義域（前域）
ranf 函數 的值域
f:X →Y f是 X 到 Y的函數
GCD(x,y) x,y最大公約數
LCM(x,y) x,y最小公倍數
aH(Ha) H 關於 a 的左（右）陪集
Ker(f) 同態映射 f 的核（或稱 f 同態核）
[1，n] 1 到 n 的整數集合
d(u,v) 點 u 與點 v 間的距離
d(v) 點 v 的度數
G=(V,E) 點集為 V，邊集為 E的圖
W(G) 圖 G 的連通分支數
k(G) 圖 G 的點連通度
△（ G) 圖 G 的最大點度
A(G) 圖 G 的鄰接矩陣
P(G) 圖 G 的可達矩陣
M(G) 圖 G 的關聯矩陣
C 復數集
N 自然數集（包含 0 在內）
N* 正自然數集
P 素數集
Q 有理數集
R 實數集
Z 整數集
Set 集范疇
Top 拓撲空間范疇
Ab 交換群范疇
Grp 群范疇
Mon 單元半群范疇
Ring 有單位元的（結合）環范疇
Rng 環范疇
CRng 交換環范疇
R-mod 環 R 的左模范疇
mod-R 環 R 的右模范疇
Field 域范疇
Poset 偏序集范疇