章節連結
從網路課程 程式必修課！離散數學與演算法 來淺嚐一下沒機會在課堂上所學的離散數學與演算法。或許對撰寫程式的效能提昇會有些幫助。
課程相關資訊
[連結]：https://hiskio.com/courses/1196/lectures/133672
本篇範圍：Chapter 4
請注意：本系列文章為個人對應課程的消化吸收後，所整理出來的內容。換言之，並不一定會包含全部的課程內容，也有可能會添加其他資源來說明。
內容
Translation
將現實的情境，轉換成 Expressions。
預設 Domain 是指世上的所有物品
以 Every Dog is cute 所有的狗都很可愛：隱含了 4 個意思。
1. Many things are cute.
2. If something is a dog, then it’s cute.
3. If something is cute, then it might be or might not be a dog.
4. There doesn’t exist any dog that is not cute.
(Ɐx)( P(x) -> Q(x))，其中 x 代表世上的所有物品
