等量代換公式是?f(a=b∧f(a)→f(b))，等量代換是指一個(gè)量用與它相等的量去代替，它是數(shù)學(xué)中一種基本的思想方法，也是代數(shù)思想方法的基礎(chǔ)，狹義的等量代換思想用等式的性質(zhì)來(lái)體現(xiàn)就是等式的傳遞性。
真正使用到的等量代換為：?f(a=b∧f(a)→f(b))，其中f是合式公式廣義的等量代換舉例來(lái)說(shuō)就是：“如果李四是張三的同義詞，張三是人，那么李四是人”。這個(gè)數(shù)學(xué)思想方法不僅有著廣泛的應(yīng)用，而且是今后進(jìn)一步學(xué)習(xí)數(shù)學(xué)的基礎(chǔ)，是一個(gè)非常重要的知識(shí)點(diǎn)，甚至到了大學(xué)都會(huì)使用。