章節連結
從網路課程 程式必修課！離散數學與演算法 來淺嚐一下沒機會在課堂上所學的離散數學與演算法。或許對撰寫程式的效能提昇會有些幫助。
課程相關資訊
[連結]：https://hiskio.com/courses/1196/lectures/133735
本篇範圍：Chapter 5
請注意：本系列文章為個人對應課程的消化吸收後，所整理出來的內容。換言之，並不一定會包含全部的課程內容，也有可能會添加其他資源來說明。
內容
Contraposition 對位
若 P -> Q 很難以證明，那可以改證 Q’ -> P’ 也可以。因為 P -> Q 和 Q’ -> P’ 等價
舉例：若 n^2 是奇數，那 n 也是一個奇數
將 P 設置為 n^2 是奇數、 Q 為 n 也是一個奇數
所以 Q’ 為偶數，那 P’ 為 n^2 是偶數，也就是 當 n 為偶數時，n^2 也是偶數
let n = 2i, i∈Z
n^2 = 4i^2 = 2* (2i^2) 因此 n^2 也是偶數
