"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
게시글 주소: https://orbi.kr/00071315125
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
안녕하세요 1
휴릅한지 1주일만에 왔어요 알림이 3912개가 쌓여있네요ㄷ
-
펌 뭐하지 2
이젠 진짜 해야되는디 밖에 돌아다닐 꼬라지가 아님
-
화무십일홍 0
아
-
지금 노는거 조금씩 줄여서 대학 잘 가고 줄인거 수능 끝나고 순도 100퍼센트로 놀...
-
저메추 부탁함뇨잇.
-
언제부터 공부 시작하실건가요?
-
올해수능 미적4틀 73점 백분위81 나왔는데 확통으로 바꾸면 내년수능 2등급 맞을...
-
이미지써주세료 4
으하하
-
이미지 써주세요 5
라는 어그로로 화1홍보하겠습니다 님들 화학 개쉬워요 얼마나 쉬우면 1컷이 50...
-
. 2
진짜 마루타 같기도하고 Adhd가 없었다면 내 인생은 행복했을까? 라는 생각을...
-
중앙대 전과 1
중대 경영에서 공대로 전과하기 많이 어려운가요..?
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요