三、置换规则 　　定理:对公式A的子公式, 用与之等值的公式来代换便称置换。 　　置换规则 公式A的子公式置换后A化为公式B, 必有A = B。 　　当A是重言式时, 置换后的公式B必也是重言式。 　　置换与代入是有区别的。置换只要求A的某一子公式作代换, 不必对所有同一的子公式都作代换。 　　在等值演算过程中，常无意识的使用了置换规则。这里只不过是对置换规则给予明确说明。