等价和恒等的区别在于恒等是一直成立 等价是在自变量的取值范围在某一个区间上时(可为
一个点)才能相等
恒等变形类似于：如P则Q成立,而Q也P成立,其间是可以化等号的,类似于集合中的相同集合,属等于；
而等价变形则是：如P则Q成立,而Q也P不一定成立,其间只是一个推出符号,类似于集合中的真子集,属包含.