ltgt离散数学中这个箭头啥意思

2021-01-11 18:54:57 字数 3747 阅读 1448

1楼:匿名用户

a<=>b 命题a 与b 等价关系

离散数学中各种符号大全

├ 断定符(公式在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的函数

***(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 偏序集范畴

离散数学 ←→ 这个符号什么意思 左右的单箭头又是什么意思?

2楼:匿名用户

双箭头是“等价于”,就是充要条件,a←b,a是b的必要非充分条件,a→b,a是b的充分非必要条件

数学 符号啥意思 第六个定义中 双向箭头啥意思

3楼:纯与唇

双向箭头即等值命题

(或称为充要条件)。

命题的“双条件”运算:p<=>q命题p与q的等价关系

关系符号

如“=”是等号,“≈”是近似符号(即约等于),“≠”是不等号,“>”是大于符号,“<”是小于符号,“≥”是大于或等于符号(也可写作“≮”,即不小于),“≤”是小于或等于符号(也可写作“≯”,即不大于),“→ ”表示变量变化的趋势,“∽”是相似符号;

“≌”是全等号,“∥”是平行符号,“⊥”是垂直符号,“∝”是正比例符号(表示反比例时可以利用倒数关系),“∈”是属于符号,“”是包含于符号,“”是包含符号,“|”表示“能整除”。

(例如a|b表示“a能整除b”,而||b表示r是a恰能整除b的最大幂次),x,y等任何字母都可以代表未知数。

扩展资料

排列组合符号

c组合数

a (或p)排列数

n元素的总个数

r参与选择的元素个数阶乘,如5!=5×4×3×2×1=120,规定0!=1

半阶乘(又称双阶乘),例如7!!=7×5×3×1=105,10!!=10×8×6×4×2=3840

∑连加离散数学符号

全称量词

存在量词

├ 断定符(公式在l中可证)

╞ 满足符(公式在e上有效,公式在e上可满足)

命题的“非”运算,如命题的否定为﹁p

∧ 命题的“合取”(“与”)运算

∨ 命题的“析取”(“或”,“可兼或”)运算

命题的“条件”运算

4楼:小乐笑了

双向箭头是等价的意思,即等值命题(或称为充要条件),两边可以相互推导

离散数学中,逻辑联结词中上,下箭头分别代表什么

5楼:琴兒紫

上箭头代表析取(逻辑或)

下箭头代表合取(逻辑与)望采纳

离散数学里的三角形符号什么意思,比如 a △(b u c) 20

6楼:

对称差,就是ab扣除相交的部分

7楼:匿名用户

三角形符号是一种抽象的运算符,具体得看上下文或运算表,但通常不表示集合的对称差运算,集合的对称差运算通常用带圈的加号表示。

8楼:life李晓龙

还没学呢,刚到微积分

离散数学中a|b是什么意思?

9楼:零下七度

a|b表示a整除b,等价于存在c使得b=ac,这里a、b、c均是整数,

a=b当且仅当2|(a-b)。

即等价于

a、b关于模2同余,或a、b用2除余数相同或2整除a、b之差。

通过离散数学的学习,不但可以掌握处理离散结构的描述工具和方法,为后续课程的学习创造条件,而且可以提高抽象思维和严格的逻辑推理能力,为将来参与创新性的研究和开发工作打下坚实的基础。

离散数学的学科内容:

1、集合论部分:集合及其运算、二元关系与函数、自然数及自然数集、集合的基数。

2、图论部分:图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用。

3、代数结构部分:代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数。

4、组合数学部分:组合存在性定理、基本的计数公式、组合计数方法、组合计数定理。

5、数理逻辑部分:命题逻辑、一阶谓词演算、消解原理。

10楼:匿名用户

通常在数学上用a|b表示a整除b,等价于存在c使得b=ac,这里a,b,c均是整数,

应该是a=b当且仅当2|(a-b)。

即等价于a,b关于模2同余,或a,b用2除余数相同或2整除a,b之差.

离散数学中上下两个箭头是什么意思

1楼 浅浅念白 上箭头是与非,比如p上箭头q 非 p与q 。 下箭头是或非,就是p或q的非。参见左孝凌版的 离散数学。 2楼 飞水浪花 剪头向上是析取,向下是合取。 离散数学双向箭头是什么意思 3楼 圭时芳改娴 离散数学双向箭头是什么意思?教材上应该说的清楚,是 当且仅当 的意思。 离散数学双向箭头...

化学方程式里发箭头是什么意思比如这个

1楼 奥意义睡了 反应物中不含气体,生成物产生了气体,在气体后标向上的剪头,如果生成沉淀就要标向下的剪头,比如你这个,就是水通电分解,生成氧气和氢气 2楼 heaven神曲 那是气体符号如果方程式两边都有气体就不用了 若是向下就是沉淀 两边都有也不用了 3楼 匿名用户 上箭头吗?意思是生成了气体。 ...

油表下面那个标志啥意思。汽车箭头加油

1楼 张祥 老实说我没见过这样的仪表盘,但是我知道有油箱标志的那个意思是 油箱盖在你车辆的左边。 下面汽车箭头油箱,我想应该是等你快没油了,这个标志就会亮起。 谁能告诉我油表下面那个车子和加油箱代表什么意思 2楼 中空玻璃 油箱油量不足,车子变红提示加油,车子油箱盖在左边 3楼 当当当国安 表示车应...