置换定理

本条目可能指代几种不同含义，见对应词条：

• 命题公式的一个变形规则，见置换定理（命题逻辑）。
• 谓词公式的一个变形规则，见置换定理（谓词逻辑）。

另参见置换和排列。