例如，在公式(P→Q)→R中，可用
P∨Q置换其中的P→Q，由蕴涵等值式可知，P→Q
= P∨Q，所以，(P→Q)→R = (
P∨Q)→R在这里，使用了置换规则。如果再一次的用蕴涵等值式及置换规则，又会得到
(
P∨Q)→R
=(P∨Q)∨R如果再用摩根律及置换规则，又会得到
(P∨Q)∨R
= (P∧Q)∨R再用分配律及置换规则，又会得到
(P∧
Q)∨R
= (P∨R)∧(Q∨R)将以上过程连在一起，得到
(P→Q)→R
= (
P∨Q)→R
（蕴涵等值式、置换规则）=
(P∨Q)∨R
（蕴涵等值式、置换规则）= (P∧
Q)∨R
（摩根律、置换规则） = (P∨R)∧(
Q∨R)
（分配律、置换规则）公式之间的等值关系具有自反性、对称性和传递性，所以上述演算中得到的5个公式彼此之间是等值的。同时，在演算的每一步都用到了置换规则。