다른세상 논증
∀x(x∈A∪A^c)->∀x∃x
이식은 "모든 x가 A와 A의 여집합(A^c)의 합집합에 속한다면, 모든 x는 존재한다"
라는 뜻이고
x가 집합에 속하면 존재한다. 라는 말은 곧 x가 집합의 "원소로서 존재" 한다는 말임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
좋아요 1 답글 달기 신고
∀x(x∈A∪A^c)->∀x∃x
이식은 "모든 x가 A와 A의 여집합(A^c)의 합집합에 속한다면, 모든 x는 존재한다"
라는 뜻이고
x가 집합에 속하면 존재한다. 라는 말은 곧 x가 집합의 "원소로서 존재" 한다는 말임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
