离散数学符号表集
qqweb-奥妙洗衣液
《离散数学》符号表
全称量词（任意量词）
存在量词
├
╞
┐
∧
∨
→
AB
AB
A
wff
iff
V
↑
↓
□
◇
φ
↔
A
（·）
P（A）
断定符（公式在L中可证）
满足符（公式在E上有效，公式在E上可满足）
命题的“非”运算
命题的“合取”（“与”）运算
命题的“析取”（“或”，“可兼或”）运算
命题的“条件”运算
命题的“双条件”运算的
命题
A
与
B
等价关系
命题
A
与
B
的蕴涵关系
公式
A
的对偶公式
合式公式
当且仅当
命题的“不可兼或”运算（ “异或门” ）
命题的“与非” 运算（ “与非门” ）
命题的“或非”运算（ “或非门” ）
模态词“必然”
模态词“可能”
空集
属于（不属于）
集合A的特征函数
集合A的幂集
-
1 -
A
集合A的点数
AA
A
（
A
n
）
集合A的笛卡儿积
n
R
2
RR
(R
n
R
n1
R)
关系R的“复合”
0
阿列夫零
阿列夫
∪
∩
- （～）
m
m
m
m
〡
[x]
R
A
R
R
(A)
R
(A)
[a]
[a]
R
C
r
I
Z(n)
ab(modk)
包含
真包含
集合的并运算
集合的交运算
集合的差运算
集合的对称差运算
同余加
同余乘
限制
集合关于关系R的等价类
集合A上关于R的商集
集合A关于关系R的划分
集合A关于划分
的关系
元素
a
产生的循环群
元素
a
形成的
R
等价类
由相容关系
r
产生的最大相容类
环，理想
模n的同余类集合
a
与
b
模
k
相等
- 2 -
r(R)
关系
R
的自反闭包
s(R)
关系
R
的对称闭包
R
，
t(R)
关系
R
的传递闭包
R
，
rt(R)
关系
R
的自反、传递闭包
H
i.
矩阵
H
的第
i
个行向量
H
.j
矩阵
H
的第
j
个列向量
CP
命题演绎的定理（CP 规则）
EG 存在推广规则（存在量词引入规则）
ES 存在量词特指规则（存在量词消去规则）
UG
全称推广规则（全称量词引入规则）
US
全称特指规则（全称量词消去规则）
I
A
，
R
0
恒等关系
A
集合
A
的补集
X
X
所有X到自身的映射
Y
X
所有从集合X到集合Y的函数
K[A](A)
集合
A
的势（基数）
R 关系
r
相容关系
R 否关系
R
补关系
R
1
（
R
c
） 逆关系
RS
关系
R
与关系
S
的复合
R
R
R,R
n
关系
R
的
n
次幂
n
r
B
2
B
2
,B
2
布尔代数
B
2
的
r
次幂
r
-
3 -
B
2
r
含有
2
r
个元素的布尔代数
domf
函数
f
的定义域（前域）
ranf
函数
f
的值域
f
Y
）
f
是X到Y的函数
f：XY
（
X
GCD(x,y)
x,y
最大公约数
LCM(x,y)
x,y
的最小公倍数
e
幺元
零元
a
1
元素
a
的逆元
aH(Ha)
H
关于
a
的左（右）陪集
Ker(f)
同态映射
f
的核（或称
f
的同态核）
A，B，C
合式公式
n
k
二项式系数
n
n,n,
,n
多项式系数
p
12
[1，n] 1到n的整数集合
[x]
k
x(x1)
(xk1)
[x]
k
x(x1)
(xk1)
k
组合数
C
n
d(u,v)
点
u
与点
v
间的距离
d(v)
点
v
的度数
d
(v)
点
v
的出度
d
(v)
点
v
的入度
- 4 -
G(V,E)
点集为V，边集为E的图
G
图
G
的补图
GG
图
G
与图
G
同构
G
平面图G的对偶图
W(G) 图G的连通分支数
(G)
(G)
(G)
(G)
A(G)
P(G)
M(G)
K
n
K
n,m
C
N
N
P
Q
Q
Q
R
Z
Z
m
Set
图G的点连通度
图G的边连通度
图G的最小点度
图G的最大点度
图G的邻接矩阵
图G的可达矩阵
图G的关联矩阵
n
阶完全图
完全二分图
复数集
自然数集（包含0在内）
正自然数集
素数集
有理数集
正有理数集
负有理数集
实数集
整数集
{[1],[2],,[m]}
集范畴
- 5 -
Top 拓扑空间范畴
Ab
交换群范畴
Grp 群范畴
Mon
单元半群范畴
Ring 有单位元的（结合）环范畴
Rng
环范畴
CRng
R-mod
mod-R
Field
Poset
交换环范畴
环R的左模范畴
环R的右模范畴
域范畴
偏序集范畴
- 6 -