等价符号(equivalent symbol)表示等价关系的符号.所谓“A与B等价”指的是“如果A，那么B"，同时有“如果B，那么A"，或者说“从A推出B"，同时可“从B推出A"。