置换规则

设 $\Phi (A)$ 是含有 $A$ 的公式, 若 $A\iff B$, 则 $\Phi (A)\iff \Phi (B)$.