"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
게시글 주소: https://orbi.kr/00071315125
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㅈㄱㄴ 파란 테두리 달고싶음
-
괜히 마신 듯
-
19일 까지 수강이라고 하면 19에서 20 넘어가는 12시에 종료인건가요 아니면...
-
진짜 쉽지 않네 0
신기한 메타야
-
-
생지 만점 1
생1 19틀 47점이고 지1 17 20틀 45점 입니다. 선택과목 안바꾸고 재수를...
-
전 10시부터 11시까지 폰보고 자서 9~10시반 기상해요 너무 늦나요
-
팔로우 ㄱㄱ 0
https://orbi.kr/00071420978
-
도파민 풀충전 0
ㅋㅋㅋ
-
닭때 보수 불태운다그럴때 태웠어야하는데 ㅅㅂ
-
아이는 신이다 14
개이뽀
-
내 자랑거리 20
겜 중1때부터 한 거 같은데 채팅 정지나 그런 제재 한 번도 안 받아봄 겜 한정 멘탈 킹임
-
자야지 0
잘자콘 좀 달아주세요
-
아직 공부하기 싫어서요……
-
작년 재작년 190퍼 170퍼 돌았는데 이번 년도 200퍼 넘게 돌수 있을까요?ㅠㅠ
-
제정신인가 ㄹㅇ 무슨 경찰을 폭행하고 유리창을 깨고 어휴…난 주변에 저런 노인들 없겠지?
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요