(完整word版)离散数学符号表.docVIP

《离散数学》符号表 全称量词（任意量词） 存在量词 卜 断定符（公式在L中可证） 卜 满足符（公式在 E上有效，公式在 E上可满足） n 命题的“非”运算 A 命题的“合取”（“与”）运算 V 命题的“析取”（“或”，“可兼或”）运算 — 命题的“条件”运算 命题的“双条件”运算的 A B 命题A与B等价关系 A B 命题A与B的蕴涵关系 A 公式A的对偶公式 wff 合式公式 iff 当且仅当 V 命题的“不可兼或”运算（ “异或门”） T 命题的“与非” 运算（“与非门”） 命题的“或非”运算（“或非门”） □ 模态词“必然” ◊ 模态词“可能” © 空集 € 属于（不属于） A (• 集合A的特征函数 P （A） 集合A的幕集 A 集合A的点数 A A A （ An） 集合A的笛卡儿积R2 (Rn Rn 1 R) 关系R的“复合” 阿列夫零 阿列夫 包含 真包含 集合的并运算 集合的交运算 集合的差运算 集合的对称差运算 同余加 同余乘 限制 [x]R 集合关于关系R的等价类 A/ R 集合A上关于R的商集 R(A) 集合A关于关系R的划分 R (A) 集合A关于划分的关系 [a] 元素a产生的循环群 [a]R 元素a形成的R等价类 Cr 由相容关系 r 产生的最大相容类 环，理想 Z /(n) 模 n 的同余类集合 a b(mod k) a 与 b 模 k 相等 r(R)