等值式
設Ａ、Ｂ為兩個命題公式，若Ａ、Ｂ構成的等價式Ａ↔Ｂ為重言式，則稱Ａ與Ｂ是等值的，記作Ａ⇔Ｂ，並稱Ａ⇔Ｂ為等值式
注意：⇔不是聯結符，它是用來說明Ａ與Ｂ等值（Ａ↔Ｂ為重言式）的一種記法，因而⇔是元語言符號
基本的等值式
雙重否定律：
┐┐Ａ⇔Ａ
冪等律：
Ａ∧Ａ⇔Ａ
Ａ∨Ａ⇔Ａ
交換律：
Ａ∨Ｂ⇔Ｂ∨Ａ
Ａ∧Ｂ⇔Ｂ∧Ａ
結合律：
（Ａ∧Ｂ）∧Ｃ⇔Ａ∧（Ｂ∧Ｃ）
（Ａ∨Ｂ）∨Ｃ⇔Ａ∨（Ｂ∨Ｃ）
分配律：
Ａ∨（Ｂ∧Ｃ）⇔（Ａ∨Ｂ）∧（Ａ∨Ｃ）
Ａ∧（Ｂ∨Ｃ）⇔（Ａ∧Ｂ）∨（Ａ∧Ｃ）
德摩根律：
┐（Ａ∨Ｂ）⇔┐Ａ∧┐Ｂ
┐（Ａ∧Ｂ）⇔┐Ａ∨┐Ｂ
吸收律：
Ａ∨（Ａ∧Ｂ）⇔Ａ
Ａ∧（Ａ∨Ｂ）⇔Ａ
零律：
Ａ∨１⇔１
Ａ∧０⇔０
同一律：
Ａ∨０⇔Ａ
Ａ∧１⇔Ａ
排中律：
Ａ∨┐Ａ⇔１
矛盾律：
Ａ∧┐Ａ⇔０
蘊涵等值式：
Ａ→Ｂ⇔┐Ａ∨Ｂ
等價等值式：
Ａ↔Ｂ⇔（Ａ→Ｂ）∧（Ｂ→Ａ）
假言易位：
Ａ→Ｂ⇔┐Ｂ→┐Ａ
等價否定等值式：
Ａ↔Ｂ⇔┐Ａ↔┐Ｂ
歸謬論：
（Ａ→Ｂ）∧（Ａ→┐Ｂ）⇔┐Ａ
