從網路課程 程式必修課！離散數學與演算法 來淺嚐一下沒機會在課堂上所學的離散數學與演算法。或許對撰寫程式的效能提昇會有些幫助。
課程相關資訊
[連結]：https://hiskio.com/courses/1196/lectures/133671
本篇範圍：Chapter 4
請注意：本系列文章為個人對應課程的消化吸收後，所整理出來的內容。換言之，並不一定會包含全部的課程內容，也有可能會添加其他資源來說明。
內容
Existential Quantifier
Ǝ 讀作 There exists 存在著；at least 至少一個
(Ǝx)(x>0 ^ x<5 )：代表至少存在一個的 x 位於 0 ~ 5 之間。僅是一個 Expression，因為你不知道 x 的定義域是什麼
如果 x 是所有的正整數，那此 statement 為 false；若 x 僅是 {1,2,3,4}，那就是 true
