집합론 교재에는 없는데, 

선배들이 준 족보 보니까 시험에는 나옴…


한개일때는 모든은 어떤으로, 어떤은 모든으로 바뀌고

명제는 부정하면 됐는데


두개 이상 겹친거는 어케해야 할지 모르겠음


가령,

(Ax)(Ey), p(x,y) 

(Ex)(Ay), p(x,y)


이런거 어케 부정함??