基本置換定理

基本置換定理（fundamental theorem of replacement）邏輯演算中的重要推演規則。在謂詞演算中，令AB為合式公式， Φ（A）也為謂詞演算中的合式公式時，這一定理指:當系統斷定“A→B和B→A"時，那么，如果以公式B置換Φ（A）中的公式A得Φ（B），則系統也可斷定:“Φ（A） ↓←→Φ（B）因之從系統能斷定≮A），利用分離規則可得系統能斷定（B）。從意義上看，基本置換定理是指如果A和B等值，則中Φ（A）和Φ（B）也等值 。