《离散数学》符号表

- 1 - 《离散数学》符号表  全称量词（任意量词）  存在量词 ├ 断定符（公式在L 中可证） ╞ 满足符（公式在E 上有效，公式在E 上可满足） ┐ 命题的“非”运算 ∧ 命题的“合取”（“与”）运算 ∨ 命题的“析取”（“或”，“可兼或”）运算 → 命题的“条件”运算  命题的“双条件”运算的 BA  命题A与B 等价关系 BA  命题A与B 的蕴涵关系 A 公式A的对偶公式 w ff 合式公式 iff 当且仅当 V 命题的“不可兼或”运算（ “异或门” ） ↑ 命题的“与非” 运算（ “与非门” ） ↓ 命题的“或非”运算（ “或非门” ） □ 模态词“必然” ◇ 模态词“可能” φ 空集 ∈ 属于（不属于） A （·） 集合A 的特征函数 P （A） 集合A 的幂集 A 集合A 的点数   nAAA （nA ） 集合A 的笛卡儿积 - 2 - RRR2 )(1RRRnn 关系R 的“复合” 0 阿列夫零  阿列夫  包含  真包含 ∪ 集合的并运算 ∩ 集合的交运算 - （～） 集合的差运算  集合的对称差运算 m m 同余加 m m 同余乘 〡 限制 Rx][ 集合关于关系R 的等价类 A/ R 集合 A 上关于 R 的商集 )(AR 集合 A 关于关系R 的划分 )(AR 集合 A 关于划分 的关系 ][a 元素 a 产生的循环群 Ra][ 元素 a 形成的R 等价类 rC 由相容关系r 产生的最大相容类 I 环，理想 )/(nZ 模 n的同余类集合 )(modkba  a 与b 模k 相等 )(Rr 关系R 的自反闭包 )(Rs 关系R 的对称闭包 - 3 - R ，)(Rt 关系R 的传递闭包 R ，)(Rrt 关系R 的自反、传递闭包 .iH 矩阵 H 的第i 个行向量 jH. 矩阵 H 的第 j 个列向量 CP 命题演绎的定理（CP 规则） EG 存在推广规则（存在量词引入规则） ES 存在量词特指规则（存在量词消去规则） UG 全称推广规则（全称量词引入规则） US 全称特指规则（全称量词消去规则） AI ，0R 恒等关系 A 集合 A的补集 XX 所有 X 到自身的映射 XY 所有从集合 X 到集合 Y 的函数 )(][AAK 集合 A的势（基数） R 关系 r 相容关系 R 否关系 R 补关系 1R （cR ） 逆关系 SR  关系R 与关系S 的复合 nnRRRR, 关系R 的n 次幂 rrBBB222, 布尔代数2B 的r ...