等量代換

等量代換公式是?f(a=b∧f(a)→f(b))，等量代換是指一個(gè)量用與它相等的量去代替，它是數(shù)學(xué)中一種基本的思想方法，也是代數(shù)思想方法的基礎(chǔ)，狹義的等量代換思想用等式的性質(zhì)來體現(xiàn)就是等式的傳遞性。真正使用到的等量代換為：?f(a=b∧f(a)→f(b))，其中f是合式公式廣義的等量代換舉例來說就是：“如果李四是張三的同義詞，張三是人，那么李四是人”。這個(gè)數(shù)學(xué)思想方法不僅有著廣泛的應(yīng)用...