[모든 것이 존재함]을 증명.
게시글 주소: https://orbi.kr/00072718075
1. ∀x (E(x)) (모든 것이 존재한다)
1의 부정은
2. ∃x (¬E(x)) (존재하지 않는것이 존재한다)
2는 모순
따라서 1이 참
결론
∀x (E(x))
∀x (E(x)) 와 ¬∃x (¬E(x)) 는 동치
¬∃x (¬E(x)) 의 의미는 (존재하지 않는것이 존재하지 않음)
∀x (E(x))의 부정이 모순, 즉 항위(항상거짓)이므로
∀x (E(x))는 항진 (항상 참)
따라서 ∀x (E(x)) 는 x의 범위에 상관없이 참
따라서 정말로 모든것이 존재한다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㄹㅇ 어렵네,팁 좀..
-
진격거나 봐야지
-
수학알려주고싶다 6
으악우한테 ㅇㅇ 으악우 수학만 오르면 한의대 갈거같은데
-
하.....
-
이 정도면 나쁘지 않은 편인가요 ㅜㅜ
-
-
모두 고마워요 4
이 귀염둥이들
-
소년이 죄를 지으면 소년원에 가고 대학생이 죄를 지으면
-
지브리인증찐막 6
경주에서짝녀와한컷
-
ㄱㅁ,ㄹㅈㄷㄱㅁ=정상인처럼 생겼네 솔직히 개씹오타쿠처럼 생겨서 오르비만 할줄 알았는데 의외다 너
-
화학보다재미있는과목을만들어주던가
-
원래 쌍꺼풀 아웃라인 아닌데 이렇게해주네
-
맞팔하실분 4
ㄱㄱ 없으면 민망해요
-
고양아
-
실시간오르비 6
-
옯만추 할 사람 10
나는 삘 오면 진짜 가
-
라온힐조 ㅇㅇ
허업 제 여친도 존재하는 건가요
사실 틀린거 압니다..
이것도 마찬가지로 애매하게 하지 않고 정확한 해석을 붙이면 바로 틀린게 나옴
모든 x는 존재한다
어떤 x는 존재하지 않는다
<-> ‘존재하지 않는‘ x가 “존재한다“ (범주가 다름)
마찬가지로 “어떤 x는 존재하지 않는다“에서 “존재“는 단순한 술어이므로 그냥 잘 정의된 문장임. 그냥 어떠한 x가 진짜로 존재하지 않음.