1、数学-逻辑符号
关系符号
符号(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 o
2、r equal to
>> 远远大于号
<< 远远小于号
∈ 属于
∉ 不属于
⊆ 真包含于
⊇ 真包含
⊂ 包含于
⊃ 包含
∪ 并集
∩ 交集
∈ 属于
∉ 不属于
⊆ 真包含于
⊇ 真包含
⊂ 包含于
⊃ 包含
∪ 并集
∩ 交集
|| 平行 is parallel to ∥
⊥ 垂直
├ 断定符（公式在L中可证）
╞ 满足符（公式在E上有效，公式在E上可满足）
┐ 命题的“非”运算
∧ 命题的“合取”（“与”）运算
∨ 命题的“析取”（“或”，“可兼或”）运算
3、
→ 命题的“条件”运算
↔ 命题的“双条件”运算的
A<=>B 命题A 与B 等价关系
A=>B 命题 A与 B的蕴涵关系
A* 公式A 的对偶公式
wff 合式公式
iff 当且仅当
↑ 命题的“与非” 运算（“与非门” ）
↓ 命题的“或非”运算（ “或非门” ）
□ 模态词“必然”
◇ 模态词“可能”
R 关系
r 相容关系
运算符号
＋ 加号
－ 减号
× 乘号（或·）
÷ 除号（或／，含分数）
： 比
∪ 两个集合的并集
∩ 交集
П 连乘（集合论中的相乘）
Σ 连加
√
4、根号
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 整数集
浙ICP备2021020529号-1 | 浙B2-20240490 
