[모든 것이 존재함]을 증명.
게시글 주소: 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를 선물하세요.
-
생기부 안한 내용 뻥튀기해주고 그걸로 3점대들 의대 지둔으로 감 정시러는 학교...
-
수학1 한완기 풀고 있는데요... 답은 맞긴하는데 제 풀이가 해설지 풀이보다 약간...
-
고2 정파는 일년이 나무 붕뜨는거 같아요
-
근데 검정고시는 탈락할 수 있는 난이도가 아니었음
-
『오줌발사』 2
-
기출 학습 여러번 하다보면 할 수 있을란가
-
잘 살고싶은데 1
세상이 호락호락하지 않네..
-
고등학생 때까지만 해도 애들이랑 노는 게 좋고 이리저리 활발하게 지냈고 소위 잘...
-
먼가 그럼 천성 찐딴가봄
-
우리 모두 국어사 지식을 지녀 보아요
-
ㅃㄹ 급함
-
하..
-
ㅅㅂ 이세계???!
-
내 마음이 들키면 안대!!!
-
어쩌라고 ㅗ
-
날씨도 설렁한데 2
설렁탕 한 그릇 먹고 싶네ㅋ
-
'인강'이란 것을 들어볼까용
-
서울대 공대나와도 대다수가 임원못달고 명퇴하는데 쟤들은 그냥 100살까지...
-
문재인 수능, 윤석열 수능, 이재명 수능 다 경험하는 거임?
허업 제 여친도 존재하는 건가요
사실 틀린거 압니다..
이것도 마찬가지로 애매하게 하지 않고 정확한 해석을 붙이면 바로 틀린게 나옴
모든 x는 존재한다
어떤 x는 존재하지 않는다
<-> ‘존재하지 않는‘ x가 “존재한다“ (범주가 다름)
마찬가지로 “어떤 x는 존재하지 않는다“에서 “존재“는 단순한 술어이므로 그냥 잘 정의된 문장임. 그냥 어떠한 x가 진짜로 존재하지 않음.