命題邏輯的等值演算
命題邏輯公式的邏輯等值
稱命題邏輯公式A和B邏輯等值(logically equivalent)，簡稱等值，記為A≡B，如果對任意真值賦值函式$σ:Var→2$，A和B在σ下的真值都相同，即都有σ(A)= σ(B)
邏輯等值式與永真式:A≡B當且僅當公式(A↔B)是永真式
命題邏輯的等值演算
什麼是命題邏輯的等值演算？
根據基本邏輯等值式模式，從基本邏輯等值式出發，透過等值子公式置換的方式對公式進行演算變形，從而驗證兩個公式邏輯等值的過程
什麼是邏輯等值式模式？
用代表任意公式的大寫字母分別替換具體邏輯等值式的命題變數得到的符號串
等值置換定理
設命題邏輯公式B是公式A的子公式，且公式B與公式B′邏輯等值
- 若使用B′置換(replace)公式A的一處或多處子公式B得到的公式是A′，則A′與A也邏輯等值
