等量代换，

等量代换的定义:用一种量(或一种量的一部分)来代替和它相等的另一种量(或另一种量的一部分)。"等量代换"是指一个量用与它相等的量去代替，它是数学中一种基本的思想方法，也是代数思想方法的基础，狭义的等量代换思想用等式的性质来体现就是等式的传递性:如果a=b,b=c,那么a=c。真正使用到的等量代换为:∀f(a=b∧f(a)→f(b))，其中f是合式公式广义的等量代换举例来说就是:"如果李四是张三的同义词，张三是人，那么李四是人"。这个数学思想方法不仅有着广泛的应用，而且是今后进一步学习数学的基础，是一个非常重要的知识点，甚至到了大学都会使用。