正文

数学中的逆推和正推都成立的现象叫作“等价命题”。