[모든 것이 존재함]을 증명.
게시글 주소: 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
야식 추천 앙망
-
개뻥치네ㅋ 2
구라쟁이들
-
인지도메타참전 2
아무리 생각해도 전생보단 모를 듯 한데..
-
영상 봤음
-
ㅇㅈ 5
머리 예쁘징//
-
옛날엔 금테 이상은 진짜 오래 쉬다 오지 않는 이상 모르는 사람이 드물었는데 이젠...
-
아오 포기 3
50분 가까이 했네 차라리 그 시간에 딸 잡는 게 내 인생에 더 도움이 됐을 듯
-
일단 저부터
-
눈물이 앞을 가리네
-
1명만 차단하면 글 리젠이 확 줄어든디ㅏ
-
야간알바 없어서 문닫으시나보네
-
-
떡밥뭔데 2
?
-
옯붕아...
-
수능 안할래
-
-
너무 많은 정보를 뿌림...
-
지능이 두배인건데 너무 아쉬움
-
ㅋㅋ
허업 제 여친도 존재하는 건가요
사실 틀린거 압니다..
이것도 마찬가지로 애매하게 하지 않고 정확한 해석을 붙이면 바로 틀린게 나옴
모든 x는 존재한다
어떤 x는 존재하지 않는다
<-> ‘존재하지 않는‘ x가 “존재한다“ (범주가 다름)
마찬가지로 “어떤 x는 존재하지 않는다“에서 “존재“는 단순한 술어이므로 그냥 잘 정의된 문장임. 그냥 어떠한 x가 진짜로 존재하지 않음.