從網路課程 程式必修課！離散數學與演算法 來淺嚐一下沒機會在課堂上所學的離散數學與演算法。或許對撰寫程式的效能提昇會有些幫助。
課程相關資訊
[連結]：https://hiskio.com/courses/1196/lectures/133669
本篇範圍：Chapter 4
請注意：本系列文章為個人對應課程的消化吸收後，所整理出來的內容。換言之，並不一定會包含全部的課程內容，也有可能會添加其他資源來說明。
內容
Quantifiers & Predicates
Universal Quantifiers
∀ 代表 for all 或是 for each
例子： (∀x)( x > 0 ^ x < 5) – 對於所有的 x，其值會是大於 0 且 小於 5
∀x 是 quantifier, ( x > 0 ^ x < 5) 是一個 predicate，也可寫作 P(x)
Quantifier + Predicate = Expression
Expression
它是一個表達式，而不是 statement。因為你不知道 Quantifier 所指的內容是什麼。
(∀x)( x > 0 ^ x < 5) 不是 True 也不是 False，你無從判斷
但若 x 是一個整數，那 (∀x)( x > 0 ^ x < 5) 就可以知道是 False
