数学-逻辑符号

关系符号

　　符号(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 整数集