[2018年必威体育精装版整理](离散)数学符号.docVIP

《离散数学》符号表 ( 全称量词（任意量词） ( 存在量词 ├ 断定符（公式在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的边连通度