universe of discourse가 양의 정수 집합이고,   Q(x,y): x>=y일때,

~ ∀x∃yQ(x,y)의 값을 구해라 인데요..


~ ∀x∃yQ(x,y)를

어떤 y에 대해 Q를 만족하지 않는 x가 존재한다 다시말해서,

∀x에 부정을 취해야 하나요?

아니면 ∀x∃y에 부정을 취해서 모든 y에대해 Q를 만족하지 않는 x가 존재한다 로 봐야하나요...