离散数学符号
├ 断定符（公式在L中可证）
╞ 满足符（公式在E上有效，公式在E上可满足）
┐ 命题的“非”运算
∧ 命题的“合取”（“与”）运算
∨ 命题的“析取”（“或”，“可兼或”）运算
→ 命题的“条件”运算
A<=>B 命题A 与B 等价关系
A=>B 命题 A与 B的蕴涵关系
A* 公式A 的对偶公式
wff 合式公式
iff 当且仅当
↑ 命题的“与非” 运算（ “与非门” ）
↓ 命题的“或非”运算（ “或非门” ）
□ 模态词“必然”
◇ 模态词“可能”
φ 空集
∈ 属于（??不属于）
P（A） 集合A的幂集
|A| 集合A的点数
R^2=R○R [R^n=R^(n-1)○R] 关系R的“复合”
（或下面加 ≠） 真包含
∪ 集合的并运算
∩ 集合的交运算
- （～） 集合的差运算
〡 限制
[X](右下角R) 集合关于关系R的等价类
A/ R 集合A上关于R的商集
[a] 元素a 产生的循环群
I (i大写) 环，理想
Z/(n) 模n的同余类集合
r(R) 关系 R的自反闭包
s(R) 关系 的对称闭包
CP 命题演绎的定理（CP 规则）
EG 存在推广规则（存在量词引入规则）
ES 存在量词特指规则（存在量词消去规则）
UG 全称推广规则（全称量词引入规则）
US 全称特指规则（全称量词消去规则）
R 关系
r 相容关系
R○S 关系 与关系 的复合
domf 函数 的定义域（前域）
ranf 函数 的值域
f:X→Y f是X到Y的函数
GCD(x,y) x,y最大公约数
LCM(x,y) x,y最小公倍数
aH(Ha) H 关于a的左（右）陪集
Ker(f) 同态映射f的核（或称 f同态核）
[1，n] 1到n的整数集合
d(u,v) 点u与点v间的距离
d(v) 点v的度数
G=(V,E) 点集为V，边集为E的图
W(G) 图G的连通分支数
k(G) 图G的点连通度
△（G) 图G的最大点度
A(G) 图G的邻接矩阵
P(G) 图G的可达矩阵
M(G) 图G的关联矩阵
C 复数集
N 自然数集（包含0在内）
N* 正自然数集
P 素数集
Q 有理数集
R 实数集
Z 整数集
Set 集范畴
Top 拓扑空间范畴
Ab 交换群范畴
Grp 群范畴
Mon 单元半群范畴
Ring 有单位元的（结合）环范畴
Rng 环范畴
CRng 交换环范畴
R-mod 环R的左模范畴
mod-R 环R的右模范畴
Field 域范畴
Poset 偏序集范畴
数学符号汇总：
+ −- × ÷ ± ∓ ∔= ¬ ∩ ∪ ∝ ∞ ℵℇ∀ ∁∂∃ ∄∅∆∇ ⊂ ⊄⊅⊆ ⊇ ⊈⊉⊊⊋∈ ∉∊∋ ∌∍∧ ∨< > ≤ ≥ ≦ ≧ ≨≩≪ ≫ ≭≮ ≯ ≰≱≲≳≴≶≷≸≹≺≻≼≽≾≿⊀⊁∎∏ ∐∑ ⨊ ⨋∕ ∖∗°∙√ ∛∜∟ ∠ ∡∢∣ ∤∥ ∦∫ ∬ ∭∮ ∯∰∱∲∳∴ ∵ ∶ ∷ ∸∹∺∻∼ ∽ ∾∿≀≁≂≃≄≅≆≇≈ ≉≊≋≌ ≍≎≏≐≑≒ ≓≔≕≖≗≘≙≚≛≜≝≞≟≠ ≡ ≢≣≬⊌⊍⊎⊏⊐⊑⊒⊓⊔& ⅋ ⊕ ⊖⊗⊘⊙ ⊚⊛⊜⊝⊞⊟⊠⊡⊢⊣⊤⊥ ⊦⊧⊨⊩⊪⊫⊬⊭⊮⊯⊰⊱⊲⊳⊴⊵⊶⊷⊸⊹⊺⊻⊼⊽⊾⊿ ⋀⋁⋂⋃⋄⋅⋆⋇⋈⋉⋊⋋⋌⋍⋎⋏⋐⋑⋒⋓⋔⋕⋖⋗⋘⋙⋚⋛⋜⋝⋞⋟⋠⋡⋢⋣⋤⋥⋦⋧⋨⋩⋪⋫⋬⋭⋮…⋰⋱
符号来历：
“+”号是由拉丁文“et”（“和”的意思）演变而来的。十六世纪，意大利科学家塔塔里亚用意大利文“plu”（“加”的意思）的第一个字母表示加，草为“μ”最后都变成了“+”号。“－”号是从拉丁文“minus”（“减”的意思）演变来的，简写m，再省略掉字母，就成了“－”了。
也有人说，卖酒的商人用“－”表示酒桶里的酒卖了多少。以后，当把新酒灌入大桶的时候，就在“－”上加一竖，意思是把原线条勾销，这样就成了个“+”号。
到了十五世纪，德国数学家魏德美正式确定：“+”用作加号，“－”用作减号。
乘号曾经用过十几种，现在通用两种。一个是“×”，最早是英国数学家奥屈特1631年提出的；一个是“·”，最早是英国数学家赫锐奥特首创的。德国数学家莱布尼茨认为：“×”号象拉丁字母“X”，加以反对，而赞成用“·”号。他自己还提出用“п”表示相乘。可是这个符号现在应用到集合论中去了。
到了十八世纪，美国数学家欧德莱确定，把“×”作为乘号。他认为“×”是“+”斜起来写，是另一种表示增加的符号。
“÷”最初作为减号，在欧洲大陆长期流行。直到1631年英国数学家奥屈特用“：”表示除或比，另外有人用“－”（除线）表示除。后来瑞士数学家拉哈在他所著的《代数学》里，才根据群众创造，正式将“÷”作为除号。
平方根号曾经用拉丁文“Radix”（根）的首尾两个字母合并起来表示，十七世纪初叶，法国数学家笛卡儿在他的《几何学》中，第一次用“√”表示根号。“√”是由拉丁字线“r”变，“——”是括线。
十七世纪德国莱布尼茨广泛使用了“=”号，他还在几何学中用“∽”表示相似，用“≌”表示全等。
大于号“>”和小于号“<”，是1631年英国著名代数学家赫锐奥特创用。至于“≯”、“≮”、“≠”这三个符号的出现，是很晚很晚的事了。大括号“{}”和中括号“[]”是代数创始人之一魏治德创造的。
以上这篇数学符号大全为您介绍到这里，希望它对您有帮助。如果您喜欢这篇文章，请分享给您的好友。更多符号，特殊符号尽在：范文大全
搞笑谜语，脑筋急转弯，祝福语，每日惊喜不断，尽在谜语网！可通过扫描本站微信二维码或者添加微信号：miyu_88，进行体验！
上一篇：
关于中秋节的演讲稿大全下一篇：
九九重阳节慰问信范文
首页谜语大全对联语录谚语脑筋急转弯名言名句句子爱情谜语趣味谜语英语谜语数学谜语搞笑谜语经典谜语儿童谜语动物谜语