"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
게시글 주소: https://i9.orbi.kr/00071315125
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이미지 메타 탑승 27
ㄱㄱ혓.
-
저는 국어하고 지구과학입니다
-
무물보 28
날마다 오는 기회입니다
-
궁금하네요
-
질문 받아요 22
아무도 질문 안해주면 슬퍼요
-
기하에 벽 느낀 문제 25
-
나도 이미지 써줘요 17
-
이불 밖으로 손 잠깐 꺼냈다고 이렇게 추울 수가 있나...
-
저는 4월에 있는 세무사 1차를 치래요 한달에 한 과목씩 끝내야 할 판인데 ㅅㅂ
-
이미지를 써주세요 14
-
25수능이 끝나고 당시 반응은 "물리학1 매우어렵다"이거였음 메가에서 등급컷...
-
인간 vs ,사람 14
뭘 더 좋아하시나여
-
학벌좋고 외모좋고 성격좋은 사람들 꽤 있음 ㅇㅇ..
-
근데 내 주변엔 밥값 2만원 넘어가면 그 돈이면 실모가 몇개냐고 할 새끼들밖에...
-
오늘 친구랑 손절했어요 11
이제 남은 친구는 한 명 이 친구마저 사라지면 전 진짜 혼자가 되겠네요
-
사과하고 싶다 12
doing apple
-
히잉
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요