離散數學中eg是什麼

Ⅰ 所有的數學符號包括每個符號的意思都說說

數量符號
如：i，2+i，a，x，自然對數底e，圓周率π。
運算符號
如加號（+），減號（－），乘號（×或·），除號（÷或/），兩個集合的並集（∪），交集（∩），根號（√），對數（log，lg，ln），比（：），絕對值符號「| |」，微分（dx），積分（∫），曲線積分（∮）等。
關系符號
如「=」是等號，「≈」是近似符號，「≠」是不等號，「>」是大於符號，「<」是小於符號，「≥」是大於或等於符號（也可寫作「≮」），「≤」是小於或等於符號（也可寫作「≯」），。「→ 」表示變數變化的趨勢，「∽」是相似符號，「≌」是全等號，「∥」是平行符號，「⊥」是垂直符號，「∝」是成正比符號，（沒有成反比符號，但可以用成正比符號配倒數當作成反比）「∈」是屬於符號，「⊆」是「包含」符號等。「|」表示「能整除」（例如a|b 表示 a能整除b)，x可以代表未知數，y也可以代表未知數，任何字母都可以代表未知數。
結合符號
如小括弧「（）」中括弧「[ ]」，大括弧「{ }」橫線「—」，比如（2+1）+3=6，[2.5x（23+2）+1]=x，{3.5+[3+1]+1=y
性質符號
如正號「+」，負號「－」，正負號「±」
省略符號
如三角形（△），直角三角形（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 當且僅當
↑ 命題的「與非」 運算（ 「與非門」 ）
↓ 命題的「或非」運算（ 「或非門」 ）
□ 模態詞「必然」
◇ 模態詞「可能」
φ 空集
∈ 屬於 A∈B 則為A屬於B（∉不屬於）
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 偏序集范疇
部分希臘字母數學符號

字母 古希臘語名稱 英語名稱 古希臘語發音 現代希臘語發音 中文注音 數學意思
Α α ?λφα Alpha [a],[a?] [a] 阿爾法 角度；系數
Β β β?τα Beta [b] [v] 貝塔 角度；系數
Δ δ δ?λτα Delta [d] [ð] 德爾塔 變動；求根公式
Ε ε ?ψιλον Epsilon [e] [e] 伊普西隆 對數之基數
Ζ ζ ζ?τα Zeta [zd] [z] 澤塔 系數；
Θ θ θ?τα Theta [t?] [θ] 西塔 溫度；相位角
Ι ι ι?τα Iota [i] [i] 約塔 微小，一點兒
Λ λ λ?μβδα(現為λ?μδα) Lambda [l] [l] 蘭姆達 波長（小寫）；體積
Μ μ μυ(現為μι) Mu [m] [m] 謬 微（千分之一）；放大因數（小寫）
Ξ ξ ξι Xi [ks] [ks] 克西 隨機變數
Π π πι Pi [p] [p] 派 圓周率=圓周÷直徑≈3.1416
Σ σ σ?γμα Sigma [s] [s] 西格瑪 總和（大寫）
Τ τ ταυ Tau [t] [t] 陶 時間常數
Φ φ φι Phi [p?] [f] 弗愛 輔助角
Ω ω ωμ?γα Omega [??] [o] 歐米咖 角
編輯本段
數學符號的意義

符號(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)dxa到b的定積分
∑(n=p,q)f(n) 表示f(n)的n從p到q逐步變化對f(n)的連加和

Ⅱ 請問 離散數學中 ui ug ei eg規則的英文全寫是什麼

1、全稱推廣規則：universal generalization；

2、全稱特指規則：universal specification；

3、存在推廣規則：existential generalization；

4、存在特指規則：existential specification。

(2)離散數學中eg是什麼擴展閱讀：

離散數學在各學科領域，特別在計算機科學與技術領域有著廣泛的應用，同時離散數學也是計算機專業的專業課程，如程序設計語言、數據結構、操作系統、編譯技術、人工智慧、資料庫、演算法設計與分析、理論計算機科學基礎等必不可少的先行課程。

通過離散數學的學習，不但可以掌握處理離散結構的描述工具和方法，為後續課程的學習創造條件，而且可以提高抽象思維和嚴格的邏輯推理能力，為將來參與創新性的研究和開發工作打下堅實的基礎。

Ⅲ 離散數學里非算量詞嗎

離散數學是計算機科學與技術、軟體工程等本科專業的一門基礎課程，而數理邏輯是離散數學課程中的一個重要組成部分，對提高學生理解和構造數學證明的能力以及培養學生的計算思維（computational thinking）具有重要作用

命題邏輯和一階謂詞邏輯是數理邏輯教學內容中的兩個部分。一階謂詞邏輯通過引入量詞來表達個體與總體之間的內在聯系與數量關系，從而克服了命題邏輯中無法表達數量關系的局限性。

量詞包括全稱量詞和存在量詞。全稱量詞表達個體域中的所有個體，通常用符號「 」表示;存在量詞表達個體域中的單個個體，通常用符號「 」表示。一般用小寫字母a、b、c等符號表示個體常元，用小寫字母x、y、z等符號表示個體變元，用大寫字母A、B、C、P、Q、R等符號表示謂詞。在謂詞公式 xP（x）或 xP（x）中，x是約束變元，也稱變元x是約束出現，這時的P（x）稱為 x或
x的轄域;如果謂詞公式Q（y）中不存在變元y的約束出現，則稱變元y在Q（y）中自由出現，或稱y是自由變元。在謂詞公式 x yP（x，y）或 x yP（x，y）中，變元x在 x或 x的轄域內是約束出現，但在 y或 y的轄域內是自由出現。
一階謂詞邏輯推理系統除了具有與命題邏輯推理中一樣推理規則之外，還有4條與量詞的引入和消去有關的規則，分別是全稱量詞引入規則（簡記為 +或UG）、全稱量詞消去規則（簡記為 -、UI或US）、存在量詞引入規則（簡記為 +或EG）、存在量詞消去規則（簡記為 -、EI或ES）。量詞引入也稱為量詞泛化，量詞消去也稱為量詞實例化或指定。這4條與量詞有關的引入和消去規則極大地豐富了一階謂詞邏輯推理的表達能力。
在量詞引入規則和量詞消去規則的教學中，保證量詞引入規則以及量詞消去規則的內容與形式的統一性對學生正確理解和接受推理規則及推理過程具有重要作用，否則容易引起學生理解上的困惑。
一、現有的規則
我們以文獻[3]中關於存在量詞引入規則（ +或EG）和存在量詞消去規則（ -、EI或ES）為例進行說明。文獻[3]是普通高等教育「十一五」國家級規劃教材，具有代表性。在文獻[3]中給出的全稱量詞引入規則和全稱量詞消去規則的內容與形式是統一的，不存在理解上的困惑。
文獻[3]給出的存在量詞引入規則（ +或EU）形式為：
或 （1）
以及
或 （2）
其中，x、y是個體變元符號，c是個體常元符號。應用該規則的前提要求是：在謂詞公式A中，變元y不在 x和 x的轄域內自由出現，常元c不在 x和 x的轄域內出現。
在上述式（1）這對表述中，第一個表述成立的依據是公式A（c）→ xA（x）永真，因此有A（c） xA（x）;第二個表述成立的依據是假言三段論規則：（B→A（c））∧（A（c）→ xA（x）） B→ xA（x）。式（2）的情形類似。 我們看到，這個規則稱為「存在量詞引入規則」，其推理結果在形式上也體現了存在量詞 ，規則的內容與符號形式是統一的，學生易於理解和接受。
然而，文獻[3]給出的存在量詞消去規則（ -或EI）的形式為：
或 （3）
以及
或 （4）
其中，y是個體變元符號，c是個體常元符號，應用該規則的前提要求是：變元y不在推理的任何前提公式以及謂詞公式B中自由出現，常元c不在推理的任何前提公式以及謂詞公式 xA（x）及B中出現。
我們看到，在這個稱為「存在量詞消去規則」的推理結果形式中反而出現了存在量詞 ，使得規則的內容與符號形式不統一，導致學生理解上的困惑。
實際上，在上述式（3）這對表述中，第一個表述可以當作一條存在量詞引入規則;該表述成立的依據是假言三段論規則：
（ xA（x）→A（c））∧（A（c）→B） xA（x）→B。其中，常元c是滿足謂詞公式 xA（x）的個體。
而式（3）中的第二個表述在本質上不是消去存在量詞，而是得出結論B，其成立的依據實質上是假言推理規則，即：
（ xA（x）→A（c））∧（ xA（x）） A（c）
以及
A（c）∧（A（c）→B） B。
其中，常元c是滿足謂詞公式 xA（x）的個體。因此，在該規則描述中的第二個表述其實是不必要的，可以從該規則中刪去。
類似地，在式（4）這對表述中，第一個表述也可以當作一條存在量詞引入規則;考慮到變元y的任意性，該表述成立的依據是假言推理規則（ xA（x）→A（c））∧
（ xA（x）） A（c）、化簡規則A（y）→B A（c）→B以及假言三段論規則（ xA（x）→A（c））∧（A（c）→B） xA（x）→B 。
其中，常元c是滿足謂詞公式 xA（x）的個體。
式（4）中的第二個表述在本質上也不是消去存在量詞，而是得出結論B，其成立的依據實質上是假言推理規則（ xA（x）→A（c））∧（ xA（x）） A（c）、化簡規則A（y）→B A（c）→B以及假言推理規則A（c）∧（A（c）→B）
B。其中，常元c是滿足謂詞公式 xA（x）的個體。因此，該表述其實也是不必要的，可以從該規則中刪去。
二、修改後的規則
為了保證規則內容與形式的統一性，我們可以將式（3）的第一個表述以及式（4）的第一個表述納入到存在量詞引入規則中，這種做法
其中，x、y是個體變元符號，c是個體常元符號。應用該規則的前提要求是：應用式（5）或（7）時要求常元c、變元y分別不在公式A中 x和 x的轄域內出現和自由出現;應用式（6）或（8）時要求常元c、變元y分別不在公式A中 x和 x的轄域內、公式B以及推理的任何前提公式中出現和自由出現。
在修改後的存在量詞引入規則（ +或EU）中，式（5）的第二個表述和式（7）的第二個表述可以看成是在蘊含式的後件引入存在量詞的情形，式（6）和式（8）的表述可以看成是在蘊含式的前件引入存在量詞 的情形。這些表述具有內容與形式的統一性，便於學生理解和記憶，可以根據不同情形選擇使用。
那麼，存在量詞消去規則應具有怎樣的形式呢？我們可如下表述存在量詞消去規則（ -、EI或ES）：
其中，c是個體常元符號。應用該規則前二個表述的前提要求是：常元c是滿足公式 xA（x）的個體。
在修改後的存在量詞消去規則（ -、EI或ES）中，當常元c是滿足公式 xA（x）的個體時，式（9）中第一個表述成立的依據是公式 xA（x）→A（c）為永真式，因此有
xA（x） A（c）;第二個表述成立的依據是假言三段論規則：
（B→ xA（x））∧（ xA（x）→A（c）） B→A（c）。第三個表述成立的依據是假言三段論規則：
（A（c）→ xA（x））∧（ xA（x）→B） A（c）→B 。
與對修改後的存在量詞引入規則（ +或EU）形式的看法類似，在修改後的存在量詞消去規則（ -、EI或ES）中，第二個表述可以看成是在蘊含式的後件消去存在量詞 的情形，第三個表述可以看成是在蘊含式的前件消去存在量詞 的情形，這樣更便於學生理解和記憶。修改後的存在量詞消去規則（ -、EI或ES）也是對文獻[4]中對應規則的進一步擴充。
綜上所述，在一階謂詞邏輯推理中，我們應保證規則的內容與形式的統一性，使學生正確理解和接受相應的推理規則，合理構造推理過程，從而有利於培養學生的計算思維能力以及提高學生的推理能力。