常用符号表

普通逻辑符号

1.⇒实质蕴涵读作“如果.. 那么” , A ⇒ B 意味着如果 A 为真，则 B 也为真；如果 A 为假，则对 B 没有任何影响。例子：x = 2 ⇒x2 = 4 为真，但x2 = 4 ⇒x = 2 一般为假(因为x可以是−2)

2.→ 可能意味着同⇒一样的意思(这个符号也可以指示函数的域和陪域；参见数学符号表)。范畴为命题逻辑

3.⊃蕴涵,可能意味着同⇒一样的意思(这个符号也可以指示超集)。范畴为命题逻辑,例子：A⊃B⇔A→B

4.⇔, ↔实质等价,当且仅当。A ⇔ B 意味着 A 为真如果 B 为真，和 A 为假如果 B 为假。

5.¬逻辑否定非, 陈述¬A 为真，当且仅当 A 为假。穿过其他算符的斜线同于在它, 例子：¬(¬A)⇔ A,x ≠y ⇔¬(x = y) ,

6.˜逻辑否定,非,穿过其他算符的斜线同于在它前面放置的"¬"。

例子：～A⇔Ā⇔-A⇔¬A

7.∧逻辑合取“与”如果A与B二者都为真，则陈述A∧ B为真；否则为假。

例子：n< 4 ∧n>2 ⇔n= 3 当n是自然数的时候。

A·B⇔A&B⇔A∧B⇔A和B

8.∨逻辑析取“或”如果A或B或二者均为真陈述，则A∨B为真；如果二者都为假，则陈述为假。例子：n≥ 4∨n≤ 2⇔n≠ 3 当n是自然数的时候。

9.⊕、⊻,范畴为命题逻辑、布尔代数、“异或”陈述A⊕ B为真，在要么 A 要么 B 但不是二

者为真的时候为真。A⊻B意思相同。例子：(¬A) ⊕ A总是真，A⊕ A总是假。

10.∀全称量词“对于所有；对于任何；对于每个”谓词逻辑,∀x: P(x) 意味着所有的x都使P(x) 都为真。例子：∀n∈ N: n2≥ n.

(x)F(x)⇔∀xF(x),∧xF(x)

11.∃存在量词“存在着”谓词逻辑,∃x: P(x) 意味着有至少一个x使P(x) 为真。例子：∃n∈ N: n是偶数。

(∃x)F(x)⇔∃xF(x),∨xF(x)

12.∃!唯一量词“精确的存在一个”谓词逻辑,∃! x: P(x) 意味着精确的有一个x使P(x) 为真。例子：∃! n∈ N: n+ 5 = 2n.

13.:= , :⇔,≡,定义“被定义为”范畴为所有地方。x := y或x≡ y意味着x被定义为y的另一个名字(但要注意≡ 也可以意味着其他东西，比如全等)。P :⇔Q意味着P被定义为逻辑等价于Q。例子：cosh x:= (1/2)(exp x+ exp (−x))

A XOR B:⇔ (A∨B) ∧¬(A∧B)

14.()优先组合,范畴为所有地方。优先进行括号内的运算。例子：(8/4)/2 = 2/2 = 1, 而8/(4/2) = 8/2 = 4。

15.├推论, 命题逻辑, 谓词逻辑x├ y意味着y推导自x。例子：A→ B├ ¬B→ ¬A

等值：A≡B⇔A↔B

常用符号

概念符号：φ直径；∞无穷大，自然常数e，温度℃

Αα阿尔法角度；系数

Ββ贝塔磁通系数；角度；系数

Γγ伽马电导系数（小写）

Δδ德尔塔变动；密度；屈光度

Εε伊普西龙对数之基数

Ζζ截塔系数；方位角；阻抗；相对粘度；原子序数

Ηη艾塔磁滞系数；效率（小写）

Θθ西塔温度；相位角

Ιι约塔微小,一点儿

Κκ卡帕介质常数

∧λ兰布达波长（小写）；体积

Μμ缪磁导系数；微（千分之一）；放大因数（小写）

Νν纽磁阻系数

Ξξ克西

Οο奥密克戎

∏π派圆周率=圆周÷直径=3.1416

Ρρrou 电阻系数（小写）

∑σ西格马总和（大写）,表面密度；跨导（小写）

Ττ套时间常数

Υυ宇普西龙位移

Φφ佛爱磁通；角

Χχ西

Ψψ普西角速；介质电通量（静电力线）；角

Ωω欧米伽欧姆（大写）；角速（小写）；角

大小比较符号：|x| x绝对值；≥大于等于；≤小于等于；≡恒等于或同余；≯不大于；≮不小于；>>远远大于号；<<远远小于号；≠不等于；≈是近似符号；“～”几何表示相似；“≌”几何表示全等；∥平行符号；⊥垂直符号

运算符号：＋加号；－减号；×或·乘号；÷或／除号；√根号；^幂；对数（log，lg，ln）；a：b a比b；floor(x) 上取整函数；ceil(x) 下取整函数；x mod y数论求余数；x - floor(x) 小数部分；dx微分；∫积分；曲线积分∮；极限（lim）；连乘（∏）；阶乘（！）；从n个元素中每次取出r个元素所有不同的组合数（C(r)(n) ）；x的函数f(x) ；∝成正比符号；总和（∑）；三角函数（cos，sin。。。）；绝对值符号“| |”等等∪并集；∩交集；→表示变量变化的趋势

关系符号：∈是属于符号；⊆包括；⊇被包括；因为（∵）；所以（∴）；和&

⊂包括，⊃被包括

优先秩序符号：大括号｛｝；中括号［］；小括号（），连接符号—

图形符号：三角形△；直角三角形Rt△；⊙圆；角度∠；弧⌒

性质符号：正号“＋”，负号“－”，正负号“±”

其他不常用得未收录，必然现代物理，数学比较深层的。