離散數學中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，