[모든 것이 존재함]을 증명.
게시글 주소: 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를 선물하세요.
-
순수개그캐 그 자체라 너무 재밌었는데 갑자기 안 보임...
-
그 사건
-
작년에 유튭으로만 봤었는데, 실제로 듣는 군
-
뉴런 쉽네 2
뉴런 듣는 데 문제 풀 때 못 푸는 게 절반 정도 되는데 이러면 뉴런 안하는 게 나을까요?
-
다 나가네 걍 1
으음
-
아닌가 너무 착한 척함
-
2년 쉬었다 다시 보는거라 개념약간 헛갈림 삼도극 시발점 목달장 로스쿨 사탐런 수학...
-
저는 민감해서.. ㅜㅇ우긍으이읏생긋
-
밎팔구함
-
호감도 해봄 5
"호감도" 했음
-
ㅇㅈ해도 2
댓글이 안 달려서 삭제함 ㅅㄱ
-
나같이 평범한 사람은 적응이 안 됨
-
난 비흡연자고 앞으로도 비흡연할 거지만 스트레스 받을 때 가장 가성비좋게 해소가...
-
사문 도표 5
화1 하다가 사문 넘어와서 도표특강 들으면서 기출 푸는데 도표가 왜 진짜 어려운건지...
-
방송드가자잇
-
1시 2
1시
-
옯태식이 돌아왔구나!!
-
안올릴거긴한데
-
후자는 일주일치 밀림 ㄷㅈ? ㄷㅎ?
-
그게 바로 나야 밥 두밥 두비두밥
허업 제 여친도 존재하는 건가요
사실 틀린거 압니다..
이것도 마찬가지로 애매하게 하지 않고 정확한 해석을 붙이면 바로 틀린게 나옴
모든 x는 존재한다
어떤 x는 존재하지 않는다
<-> ‘존재하지 않는‘ x가 “존재한다“ (범주가 다름)
마찬가지로 “어떤 x는 존재하지 않는다“에서 “존재“는 단순한 술어이므로 그냥 잘 정의된 문장임. 그냥 어떠한 x가 진짜로 존재하지 않음.