從網路課程 程式必修課！離散數學與演算法 來淺嚐一下沒機會在課堂上所學的離散數學與演算法。或許對撰寫程式的效能提昇會有些幫助。
課程相關資訊
[連結]：https://hiskio.com/courses/1196/lectures/133682
本篇範圍：Chapter 4
請注意：本系列文章為個人對應課程的消化吸收後，所整理出來的內容。換言之，並不一定會包含全部的課程內容，也有可能會添加其他資源來說明。
內容
Existential Instatiation ( E.I.)
從 (∃x)P(x) 可以推導出 P(a)。然而這個 a 是在 (∃x)P(x) 整個推導過程中，並沒有使用過的
例子
(∀x)[P(x) -> Q(x)] ^ (∃y)P(y) -> Q(a) 是證明此推導是正確的
1. 第一假設為 (∀x)[P(x) -> Q(x)]
2. 第二假設為 (∃y)P(y)
3. 由 E.I. 可推得 P(a)
4. 由 U.I. 可推得 P(a) -> Q(a)
5. 由 m.p. 可推得 Q(a)
請注意 第三步和第四步的順序是不可以替換的
