等量代换公式是∀f(a=b∧f(a)→f(b))，等量代换是指一个量用与它相等的量去代替，它是数学中一种基本的思想方法，也是代数思想方法的基础，狭义的等量代换思想用等式的性质来体现就是等式的传递性。

真正使用到的等量代换为：∀f(a=b∧f(a)→f(b))，其中f是合式公式广义的等量代换举例来说就是：“如果李四是张三的同义词，张三是人，那么李四是人”。这个数学思想方法不仅有着广泛的应用，而且是今后进一步学习数学的基础，是一个非常重要的知识点，甚至到了大学都会使用。