等价符号怎么打、以及等价的性质

问题描述:

等价符号怎么打、以及等价的性质
打出符号即可、性质说清楚点

AB 意思是由A可以得到(推导出)B,由B可以得到(推导出)A.