基本数学符号大全.doc

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