数学逻辑符号.pdf

精品

数学-逻辑符号

关系符号

符号(Symbol)意义(Meaning)

=等于isequalto

≠不等于isnotequalto

大约等于≒

≡恒等于或同余

∽相似issimilarto

≌全等isequalto(especiallyfortriangle)

大于isgreaterthan

小于islessthan

≥大于等于（或作≯）isgreaterthanorequalto

≤小于等于（或写作≮）islessthanorequalto

远远大于号

远远小于号

∈属于

不属于

⊆真包含于

⊇真包含

⊂包含于

--精品

精品

包含

∪并集

∩交集

||平行isparallelto∥

⊥垂直

├断定符（公式在L中可证）

╞满足符（公式在E上有效，公式在E上可满足）

┐命题的“非”运算

∧命题的“合取”（“与”）运算

命题的“析取”（“或”，“可兼或”）运算

→命题的“条件”运算

↔命题的“双条件”运算的

A=B命题A与B等价关系

A=B命题A与B的蕴涵关系

A*公式A的对偶公式

wff合式公式

iff当且仅当

↑命题的“与非”运算（“与非门”）

↓命题的“或非”运算（“或非门”）

□模态词“必然”

--精品

精品

模态词“可能”

R关系

r相容关系

运算符号

＋加号

－减号

×乘号（或·）

÷除号（或／，含分数）

：比

∪两个集合的并集

∩交集

П连乘（集合论中的相乘）

Σ连加

√根号

log对数（或lg，ln）

dx微

∫积

∮曲线积

性质符号

--精品

精品

＋正号

－负号

±正负号

||绝对值（|x|绝对值absolutevalueofX）

结合符号

（）小括号

［］中括号

｛｝大括号

省略符号

△三角形

Rt△直角三角形

∠角

⊙圆

º度

||平行isparallelto∥

⊥垂直

Sin正弦

Cos余弦

f(x)x的函数

lim极限

因为

∴所以

--精品

精品

∑总和

∏连乘

C(r)(n)从n个元素中每次取出个元素所有不同的组合

数

幂（A，Ac，Aq，x^n）等。

排列组合符号

C组合数Combination

A排列数Aangement

N元素的总个数

R参与选择的元素个数

!阶乘，如5！=5×4×3×2×1=120

其他符号

∀全称量词,任意

∃存在量词

φ空集

∞无穷大

π圆周率

C复数集

N自然数集（包含0在内）

N*正自然数集

P素数集