(离散)数符号.docVIP

《离散数学》符号表 ? 全称量词（任意量词） ? 存在量词 ├ 断定符（公式在L中可证） ╞ 满足符（公式在E上有效，公式在E上可满足） ┐ 命题的“非”运算 ∧ 命题的“合取”（“与”）运算 ∨ 命题的“析取”（“或”，“可兼或”）运算 → 命题的“条件”运算 命题的“双条件”运算的 命题与等价关系 命题与的蕴涵关系 EMBED Equation.3 公式的对偶公式 EMBED Equation.3 合式公式 当且仅当 命题的“不可兼或”运算（ “异或门” ） ↑ 命题的“与非” 运算（ “与非门” ） ↓ 命题的“或非”运算（ “或非门” ） □ 模态词“必然” ◇ 模态词“可能” φ 空集 ∈ 属于（?不属于） （·） 集合A的特征函数 P（A） 集合A的幂集 集合A的点数 （） 集合A的笛卡儿积 关系R的“复合” 阿列夫零 EMBED Equation.3 阿列夫 EMBED Equation.3 包含 EMBED Equation.3 真包含 ∪ 集合的并运算 ∩ 集合的交运算 - （～） 集合的差运算 ? 集合的对称差运算 m同余加 m同余乘 〡 限制 集合关于关系R的等价类 / 集合A上关于R的商集 集合A关于关系R的划分 集合A关于划分的关系 EMBED Equation.3 元素产生的循环群 EMBED Equation.3 元素形成的等价类 由相容关系产生的最大相容类 EMBED Equation.3 环，理想 EMBED Equation.3 模n的同余类集合 与模相等 EMBED Equation.3 关系的自反闭包 EMBED Equation.3 关系的对称闭包 ， EMBED Equation.3 关系的传递闭包 ， 关系的自反、传递闭包 矩阵的第个行向量 矩阵的第个列向量 CP 命题演绎的定理（CP 规则） EG 存在推广规则（存在量词引入规则） ES 存在量词特指规则（存在量词消去规则） UG 全称推广规则（全称量词引入规则） US 全称特指规则（全称量词消去规则） ， 恒等关系 EMBED Equation.3 集合的补集 EMBED Equation.3 所有X到自身的映射 所有从集合X到集合Y的函数 集合的势（基数） R 关系 相容关系 R 否关系 EMBED Equation.3 补关系 EMBED Equation.3 （） 逆关系 EMBED Equation.3 关系与关系的复合 关系的次幂 布尔代数的次幂 含有个元素的布尔代数 EMBED Equation.3 函数的定义域（前域） EMBED Equation.3 函数的值域 （） 是X到Y的函数 最大公约数 的最小公倍数 EMBED Equation.3 幺元 EMBED Equation.3 零元 EMBED Equation.3