집합의 연산을 부정할때는 등호만 ≠으로 바꾸면 되나요? 예를 들어 '임의의 A에 대하여, A∪X = A 이면 X = ø이다.' 라는 명제의 대우는 'X ≠ ø이면 어떤 A에 대하여 A∪X ≠ A 이다'가 되는건가요?