"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
게시글 주소: https://9.orbi.kr/00071315125
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
더러운거 질색이에요;; 편의점 바퀴벌레때문에 관둠 쿠팡은 육체적으로 힘들어서 ..
-
탈릅하고 싶은데 7
오르비 레벨 50이거 ㅈㄴ 아까워서 내적갈등생김
-
쉽구만 ㅋㅋ
-
비행기랑 빙고ㅆㅅㅌㅊ
-
재종이라면 어딜 가야하고 기숙이면 어딜 가야하나요 추천 좀 해주세요 ㅜㅜ 정보가 하나도 없습니다
-
왜그런거임? 방금 머리털었더니 우수수 떨어짐
-
단지 외모가 99%를 차지함 그래서 나는 이미 물건너감
-
대학 생활 아는 게 아무 것도 없어서 일단 가야하는데 어따 문의함뇨....
-
아아 왜 학원알바한다고 했지 다 때려치고 도망가고싶다
-
반갑습니다. 7
-
외모는 수학 성격은 국어 키는 영어 탐구는 지능
-
22 국어 수학 진짜 불로 나온거 잘보고 오히려 탐구를 망쳐버려서 서울대 그대로...
-
ㅈㄴ 안 오름 나 댓글머신인데
-
노벨피아 추천좀 6
심심해
-
고냥 고렇던데
-
Z
-
삽 졸린데 8
애들 사이에서 못 자겟어
-
확통 찍먹해봤는데 ㄷㄷ이네
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요