离散数学符号

1、1离散数学符号表2V全称量词（任意量词）3存在量词卜断定符（公式在L中可证）卜满足符（公式在E上有效，公式在n命题的“非”运算A命题的“合取”（“与”）运算V命题的“析取”（“或”，“可兼或”）命题的“条件”运算命题的“双条件”运算的Au B命题A与B等价关系A= B命题A与B的蕴涵关系A公式A的对偶公式wff合式公式iff当且仅当_V命题的“不可兼或”运算（“异或T命题的“与非” 运算（“与非门命题的“或非”运算（“或非门”模态词“必然”模态词“可能”空集属于（，不属于） (集合A的特征函数P(A)集合A的幕集A集合A的点数运算)E上可满足）A A A（An）集合A的笛卡儿积”）”）n3R2

2、二R R(Rn= RnJR)关系R的“复合阿列夫零N阿列夫包含ZD真包含U集合的并运算n集合的交运算-（）集合的差运算集合的对称差运算mm同余加mm同余乘1限制XR集合关于关系R的等价类A/ R集合A上关于R的商集二R(A)集合A关于关系R的划分R-(A)集合A关于划分二的关系a元素a产生的循环群aR元素a形成的R等价类Cr由相容关系r产生的最大相容类I环，理想Z/(n)模n的同余类集合a三b(mod k)a与b模k相等r(R)关系R的自反闭包s(R)关系R的对称闭包4关系R的传递闭包关系R的自反、传递闭包矩阵H的第i个行向量矩阵H的第j个列向量命题演绎的定理（CP规则）存在推广规则（存在量词

3、引入规则）存在量词特指规则（存在量词消去规则）全称推广规则（全称量词引入规则）全称特指规则（全称量词消去规则）恒等关系集合A的补集所有X到自身的映射所有从集合X到集合丫的函数集合A的势（基数）关系相容关系否关系补关系R4（Rc） 逆关系R S关系R与关系S的复合RR , Rn关系R的n次幕nB2 B2, B；布尔代数B2的r次幕rB；r含有2r个元素的布尔代数R,t(R)R,rt(R)Hi.H.jCPEGESUGUSIA,R0KA (A)RrRR5domf函数f的定义域（前域）ranf函数f的值域6f:X Y(XfY)f是X到Y的函数GCD(x,y)x,y最大公约数LCM (x, y)x, y

4、的最小公倍数幺元零元元素a的逆元aH (Ha)H关于a的左（右）陪集Ker(f)同态映射f的核（或称f的同态核）A,B,C合式公式二项式系数nn2,np 多项式系数1，n到n的整数集合xk= x(x -1) (x -k 1)xk= x(x 1) (x k -1)Cn组合数d(u,v)点u与点v间的距离d(v)点V的度数d (v)点v的出度d 7V)点V的入度G =(V,E)点集为V，边集为E的图图G的补图7G平面图G的对偶图W(G)图G的连通分支数(G)图G的点连通度(G)图G的边连通度(G)图G的最小点度(G)图G的最大点度A(G)图G的邻接矩阵P(G)图G的可达矩阵M(G)图G的关联矩阵Knn阶完全图Kn,m完全二分图C复数集N自然数集（包含0在内）N正自然数集P素数集Q有理数集Q正有理数集Q_负有理数集R实数集Z整数集Zm1,2,mSet集范畴Top拓扑空间范畴Ab交换群范畴Grp群范畴G三G图G与图G同构8Mon单元半群范畴Ring