《离散数学》符号表.docxVIP

. 《离散数学》符号表 全称量词（任意量词） 存在量词 ├ 断定符（公式在 L 中可证） ╞ 满足符（公式在 E 上有效，公式在 E 上可满足） ┐ 命题的“非”运算 ∧ 命题的“合取”（“与”）运算 ∨ 命题的“析取”（“或”，“可兼或”）运算 → 命题的“条件”运算 命题的“双条件”运算的 B命题 A 与 B 等价关系 A B 命题 A 与 B 的蕴涵关系 A 公式 A的对偶公式 wff 合式公式 iff 当且仅当 V 命题的“不可兼或”运算（ “异或门” ） ↑ 命题的“与非” 运算（ “与非门” ） ↓ 命题的“或非”运算（ “或非门” ） □ 模态词“必然” ◇ 模态词“可能” φ 空集 ∈ 属于（ 不属于） A （·） 集合 A 的特征函数 P（ A） 集合 A 的幂集 A 集合 A 的点数 A A A （ An ） 集合 A 的笛卡儿积 n . . R 2 R R ( R n R n 1 ) 关系 R的“复合” R 0 阿列夫零 阿列夫 包含 真包含 ∪ 集合的并运算 ∩ 集合的交运算 - （～） 集合的差运算 集合的对称差运算 m m 同余加 m m 同余乘 〡 限制 [ x] R 集合关于关系 R的等价类 A/ R 集合 A 上关于 R的商集 R ( A) 集合 A关于关系 R的划分 R ( A) 集合 A关于划分 的关系 [a] 元素 a 产生的循环群 [a] R 元素 a 形成的 R 等价类 C r 由相容关系 r 产生的最大相容类 I 环，理想 Z /( n) 模 n 的同余类集合 a b(mod k) a 与 b 模 k 相等 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 ， R0 恒等关系 A 集合 A 的补集 X X 所有 X 到自身的映射 Y X 所有从集合 X 到集合 Y 的函数 K [ A] ( A) 集合 A 的势（基数） R 关系 r 相容关系 R 否关系 R 补关系 R 1 （ Rc ） 逆关系 R S 关系 R 与关系 S 的复合 R R R , Rn 关系 R 的 n 次幂 n B2 B2 , B2r 布尔代数 B2 的 r 次幂 r B2r 含有 2r 个元素的布尔代数 domf 函数 f 的定义域（前域） . . ranf 函数 f 的值域 f： X Y （ X f Y ） f 是 X 到 Y 的函数 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 多项式系数 n1 ,n2 , , np [1 ，n] 1 到 n 的整数集合 [ x]k x( x 1) (x k 1) [ x]k x( x 1) (x k 1) Cnk 组合数 d (u, v) 点 u 与点 v 间的距离 d (v) 点 v 的度数 d (v) 点 v 的出度 d (v) 点 v 的入度 G (V , E) 点集为 V ，边集为 E 的图 G 图 G 的补图 . . G G 图 G 与图 G 同构 G 平面图 G 的对偶图 W(G) 图 G 的连通分支数 (G ) 图 G 的点连通度 (G ) 图 G 的边连通度 (G ) 图 G 的最小点度 (G ) 图 G 的最大点度 A(G) 图 G 的邻接矩阵 P(G) 图 G 的可达矩阵 M(G) 图 G 的关联矩阵 K n n 阶完全图 K n,m 完全二分图 C 复数集 N 自然数集（包含 0 在内） N 正自然数集 P 素数集 Q 有理数集 Q 正有理数集 Q 负有理数集 R 实数集 Z 整数集 Z m {[ 1] , [ 2] , ,[ m]} Set 集范畴 Top 拓扑空间范畴 Ab 交换群范畴 Grp 群范畴 . . Mon 单元半群范畴 Ring 有单位元的（结合）环范畴 Rng 环范畴 CRng 交换环范畴 R-mod 环 R 的左模范畴 mod-R 环 R 的右模范畴 Field 域范畴 Poset 偏序集范畴 .