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