这个单箭头什么意思思

来源：蜘蛛抓取(WebSpider) 时间：2019-08-29 07:29 标签： 单箭头什么意思

离散数学中各种符号大全

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

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

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

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

→ 命题的“条件”运算

A* 公式A 的对偶公式

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

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

∈ 属于（??鈈属于）

P（A） 集合A的幂集

（或下面加 ≠） 真包含

- （～） 集合的差运算

[X](右下角R) 集合关于关系R的等价类

A/ R 集合A上关于R的商集

[a] 元素a 产生的循环群

s(R) 关系 的对称闭包

CP 命题演绎的定理（CP 规则）

EG 存在推广规则（存在量词引入规则）

ES 存在量词特指规则（存在量词消去规则）

UG 全称推广规则（全称量词引入规则）

US 全称特指规则（全称量词消去规则）

R○S 关系 与关系 的复合

domf 函数 的定义域（前域）

Ker(f) 同态映射f的核（或称 f同态核）

W(G) 图G的连通分支数

△（G) 图G的最大点度

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

Ring 有单位元的（结合）环范畴

你对这个回答的评价是

我要回帖

更多关于 单箭头什么意思 的文章

 

随机推荐