查看“︁置换定理”︁的源代码

[[分类:消歧义页面]]{{DEFAULTSORT:zhi4huan4ding4li3}}
本条目可能指代几种不同含义，见对应词条：
* 命题公式的一个变形规则，见[[置换定理（命题逻辑）]]。
* 谓词公式的一个变形规则，见[[置换定理（谓词逻辑）]]。
另参见[[置换]]和[[排列]]。