《离散数学符号表》由会员分享，可在线阅读，更多相关《离散数学符号表（5页珍藏版）》请在金锄头文库上搜索。
1、离散数学符号表离散数学符号表 全称量词（任意量词） 存在量词 断定符（公式在 L 中可证） 满足符（公式在 E 上有效，公式在 E 上可满足） 命题的“非”运算 命题的“合取” （ “与” ）运算 命题的“析取” （ “或” ， “可兼或” ）运算 命题的“条件”运算 命题的“双条件”运算的 BA 命题A与B等价关系 BA 命题A与B的蕴涵关系 A 公式A的对偶公式 wff 合式公式 iff 当且仅当 V 命题的“不可兼或”运算（ “异或门” ） 命题的“与非” 运算（ “与非门” ） 命题的“或非”运算（ “或非门” ） 模态词“必然” 模态词“可能” 空集 属于（ 不属于） A （ ） 集
2、合 A 的特征函数 P（A） 集合 A 的幂集 A 集合 A 的点数 ? ? n AAA （ n A） 集合 A 的笛卡儿积 RRR?= 2 )( 1 RRR nn ? = 关系 R 的“复合” 0 阿列夫零 阿列夫 包含 真包含 集合的并运算 集合的交运算 - （） 集合的差运算 集合的对称差运算 m + m 同余加 m m 同余乘 限制 R x 集合关于关系 R 的等价类 A/R 集合 A 上关于 R 的商集 )(A R 集合 A 关于关系 R 的划分 )(AR 集合 A 关于划分的关系 a 元素a产生的循环群 R a 元素a形成的R等价类 r C 由相容关系r产生的最大相容类 I 环，理
3、想 )/(nZ 模 n 的同余类集合 )(modkba a与b模k相等 )(Rr 关系R的自反闭包 )(Rs 关系R的对称闭包 + R， )(Rt 关系R的传递闭包 R， )(Rrt 关系R的自反、传递闭包 . i H 矩阵H的第i个行向量 j H. 矩阵H的第 j个列向量 CP 命题演绎的定理（CP 规则） EG 存在推广规则（存在量词引入规则） ES 存在量词特指规则（存在量词消去规则） UG 全称推广规则（全称量词引入规则） US 全称特指规则（全称量词消去规则） A I ， 0 R 恒等关系 A 集合A的补集 X X 所有 X 到自身的映射 X Y 所有从集合 X 到集合 Y 的函数
4、)(AAK 集合A的势（基数） R 关系 r 相容关系 R 否关系 R 补关系 1 R （ c R） 逆关系 SR? 关系R与关系S的复合 n n RRRR, ? ? 关系R的n次幂 r r BBB 222 , ? ? 布尔代数2 B 的r次幂 r B2 含有 r 2个元素的布尔代数 domf 函数 f 的定义域（前域） ranf 函数 f 的值域 YXf： （YX f ） f 是 X 到 Y 的函数 ),(yxGCD yx, 最大公约数 ),(yxLCM yx, 的最小公倍数 e 幺元 零元 1 a 元素a的逆元 )(HaaH H关于a的左（右）陪集 )( fKer 同态映射 f 的核（或称
5、 f 的同态核） A，B，C 合式公式 k n 二项式系数 p nnn n , 21 ? 多项式系数 1，n 1 到 n 的整数集合 ) 1() 1(+=kxxxx k ? ) 1() 1(+=kxxxx k ? k n C 组合数 ),(vud 点u与点v间的距离 )(vd 点v的度数 )(vd + 点v的出度 )(vd 点v的入度 ),(EVG = 点集为 V，边集为 E 的图 G 图G的补图 GG 图G与图 G 同构 G 平面图 G 的对偶图 W(G) 图 G 的连通分支数 )(G 图 G 的点连通度 )(G 图 G 的边连通度 )(G 图 G 的最小点度 )(G 图 G 的最大点度 A(G) 图 G 的邻接矩阵 P(G) 图 G 的可达矩阵 M(G) 图 G 的关联矩阵 n K n阶完全图 mn K , 完全二分图 C 复数集 N 自然数集（包含 0 在内） + N 正自然数集 P 素数集 Q 有理数集 + Q 正有理数集 Q 负有理数集 R 实数集 Z 整数集 m Z , 2 , 1m? Set 集范畴 Top 拓扑空间范畴 Ab 交换群范畴 Grp 群范畴 Mon 单元半群范畴 Ring 有单位元的（结合）环范畴 Rng 环范畴 CRng 交换环范畴 R-mod 环 R 的左模范畴 mod-R 环 R 的右模范畴 Field 域范畴 Poset 偏序集范畴
