[모든 것이 존재함]을 증명.
게시글 주소: 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를 선물하세요.
-
너무졸리네 1
흠
-
현역 고3 문과생입니다.. 올해 3모 확통 69점으로 3등급 나왔고, 공통은...
-
아니 다 읽으라고 만든건데 저게 말이 됨? 글면 독서도 발췌독 한다하지 납득이 안 됨..
-
인생 업적 1
구구단 외웟음
-
2D풍 ㅇㅈ 3
Gpt에서 안돼서 지브리풍은 아닌 무언가
-
-
ㄹㅇ
-
오르비 ㄹㅇ 음 7
ㄹㅇ 글 쓰는 사람만 쓰네 맨날 보던 사람이 대부분이고 저렙노프사 뉴비들 전멸인데 거의
-
아차단해야겟다;
-
약간만 날렵허게 해줘같이 마법의 주문을 조금만 넣으면 다른사람이 나온답니다 혹시...
-
찐vs짭 5
-
-
아이유 우울시계 이거 반복해서 들으면 눈물이 쏟아짐...
-
칸타타 에피머 3
인증 보고싶은 사람 좋아요
-
꺼야게씀
-
허구한날 현학적인 글 쓰면서 나르시즘 빠져있는거 꼴보기 싫다 투표ㄱㄱ혓
-
지브리는 신이야
-
공부 많이 할때두요?
-
수시제도를 폐지하겠어
-
오목2 1
공격
허업 제 여친도 존재하는 건가요
사실 틀린거 압니다..
이것도 마찬가지로 애매하게 하지 않고 정확한 해석을 붙이면 바로 틀린게 나옴
모든 x는 존재한다
어떤 x는 존재하지 않는다
<-> ‘존재하지 않는‘ x가 “존재한다“ (범주가 다름)
마찬가지로 “어떤 x는 존재하지 않는다“에서 “존재“는 단순한 술어이므로 그냥 잘 정의된 문장임. 그냥 어떠한 x가 진짜로 존재하지 않음.