"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
게시글 주소: https://orbi.kr/00071315125
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
수학 잘하는 법 1
알려주세요 고능하신분들
-
안아줘요 응애 4
-
예전에는 새로 학교 다니려고 하면 설레고 두근거리고 했는데 이제 변화가 두렵다는건...
-
흐우우움
-
N티켓이란 3
신기하게 안풀리는 교재
-
https://www.instagram.com/orbi__quaestio?igsh=d...
-
난 저거 못품 ㅇㅇ
-
잘 나가는 배우에다가 아가씨 영화도 히트쳐서 논란만 없으면 배우로 승승장구 했을건데...
-
제가 학부입시할때 고려대 입학처 (당시는 인재발굴처였는데..)에 30분에 한 번씩...
-
대체 얼마나 쳐먹어야 되는 것이냐 먹어도먹어도 끝이 없다
-
질문해드려요 ｡◕‿◕｡ 78
-
국어 과외 1
국어 과외 할려고하는데 수요 있음? 6모 원점수 76에서 수능 100 까지 올림...
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요