[모든 것이 존재함]을 증명.
게시글 주소: 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를 선물하세요.
-
4시간 늦게온다고 통보했어요 Wa! 학생정신주입봉 만들어야겠음
-
고기먹으러왔는데 2
옆테이블 술취한 아저씨들끼리 CGV가 뭐의 약자인지로 싸우시는중
-
드릴은 다른거 알고 았는데 다른 n제들은 올해 문제들과 작년도 문제가 많이...
-
둘이 같은거에요?? 분명 저 고1때 수 상하였던거같은데 강의 다 찾아봐도 공통수학...
-
걍 미분 때리면 되는거 아닌가요? 미분으로 구하는게 힘들때가 있나
-
(가) 그래프는 지구상에 존재하는 인류의 총 염색체의 개수를 나타낸 것이다. 또한,...
-
꽤 있나?
-
길거리에 나앉아야하나
-
레버기 0
부지런행
-
뿌우
-
스1,스2 문제만 다르지 문제 관련된 개념 설명은 똑같이 다 해주시는 편인가요?
-
[앵커멘트] 광주에서 대규모 수학능력시험 부정이 적발됐습니다. 관련된 수험생만...
-
허업 제 여친도 존재하는 건가요
사실 틀린거 압니다..
이것도 마찬가지로 애매하게 하지 않고 정확한 해석을 붙이면 바로 틀린게 나옴
모든 x는 존재한다
어떤 x는 존재하지 않는다
<-> ‘존재하지 않는‘ x가 “존재한다“ (범주가 다름)
마찬가지로 “어떤 x는 존재하지 않는다“에서 “존재“는 단순한 술어이므로 그냥 잘 정의된 문장임. 그냥 어떠한 x가 진짜로 존재하지 않음.