数学-逻辑符号 关系符号 符号(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 整数集
VIP
