"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
게시글 주소: https://orbi.kr/00071315125
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
근데 국어가 낮3임. 진짜 국어 때문에 정신병올거같아.
-
[칼럼] 수리논술을 진지하게 준비할 거면 거리곱을 멀리하세요 3
제목엔 칼럼을 박아두긴 했는데 그다지 거창한 내용은 아닙니다. 논술을 진지하게...
-
1월 2일쯤에 재종반 교무실에 데려다 놓은 꽃인데 진심 반 장난 반으로 연대...
-
어릴 때가 더 높게 나옴
-
재수생은 1, 2월에 보통 단과로 감잡나요..?
-
나 adhd임? 9
이거뭐냐
-
독감이 대부분인거 같음
-
내신용으로 내신 범위까지 듣다가 그냥 이걸로 완강했어요 참고로 선생님은 ebsi...
-
박광일쌤 0
훈련도감 완강 시기 아시나요?
-
화작확통생1사문 0
이러면 이과인건가요..? 자연계 지원 가능 한가요? (사실 사2로 바꿀려 했는데...
-
2택 가능
-
수학 실수를 하나도 안하는 사람은 ㄹㅇ 뭐냐
-
방금도 고대생이 자기소개(?)막 하는 영상 떠서 보고왔는데 부럽네영
-
방금 s2불합격 인문 전형 불합격 문자 왔는데 6평 41144 9평 23154 수능...
-
로스쿨 다녔던 사촌형때문일까 어릴때 봤던 드라마때문일까 그냥 순수하게 멋져서? 너무...
-
커피 못 끊겠다 3
아침 먹고 한잔 점심 먹고 한잔 이게 내 삶의 낙인걸
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요