《离散数学》符号表

可编辑可编辑精品精品可编辑精品《离散数学》符号全称量词（任意量词）存在量词├断定符（公式在L中可证）╞满足符（公式在E上有效，公式在E上可满足）┐命题的“非”运算∧命题的“合取”（“与”）运算∨命题的“析取”（“或”，“可兼或”）运算→命题的“条件”运算命题的“双条件”运算的命题与等价关系命题与的蕴涵关系公式的对偶公式合式公式当且仅当命题的“不可兼或”运算（“异或门”）↑命题的“与非”运算（“与非门”）↓命题的“或非”运算（“或非门”）□模态词“必然”◇模态词“可能”φ空集∈属于（不属于）（·）集合A的特征函数P（A）集合A的幂集集合A的点数（）集合A的笛卡儿积可编辑可编辑精品精品可编辑精品关系R的“复合”阿列夫零阿列夫包含真包含∪集合的并运算∩集合的交运算-（～）集合的差运算集合的对称差运算m同余加m同余乘〡限制集合关于关系R的等价类/集合A上关于R的商集集合A关于关系R的划分集合A关于划分的关系元素产生的循环群元素形成的等价类由相容关系产生的最大相容类环，理想模n的同余类集合与模相等关系的自反闭包关系的对称闭包可编辑可编辑精品精品可编辑精品，关系的传递闭包，关系的自反、传递闭包矩阵的第个行向量矩阵的第个列向量CP命题演绎的定理（CP）EG存在推广规则（存在量词引入规则）ES存在量词特指规则（存在量词消去规则）UG全称推广规则（全称量词引入规则）US全称特指规则（全称量词消去规则），恒等关系集合的补集所有X到自身的映射所有从集合X到集合Y的函数集合的势（基数）R关系相容关系R否关系补关系（）逆关系关系与关系的复合关系的次幂布尔代数的次幂含有个元素的布尔代数函数的定义域（前域）函数的值域可编辑可编辑精品精品可编辑精品（）是X到Y的函数最大公约数的最小公倍数幺元零元元素的逆元关于的左（右）陪集同态映射的核（或称的同态核）A，B，C合式公式二项式系数多项式系数[1，n]1到n的整数集合组合数点与点间的距离点的度数点的出度点的入度点集为V，边集为E的图图的补图图与图同构可编辑可编辑精品精品可编辑精品平面图G的对偶图W(G)图G的连通分支数图G的点连通度图G的边连通度图G的最小点度图G的最大点度A(G)图G的邻接矩阵P(G)图G的可达矩阵M(G)图G的关联矩阵阶完全图完全二分图C复数集N自然数集（包含0在内）正自然数集P素数集Q有理数集正有理数集负有理数集R实数集Z整数集Set集范畴Top拓扑空间范畴Ab交换群范畴Grp群范畴Mon单元半群范畴可编辑可编辑精品精品可编辑精品Ring有单位元的（结合）环范畴Rng环范畴CRng交换环范畴R-mod环R的左模范畴mod-R环R的右模范畴Field域范畴Poset偏序集范畴.