全称量词(意量词)
存量词
├ 断定符(公式L中证)
╞ 满足符(公式E效公式E满足)
┐ 命题非运算
∧ 命题合取()运算
∨ 命题析取(兼)运算
→ 命题条件运算
« 命题双条件运算
命题等价关系
命题蕴涵关系
公式偶公式
合式公式
仅
命题兼运算( 异门 )
↑ 命题非 运算( 非门 )
↓ 命题非运算( 非门 )
□ 模态词必然
◇ 模态词
φ 空集
∈ 属(Ï属)
(·) 集合A特征函数
P(A) 集合A幂集
集合A点数
() 集合A笛卡积
关系R复合
阿列夫零
阿列夫
包含
真包含
∪ 集合运算
∩ 集合交运算
(~) 集合差运算
Å 集合称差运算
m余加
m余
〡 限制
集合关关系R等价类
集合A关R商集
集合A关关系R划分
集合A关划分关系
元素产生循环群
元素形成等价类
相容关系产生相容类
环理想
模n余类集合
模相等
关系反闭包
关系称闭包
关系传递闭包
关系反传递闭包
矩阵第行量
矩阵第列量
CP 命题演绎定理(CP 规)
EG 存推广规(存量词引入规)
ES 存量词特指规(存量词消规)
UG 全称推广规(全称量词引入规)
US 全称特指规(全称量词消规)
恒等关系
集合补集
X身映射
集合X集合Y函数
集合势(基数)
R 关系
相容关系
R 否关系
补关系
() 逆关系
关系关系复合
关系次幂
布尔代数次幂
含元素布尔代数
函数定义域(前域)
函数值域
() XY函数
公约数
公倍数
幺元
零元
元素逆元
关左(右)陪集
态映射核(称态核)
ABC 合式公式
二项式系数
项式系数
[1n] 1n整数集合
组合数
点点间距离
点度数
点出度
点入度
点集V边集E图
图补图
图图构
面图G偶图
W(G) 图G连通分支数
图G点连通度
图G边连通度
图G点度
图G点度
A(G) 图G邻接矩阵
P(G) 图G达矩阵
M(G) 图G关联矩阵
阶完全图
完全二分图
C 复数集
N 然数集(包含0)
正然数集
P 素数集
Q 理数集
正理数集
负理数集
R 实数集
Z 整数集
Set 集范畴
Top 拓扑空间范畴
Ab 交换群范畴
Grp 群范畴
Mon 单元半群范畴
Ring 单位元(结合)环范畴
Rng 环范畴
CRng 交换环范畴
Rmod 环R左模范畴
modR 环R右模范畴
Field 域范畴
Poset 偏序集范畴
《香当网》用户分享的内容,不代表《香当网》观点或立场,请自行判断内容的真实性和可靠性!
该内容是文档的文本内容,更好的格式请下载文档