1、- 1 -离散数学符号表 全称量词（任意量词） 存在量词 断定符（公式在 L 中可证） 满足符（公式在 E 上有效，公式在 E 上可满足） 命题的“非”运算 命题的“合取” （“与” ）运算 命题的“析取” （“或” ， “可兼或” ）运算 命题的“条件”运算 命题的“双条件”运算的命题 与 等价关系BAAB命题 与 的蕴涵关系公式 的对偶公式合式公式wf当且仅当i命题的“不可兼或”运算（ “异或门” ）V 命题的“与非” 运算（ “与非门” ） 命题的“或非”运算（ “或非门” ） 模态词“必然” 模态词“可能” 空集 属于（不属于）（） 集合 A 的特征函数AP（A） 集合 A 的幂集集合
2、 A 的点数（ ） 集合 A 的笛卡儿积nn- 2 -关系 R 的“复合”R2 )(1n阿列夫零0阿列夫包含真包含 集合的并运算 集合的交运算- （） 集合的差运算 集合的对称差运算m 同余加mm 同余乘 限制集合关于关系 R 的等价类Rx/ 集合 A 上关于 R 的商集A集合 A 关于关系 R 的划分)(R集合 A 关于划分 的关系元素 产生的循环群aa元素 形成的 等价类R R由相容关系 产生的最大相容类rCr环，理想I模 n 的同余类集合)/(nZ与 模 相等modkbaabk关系 的自反闭包)(RrR关系 的对称闭包s- 3 -， 关系 的传递闭包R)(tR， 关系 的自反、传递闭包r
3、矩阵 的第 个行向量.iHHi矩阵 的第 个列向量j. jCP 命题演绎的定理（ CP 规则）EG 存在推广规则（存在量词引入规则）ES 存在量词特指规则（存在量词消去规则）UG 全称推广规则（全称量词引入规则）US 全称特指规则（全称量词消去规则）， 恒等关系AI0R集合 的补集A所有 X 到自身的映射X所有从集合 X 到集合 Y 的函数Y集合 的势（基数）)(AKR 关系相容关系rR 否关系补关系（ ） 逆关系1c关系 与关系 的复合SRS关系 的 次幂nnR, n布尔代数 的 次幂rrB22 2Br含有 个元素的布尔代数r2 r函数 的定义域（前域）domf f函数 的值域ran- 4
4、-（ ） 是 X 到 Y 的函数YXf： Yf f最大公约数),(yxGCDyx,的最小公倍数LM幺元e零元元素 的逆元1aa关于 的左（右）陪集)(HH同态映射 的核（或称 的同态核）fKerffA，B，C 合式公式二项式系数kn多项式系数p,211，n 1 到 n 的整数集合)()kxxk组合数knC点 与点 间的距离),(vuduv点 的度数点 的出度)(vv点 的入度d点集为 V，边集为 E 的图),(EVG图 的补图G图 与图 同构- 5 -平面图 G 的对偶图GW(G) 图 G 的连通分支数图 G 的点连通度)(图 G 的边连通度图 G 的最小点度)(G图 G 的最大点度A(G) 图 G 的邻接矩阵P(G) 图 G 的可达矩阵M(G) 图 G 的关联矩阵阶完全图nKn完全二分图m,C 复数集N 自然数集（包含 0 在内）正自然数集P 素数集Q 有理数集正有理数集负有理数集R 实数集Z 整数集m ,2,1mSet 集范畴Top 拓扑空间范畴Ab 交换群范畴Grp 群范畴Mon 单元半群范畴- 6 -Ring 有单位元的（结合）环范畴Rng 环范畴CRng 交换环范畴R-mod 环 R 的左模范畴mod-R 环 R 的右模范畴Field 域范畴Poset 偏序集范畴
