[대학교이상] 집합론 1주일 뉴비 질문올립니다

[익명(101.119)]

[ㄱ(∃X ∈ S such that x ∈ X)]

iff

[x∉X ∀X ∈ S]

인게 이해가 안되네요 ㅜㅜ

제가 베이스가 부족한거 같은데 이부분 이해 도와주실수있나요? 부탁드립니다.

- dc official App

[익명(14.37)]

"집합 S에 속하는 어떤 원소 x가 존재하여 x가 집합 X에 속한다."의 부정을 서술하란거임. 간단히생각해보셈 S에 속하는 원소 x를 뽑았는데 이게 집합X에 속하면 안되니까 S의 모든원소는 집합 X에 속하지 않는 원소여야겠지 - dc App

[익명(39.7)]

'x가 들어있는 집합이 최소 하나 있음'을 부정하면 '모든 집합은 x를 포함 안함'