等量代换公式是 ∀f（a=b∧f（a）→f（b）），其中f是合式公式。等量代换是指用与它相等的量去代替，是数学中一种基本的思想方法，也是代数思想方法的基础。狭义的等量代换思想用等式的性质来体现就是等式的传递性，即如果a=b且b=c，那么a=c。
具体应用示例：
加法的等量代换：
如果a + b = c，那么c - b = a，c - a = b。
减法的等量代换：
若a - b = c，则a = c + b，b = a - c。
乘法的等量代换：
假如a × b = c，则c ÷ a = b，c ÷ b = a。
除法的等量代换：
若a ÷ b = c，那么a = b × c，b = a ÷ c。
钢筋等量代换：
代换钢筋的直径大小 = （已知钢筋的直径大小^2） ÷ 代换钢筋数量。
这些公式和示例展示了等量代换在不同数学领域中的应用，帮助人们简化问题并找到解决方案。
