章節連結
從網路課程 程式必修課！離散數學與演算法 來淺嚐一下沒機會在課堂上所學的離散數學與演算法。或許對撰寫程式的效能提昇會有些幫助。
課程相關資訊
[連結]：https://hiskio.com/courses/1196/lectures/133679
本篇範圍：Chapter 4
請注意：本系列文章為個人對應課程的消化吸收後，所整理出來的內容。換言之，並不一定會包含全部的課程內容，也有可能會添加其他資源來說明。
內容
自由變量 Free Variable
若一個變數並非在 quantifier 內，則稱此變數稱為 free variable。以下面例子來說：
(∀x) [ Q(x,y) -> (∃y) R(x,y) ] ：
1. Q(x,y) 中的 y，並沒有對應到任何前方的 quantifier scope
2. R(x,y) 中的 y ，與 (∃y) 有對應
3. R(x,y) 中的 x，與 (∀x) 有對應
因此， Q(x,y) 中的 y 是一個自由變量
