数 学 -逻 辑 符 号 关系符 号 符 号 (Symbol) 意 义 (Meaning) = 等 于 is equal to ≠ 不等 于 is not equal to ≈ 大 约 等 于 ≒ ≡ 恒 等 于 或 同 余 ∽ 相 似 is similar to ≌ 全 等 is equal to(especially for triangle ) > 大 于 is greater than < 小 于 is less than ≥ 大 于 等 于 （ 或 作 ≯） is greater than or equal to ≤ 小 于 等 于 （ 或 写 作 ≮） is less than or equal to >> 远 远 大 于 号 << 远 远 小 于 号 ∈ 属于 ∉ 不属于 ⊆ 真包含于 ⊇ 真包含 ⊂ 包含于 ⊃ 包含 ∪ 并 集 ∩ 交 集 ∈ 属于 ∉ 不属于 ⊆ 真包含于 ⊇ 真包含 ⊂ 包含于 ⊃ 包含 ∪ 并 集 ∩ 交 集 || 平行 is parallel to ∥ ⊥ 垂直 ├ 断定符（公式在 L 中可证） ╞ 满足符（公式在 E 上有效，公式在 E 上可满足） ┐ 命题的“非”运算 ∧ 命题的“合取”（“与”）运算 ∨ 命题的“析取”（“或”，“可兼或”）运算 → 命题的“条件”运算 ↔ 命题的“双条件”运算的 A<=>B 命题 A 与 B 等价关系 A=>B 命题 A 与 B 的蕴涵关系 A* 公式 A 的对偶公式 wff 合 式 公 式 iff 当 且 仅 当 ↑ 命 题 的 “与非” 运算（“与非门” ） ↓ 命 题 的 “或非”运算（ “或非门” ） □ 模态词“必然” ◇ 模态词“可能” R 关系 r 相容关系 运 算 符 号 ＋ 加号 － 减号 × 乘号（或·） ÷ 除号（或／，含分数） ： 比 ∪ 两个集合 的 并集 ∩ 交集 П 连乘（集合 论中的 相乘） Σ 连加 √ 根号 log 对数（或 lg，ln） dx 微分 ∫ 积 分 ∮ 曲 线 积 分 性 质 符 号 ＋ 正 号 － 负 号 ± 正 负 号 | | 绝 对 值 （ |x| 绝 对 值 absolute value of X） 结合符 号 （ ） 小 括 号 ［ ］ 中 括 号 ｛ ｝ 大 括 号 省略符 号 △ 三 角 形 Rt△ 直 角 三 角 形 ∠ 角 ⊙ 圆 º 度 || 平 行 is parallel to ∥ ⊥ 垂直 Sin 正 弦 Cos 余弦 f(x) x 的 函 数 lim 极 限 ∵ 因 为 ∴ 所 以 ∑ 总 和 ∏ 连 乘 C(r)(n)从 n 个 元 素 中 每 次 取 出 r 个 元 素 所 有 不 同 的 组 合数 幂 （ A， Ac， Aq， x^n） 等 。 排 列 组 合 符 号 C 组 合 数 Combination A 排 列 数 Arrangement N 元 素 的 总 个 数 R 参 与 选 择 的 元 素 个 数 ! 阶 乘 ， 如 5！ =5×4×3×2×1=120 其 他 符 号 ∀ 全 称 量 词 ∃ 存 在 量 词 φ 空 集 ∞ 无 穷 大 π 圆 周 率 C 复 数 集 N 自 然 数 集 （ 包 含 0在 内） N* 正自 然 数 集 P 素数 集 Q 有理数 集 R 实数 集 Z 整数 集
