(完整word版)离散数学符号表.doc
余年寄山水
729次浏览
2021年01月29日 19:49
最佳经验
本文由作者推荐
抗氧化护肤品-饱经风霜是什么意思
《离散数学》符号表
全称量词（任意量词）
存在量词
├
断定符（公式在
L
中可证）
满足符（公式在
E
上有效，公式在
E
上可满足）
命题的“非”运算
命题的“合取”（“与”）运算
命题的“析取”（“或”，“可兼或”）运算
命题的“条件”运算
命题的“双条件”运算的
╞
┐
∧
∨
→
A
B
命题
A
与
B
等价关系
B
命题
A
与
B
的蕴涵关系
公式
A
的对偶公式
合式公式
当且仅当
A
A
wff
iff
V
命题的“不可兼或”运算（
“异或门” ）
↑
↓
□
◇
φ
∈
A
（·）
命题的“与非” 运算（
“与非门”
）
命题的“或非”运算（
“或非门” ）
模态词“必然”
模态词“可能”
空集
属于（
不属于）
集合
A
的特征函数
集合
A
的幂集
集合
A
的点数
P
（
A
）
A
A
A
n
A
（
A
n
）
集合
A
的笛卡儿积
- 1 -
2
R
0
(
n
R R
R
n 1
)
R
R
关系
R
的“复合”
阿列夫零
∪
∩
-
（～）
m
m
m
m
〡
[ x]
R
A/ R
R
( A)
R (A)
[a]
[a]
R
C
r
I
Z /( n)
a
b(mod k)
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
，
rt (R)
关系
R
的传递闭包
关系
R
的自反、传递闭包
H
H
i .
矩阵
H
的第
i
个行向量
矩阵
H
的第
j
个列向量
命题演绎的定理（
CP
规则）
存在推广规则（存在量词引入规则）
存在量词特指规则（存在量词消去规则）
全称推广规则（全称量词引入规则）
全称特指规则（全称量词消去规则）
恒等关系
集合
A
的补集
所有
X
到自身的映射
所有从集合
X
到集合
Y
的函数
. j
CP
EG
ES
UG
US
I
A
，
R
0
A
X
X
Y
X
K[ A]
( A)
R
r
集合
A
的势（基数）
关系
相容关系
否关系
补关系
逆关系
R
R
R
1
（
R
c
）
R
S
R R
n
关系
R
与关系
S
的复合
关系
R
的
n
次幂
布尔代数
B
2
的
r
次幂
含有
2
r
个元素的布尔代数
函数
f
的定义域（前域）
R , R
n
B
2
r
B
2
, B
2
r
B
2
r
domf
- 3 -