"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
게시글 주소: https://orbi.kr/00071315125
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
덕코내놧 6
주세요
-
올라가는 자신감 크크
-
예비고2입니다. 방학때 시간 많을때 국어 공부 해놓으려고 시작했는데 독학하고...
-
이거야~
-
졷냥대합격 2
-
(서울대 합격 / 합격자인증)(스누라이프) 서울대 25학번 단톡방을 소개합니다. 2
안녕하세요. 서울대 커뮤니티 SNULife 오픈챗 준비팀입니다. 서울대 25학번...
-
댓글 6갠데 들어가면 4개밖에 안나옴 알림도 떴는데
-
애니를 영어자막으로 보면 되요
-
확 찢어버린다 7
??
-
시립 조발 내놔 4
슬슬 할때 됐잖아 왜 안주는거야!!!!!
-
https://www.oklink.com/ko/etc/block-list 이렇게...
-
평범하네요
-
내가 이상한건가? 문제가 이상한거 같은데
-
ㅇㅂㄱ 16
-
으엄청 많지만 그 중 하나1. 젠센 부등식 사진은 나무위키꺼 캡쳐해왓고 증명은...
-
. 6
-
뻥이에요
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요