
等号两边有箭头的符号读作“等价于”。这种符号主要是用于两个命题之间,表示它们可以互相推出。例如:
如果a=b,那么a的立方=b的立方。反过来,如果a的立方=b的立方,那么a=b。上面的两个命题是可以互相推出的,我们就说这两个命题是等价的,那么这两个命题之间也可以用两端带箭头的符号表示。

等号两边有箭头的符号读作“等价于”。这种符号主要是用于两个命题之间,表示它们可以互相推出。例如:
如果a=b,那么a的立方=b的立方。反过来,如果a的立方=b的立方,那么a=b。上面的两个命题是可以互相推出的,我们就说这两个命题是等价的,那么这两个命题之间也可以用两端带箭头的符号表示。