latex符號大全: 離散數學符號大全，缺失：latex3519/9

├ 斷定符(公式在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 偏序集范疇

總結

以上是生活随笔為你收集整理的latex 分布符号_latex符号大全的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。