离散数学中iff怎么打出来

1. 离散数学 划线部分 怎么能直接得到

①在R中找1开头的，只有，所以是1-1-1，得到 ②在R中找1开头的，只有，所以是2-1-1，得到 ③在R中找2开头的，只有，所以是3-2-1，得到 ④在R中找3开头的，只有，所以是4-3-2，得到 所以R2={，，，} 比如有R1={},R2={}，那么R1·R2={}

2. 数学符号

数量符号
如：i，2+i，a，x，自然对数底e，圆周率π。

运算符号
如加号（＋），减号（－），乘号（×或·），除号（÷或／），两个集合的并集（∪），交集（∩），根号（√），对数（log，lg，ln），比（：），微分（dx），积分（∫），曲线积分（∮）等。

关系符号
如“＝”是等号，“≈”是近似符号，“≠”是不等号，“＞”是大于符号，“＜”是小于符号，“≥”是大于或等于符号（也可写作“≮”），“≤”是小于或等于符号（也可写作“≯”），。“→ ”表示变量变化的趋势，“∽”是相似符号，“≌”是全等号，“‖”是平行符号，“⊥”是垂直符号，“∝”是成正比符号，（没有成反比符号，但可以用成正比符号配倒数当作成反比）“∈”是属于符号，“⊆”是“包含”符号等。

结合符号
如小括号“（）”中括号“〔〕”，大括号“｛｝”横线“—”

性质符号
如正号“＋”，负号“－”，绝对值符号“| |”正负号“±”

省略符号
如三角形（△），直角三角形（Rt△），正弦（sin），余弦（cos），x的函数（f(x)），极限（lim），角（∠）， ∵因为，（一个脚站着的，站不住） ∴所以，（两个脚站着的，能站住） 总和（∑），连乘（∏），从n个元素中每次取出r个元素所有不同的组合数（C(r)(n) ），幂（A，Ac，Aq，x^n）等。

排列组合符号
C-组合数 A-排列数 N-元素的总个数 R-参与选择的元素个数 !-阶乘 ，如5！=5×4×3×2×1=120 C-Combination- 组合 A-Arrangement-排列

离散数学符号（未全）
∀ 全称量词 ∃ 存在量词 ├ 断定符（公式在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 偏序集范畴
编辑本段数学符号的意义
符号(Symbol) 意义(Meaning) = 等于 is equal to ≠ 不等于 is not equal to < 小于 is less than > 大于 is greater than || 平行 is parallel to ≥ 大于等于 is greater than or equal to ≤ 小于等于 is less than or equal to ≡ 恒等于或同余 π 圆周率 |x| 绝对值 absolute value of X ∽ 相似 is similar to ≌ 全等 is equal to(especially for triangle ) >> 远远大于号 << 远远小于号 ∪ 并集 ∩ 交集 ⊆ 包含于 ⊙ 圆 φ bet 磁通系数；角度；系数（数学中常用作表示未知角） β fai 磁通；角（数学中常用作表示未知角） ∞ 无穷大 ln(x) 以e为底的对数 lg(x) 以10为底的对数 floor(x) 上取整函数 ceil(x) 下取整函数 x mod y 求余数 x - floor(x) 小数部分 ∫f(x)dx 不定积分 ∫[a:b]f(x)dx a到b的定积分

（您要的是这个吗？）

3. 数学的符号

主条目：数学符号
也许我国古代的算筹是世界上最早使用的符号之一，起源于商代的占卜．
我们现今所使用的大部分数学符号都是到了16世纪后才被发明出来的．在此之前，数学是用文字书写出来，这是个会限制住数学发展的刻苦程序．现今的符号使得数学对于人们而言更便于操作，但初学者却常对此感到怯步．它被极度的压缩：少量的符号包含着大量的讯息．如同音乐符号一般，现今的数学符号有明确的语法和难以以其他方法书写的讯息编码．

4. 怎样在百度中输入离散数学的符号，以便查询

输入法那里 有个小键盘的符合 右键 选出需要的格式 例如标点符号 数学符号等等 离散数学的应该也在里面

5. 离散数学中iff是什么意思

