從網路課程 程式必修課！離散數學與演算法 來淺嚐一下沒機會在課堂上所學的離散數學與演算法。或許對撰寫程式的效能提昇會有些幫助。
課程相關資訊
[連結]：https://hiskio.com/courses/1196/lectures/133684
本篇範圍：Chapter 4
請注意：本系列文章為個人對應課程的消化吸收後，所整理出來的內容。換言之，並不一定會包含全部的課程內容，也有可能會添加其他資源來說明。
內容
Existential Generalization ( E.G. )
若 P(a) 的 a 存在於 x Domain 內，那就可說 (∃x) P(x)
證明
(∀x) P(x) -> (∃x) P(x)
1. 已知 (∀x) P(x) 假設的情況下，根據 U.I. 可以得到 P(a)
2. 根據 E.G.， P(a) 可得 (∃x) P(x)
