從網路課程 程式必修課！離散數學與演算法 來淺嚐一下沒機會在課堂上所學的離散數學與演算法。或許對撰寫程式的效能提昇會有些幫助。
課程相關資訊
[連結]：https://hiskio.com/courses/1196/lectures/133680
本篇範圍：Chapter 4
請注意：本系列文章為個人對應課程的消化吸收後，所整理出來的內容。換言之，並不一定會包含全部的課程內容，也有可能會添加其他資源來說明。
內容
Well-Formed Formula wff
Definition：如果P是一個 n 元述詞，那麼把P的參數位置都用term填滿後得到的東西，就是 wff
Universal Instantiation ( U.I. )
通用實例化：若 (∀x) P(x) 可以衍生出 P(a), P(b), P(c)。換言之，a,b,c 一定包含在 x 的 domain 中
例子
H(x) 代表 x 是人類；M(x) 代表 x 必死
試著證明 (∀x)[H(x) -> M(x)] ^ H(s) -> M(s) 是正確的
1. 假設 (∀x)[H(x) -> M(x)] 存在
2. 假設 H(s) 存在
3. 通過 U.I. 來結合 1.2. ，可以得到 H(s) -> M(s)
4. 通過 m.p. (也就是 P-> Q ) 來結合 2.3.，可得 M(s)
