A일때만 B이니까
A가 아니면 B도 아니게 되고 대우 취하면
B이면 A가 된다는 게 되는데
어떤 x가 A(x)를 만족하지만 B(x)는 만족하지 않을 수도 있어서 A이면 B는 안된다는거야?

그렇다면 A 일때 그리고 A 일때만 B이다고 해야 동치야? 너무 긴데 좀 간단히 말하려면 그냥 A와 B는 동치이다고 해야해?