数学逻辑符号关系符号符号Symbol意义Mea
i
g等于isequalto≠不等于is
otequalto≈大约等于≡恒等于或同余∽相似issimilarto≌全等isequaltoespeciallyfortria
gle
大于isgreatertha
小于islesstha
≥大于等于（或作≯）isgreatertha
orequalto≤小于等于（或写作≮）islesstha
orequalto远远大于号远远小于号∈属于不属于真包含于真包含包含于包含
f∪并集∩交集∈属于不属于真包含于真包含包含于包含∪并集∩交集平行isparallelto∥⊥垂直├断定符（公式在L中可证）满足符（公式在E上有效，公式在E上可满足）┐命题的“非”运算∧命题的“合取”（“与”）运算∨命题的“析取”（“或”，“可兼或”）运算→命题的“条件”运算命题的“双条件”运算的AB命题A与B等价关系AB命题A与B的蕴涵关系A公式A的对偶公式
fwff合式公式iff当且仅当↑命题的“与非”运算（“与非门”）↓命题的“或非”运算（“或非门”）□模态词“必然”◇模态词“可能”R关系r相容关系
运算符号＋加号－减号×乘号（或）÷除号（或／，含分数）：比∪两个集合的并集∩交集П连乘（集合论中的相乘）Σ连加√根号log对数（或lg，l
）dx微分
f∫积分∮曲线积分
性质符号＋正号－负号±正负号绝对值（x绝对值absolutevalueofX）结合符号（）小括号［］中括号｛｝大括号省略符号△三角形Rt△直角三角形∠角⊙圆度平行isparallelto∥⊥垂直Si
正弦Cos余弦
ffxx的函数lim极限∵因为∴所以∑总和∏连乘Cr
从
个元素中每次取出r个元素所有不同的组合数幂（A，Ac，Aq，x
）等。排列组合符号C组合数Combi
atio
A排列数Arra
geme
tN元素的总个数R参与选择的元素个数阶乘，如5！5×4×3×2×1120其他符号全称量词存在量词φ空集∞无穷大π圆周率C复数集
fN自然数集（包含0在内）N正自然数集P素数集Q有理数集R实数集Z整数集
fr