什么叫命题的等价条件?如果X属于A则Y不属于A,等价条件是什么?