运算符号
如加号(),减号(-),乘号(×或),除号(÷或),两个集合的并集(∪),交集(∩),根号(√ ̄),对数(log,lg,l
,lb),比(),绝对值符号,微分(d),积分(∫),闭合曲面(曲线)积分(∮)等。
关系符号
如“”是等号,“≈”是近似符号(即约等于),“≠”是不等号,“”是大于符号,“”是小于符号,“≥”是大于或等于符号(也可写作“≮”,即不小于),“≤”是小于或等于符号(也可写作“≯”,即不大于),“→”表示变量变化的趋势,“∽”是相似符号,“≌”是全等号,“∥”是平行符号,“⊥”是垂直符号,“∝”是正比例符号(表示反比例时可以利用倒数关系),“∈”是属于符号,“”是包含于符号,“”是包含符号,“”表示“能整除”(例如ab表示“a能整除b”,而
b表示r是a恰能整除b的最大幂次,xy等任何字母都可以代表未知数。
结合符号
如小括号“”,中括号“”,大括号“”,横线“”,比如
。
性质符号
如正号“”,负号“”,正负号“
”(以及与之对应使用的负正号“
”)
f省略符号
如三角形(△),直角三角形(Rt△),正弦(si
)(见三角函数),
双曲正弦函数(si
h),x的函数(fx),极限(lim),角(∠),∵因为∵所以总和,连加:∑,求积,连乘:∏,从
个元素中取出r个元素所有不同的组合数
(
元素的总个数;r参与选择的元素个数),幂
等。
排列组合符号
C组合数A或P排列数
元素的总个数r参与选择的元素个数阶乘,如5!5×4×3×2×1120,规定0!1半阶乘又称双阶乘,例如77×5×3×11051010×8×6×4×23840
f离散数学符号
全称量词存在量词├断定符(公式在L中可证)满足符(公式在E上有效,公式在E上可满足)命题的“非”运算,如命题的否定为p∧命题的“合取”(“与”)运算∨命题的“析取”(“或”,“可兼或”)运算→命题的“条件”运算命题的“双条件”运算的pq命题p与q的等价关系pq命题p与q的蕴涵关系(p是q的充分条件,q是p的必要条件)A公式A的对偶公式,或表示A的数论倒数(此时亦可写为)wff合式公式iff当且仅当↑命题的“与非”运算(“与非门”)↓命题的“或非”运算(“或非门”)□模态词“必然”◇模态词“可能”空集∈属于(如