《离散数学》符号表

1、.离散数学符号表全称量词（任意量词）存在量词断定符（公式在l 中可证）满足符（公式在e 上有效，公式在e 上可满足）命题的“非”运算命题的“合取”（“与”）运算命题的“析取”（“或”，“可兼或”）运算命题的“条件”运算命题的“双条件”运算的a b命题 a 与 b 等价关系ab命题 a 与 b 的蕴涵关系a公式 a的对偶公式wff合式公式iff当且仅当v命题的“不可兼或”运算（“异或门” ）命题的“与非” 运算（ “与非门” ）命题的“或非”运算（“或非门” ）模态词“必然”模态词“可能”空集属于（ 不属于）a （）集合 a 的特征函数p（ a）集合 a 的幂集a集合 a 的点数aaa （ an

2、 ） 集合 a 的笛卡儿积n.r2r r(rnrn 1)关系 r的“复合”r0阿列夫零阿列夫包含真包含集合的并运算集合的交运算- （）集合的差运算集合的对称差运算mm同余加mm同余乘限制 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 的同余类集合ab(mod k)a 与 b 模 k 相等r ( r)关系 r 的自反闭包s( r)关系 r 的对称闭包.r ， t( r)关系 r 的

3、传递闭包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 ）逆关系rs关系 r 与关系 s 的复合r rr , rn关系 r 的 n 次幂nb2b2 ,

4、 b2r布尔代数 b2 的 r 次幂rb2r含有 2r 个元素的布尔代数domf函数 f 的定义域（前域）.ranf函数 f的值域f： xy （ xfy ）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二项式系数kn多项式系数n1 ,n2 , , np1 ，n1到 n 的整数集合 xkx( x 1)(x k 1) xkx( x 1)(x k 1)cnk组合数d (u, v)点

5、u 与点 v 间的距离d (v)点 v 的度数d(v)点 v 的出度d(v)点 v 的入度g (v , e)点集为 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 的关联矩阵k nn 阶完全图k n,m完全二分图c复数集n自然数集（包含0 在内）n正自然数集p素数集q有理数集q正有理数集q负有理数集r实数集z整数集z m 1 , 2 , mset集范畴top拓扑空间范畴ab交换群范畴grp群范畴.mon单元半群