成为互逆命题的条件是什么?