"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
게시글 주소: https://orbi.kr/00071315125
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
보닌 자랑 9
센츄 고1 모고로 딴거아님(7덮)
-
금수저 0
금수 = 저 일단 사람은 아니고...
-
예쁜 여고생이 아니라서.
-
아 너무 힘드네
-
초중딩 때 영어학원에서 배운 어려운 단어 거들먹거리면서 깝치던 새끼들 다 내신...
-
그래야 불안하지 않아요 올해 무조건 될거라고 생각하는편
-
메디컬 목표로 성공할때까지 n수 박기
-
본명 좀 치우고 싶은데
-
덕코 없어서 다시 못 사잖아
-
중앙대를 질렀다. 난 중앙대의 노예가 될거다.
-
입결표를 보며 주의해야할 점, 학과 고를때 신중하게 결정하기 8
물론 누백상으로 시각화시킨 자료라 어느정도 라인을 잡는데에는 도움이 되긴 하나,...
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요