if and only if (当且仅当)

6. 离散数学中iffg是什么意思

iffg ，当且仅当

7. ∏符号如何用

1、用法：

上下添加的为求乘积的初始值和终止值，例如：符号下面可写“i=1”，上面写“n”，就代表后面的求积式子中的i从1开始一直加到n。

即(1+D1/P1)(1+D2/P2)…… (1+Dn/Pn)

2、希腊字母：

①∏是希腊字母，即π的大写形式，在数学中表示求积运算或直积运算，形式上类似于Σ。

②小写：π

数学中常指代圆周率。圆周率，一般以π来表示，是一个在数学及物理学普遍存在的数学常数。它定义为圆形之周长与直径之比。它也等于圆形之面积与半径平方之比。

是精确计算圆周长、圆面积、球体积等几何形状的关键值。在分析学上，π可以严格地定义为满足sin(x) = 0的最小正实数x。

常数圆周率≈3.14 祖冲之（中国）最早算出3.1415926<π<3.1415927

不属于

P(A) 集合A的幂集

|A| 集合A的点数

R²=R○R [R

8. 谁有公式符号大全，要非常完整！但打字的时候符号之间不要太密，这样不方便我复制，谢啦！

∑ π（圆周率）

6、推理符号

|a| ⊥ ∽ △ ∠ ∩ ∪ ≠ ≡ ± ≥ ≤ ∈ ←

↑ → ↓ ↖ ↗ ↘ ↙ ∥ ∧ ∨

&; §

① ② ③ ④ ⑤ ⑥ ⑦ ⑧ ⑨ ⑩

Γ Δ Θ Λ Ξ Ο Π Σ Φ Χ Ψ Ω

α β γ δ ε ζ η θ ι κ λ μ ν

ξ ο π ρ σ τ υ φ χ ψ ω

Ⅰ Ⅱ Ⅲ Ⅳ Ⅴ Ⅵ Ⅶ Ⅷ Ⅸ Ⅹ Ⅺ Ⅻ

ⅰ ⅱ ⅲ ⅳ ⅴ ⅵ ⅶ ⅷ ⅸ ⅹ

∈ ∏ ∑ ∕ √ ∝ ∞ ∟ ∠ ∣ ∥ ∧ ∨ ∩ ∪ ∫ ∮

∴ ∵ ∶ ∷ ∽ ≈ ≌ ≒ ≠ ≡ ≤ ≥ ≦ ≧ ≮ ≯ ⊕ ⊙ ⊥

⊿ ⌒ ℃

指数0123：o123

7、数量符号

如：i，2+i，a，x，自然对数底e，圆周率π。

8、关系符号

如“＝”是等号，“≈”是近似符号，“≠”是不等号，“＞”是大于符号，“＜”是小于符号，“≥”是大于或等于符号（也可写作“≮”），“≤”是小于或等于符号（也可写作“≯”），。“→ ”表示变量变化的趋势，“∽”是相似符号，“≌”是全等号，“∥”是平行符号，“⊥”是垂直符号，“∝”是成正比符号，（没有成反比符号，但可以用成正比符号配倒数当作成反比）“∈”是属于符号，“??”是“包含”符号等。

9、结合符号

如小括号“（）”中括号“［］”，大括号“｛｝”横线“—”

10、性质符号

如正号“＋”，负号“－”，绝对值符号“| |”正负号“±”

11、省略符号

如三角形（△），直角三角形（Rt△），正弦（sin），余弦（cos），x的函数（f(x)），极限（lim），角（∠），

∵因为，（一个脚站着的，站不住）

∴所以，（两个脚站着的，能站住） 总和（∑），连乘（∏），从n个元素中每次取出r个元素所有不同的组合数（C(r)(n) ），幂（A，Ac，Aq，x^n）等。

12、排列组合符号

C-组合数

A-排列数

N-元素的总个数

R-参与选择的元素个数

!-阶乘 ，如5！=5×4×3×2×1=120

C-Combination- 组合

A-Arrangement-排列

13、离散数学符号

├ 断定符（公式在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 偏序集范畴

1、几何符号

⊥ ∥ ∠ ⌒ ⊙ ≡ ≌ △

2、代数符号

∝ ∧ ∨ ～ ∫ ≠ ≤ ≥ ≈ ∞ ∶

3、运算符号

如加号（＋），减号（－），乘号（×或·），除号（÷或／），两个集合的并集（∪），交集（∩），根号（√），对数（log，lg，ln），比（：），微分（dx），积分（∫），曲线积分（∮）等。

4、集合符号

∪ ∩ ∈

5、特殊符号

∑ π（圆周率）

6、推理符号

|a| ⊥ ∽ △ ∠ ∩ ∪ ≠ ≡ ± ≥ ≤ ∈ ←

↑ → ↓ ↖ ↗ ↘ ↙ ∥ ∧ ∨

&; §

① ② ③ ④ ⑤ ⑥ ⑦ ⑧ ⑨ ⑩

Γ Δ Θ Λ Ξ Ο Π Σ Φ Χ Ψ Ω

α β γ δ ε ζ η θ ι κ λ μ ν

ξ ο π ρ σ τ υ φ χ ψ ω

Ⅰ Ⅱ Ⅲ Ⅳ Ⅴ Ⅵ Ⅶ Ⅷ Ⅸ Ⅹ Ⅺ Ⅻ

ⅰ ⅱ ⅲ ⅳ ⅴ ⅵ ⅶ ⅷ ⅸ ⅹ

∈ ∏ ∑ ∕ √ ∝ ∞ ∟ ∠ ∣ ∥ ∧ ∨ ∩ ∪ ∫ ∮

∴ ∵ ∶ ∷ ∽ ≈ ≌ ≒ ≠ ≡ ≤ ≥ ≦ ≧ ≮ ≯ ⊕ ⊙ ⊥

⊿ ⌒ ℃

指数0123：o123

7、数量符号

如：i，2+i，a，x，自然对数底e，圆周率π。

8、关系符号

如“＝”是等号，“≈”是近似符号，“≠”是不等号，“＞”是大于符号，“＜”是小于符号，“≥”是大于或等于符号（也可写作“≮”），“≤”是小于或等于符号（也可写作“≯”），。“→ ”表示变量变化的趋势，“∽”是相似符号，“≌”是全等号，“∥”是平行符号，“⊥”是垂直符号，“∝”是成正比符号，（没有成反比符号，但可以用成正比符号配倒数当作成反比）“∈”是属于符号，“??”是“包含”符号等。

9、结合符号

如小括号“（）”中括号“［］”，大括号“｛｝”横线“—”

10、性质符号

如正号“＋”，负号“－”，绝对值符号“| |”正负号“±”

11、省略符号

如三角形（△），直角三角形（Rt△），正弦（sin），余弦（cos），x的函数（f(x)），极限（lim），角（∠），

∵因为，（一个脚站着的，站不住）

∴所以，（两个脚站着的，能站住） 总和（∑），连乘（∏），从n个元素中每次取出r个元素所有不同的组合数（C(r)(n) ），幂（A，Ac，Aq，x^n）等。

12、排列组合符号

C-组合数

A-排列数

N-元素的总个数

R-参与选择的元素个数

!-阶乘 ，如5！=5×4×3×2×1=120

C-Combination- 组合

A-Arrangement-排列

13、离散数学符号

├ 断定符（公式在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 偏序集范畴

9. 离散数学等价符号怎么打出来

双箭头

离散数学课程所传授的思想和方法，广泛地体现在计算机科学技术及相关专业的诸领域，从科学计算到信息处理，从理论计算机科学到计算机应用技术，从计算机软件到计算机硬件，从人工智能到认知系统，无不与离散数学密切相关。由于数字电子计算机是一个离散结构，它只能处理离散的或离散化了的数量关系， 因此，无论计算机科学本身，还是与计算机科学及其应用密切相关的现代科学研究领域，都面临着如何对离散结构建立相应的数学模型；又如何将已用连续数量关系建立起来的数学模型离散化，从而可由计算机加以处理。

10. 怎样在搜狗输入法小米版打出离散数学符号非

1.如果你知道符号的读音，直接拼音输入fai，