"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
게시글 주소: https://h.orbi.kr/00071315125
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
.
-
제 나이 맞추면 천덕… 10
바로 쏴드려요
-
해봄? 할짓이못됨ㄹㅇ
-
주량 기준 알려줘 13
얼굴 빨개지는거 알딸딸한거 속 뒤집어지는거 필름 끊기는거 기준이 뭐여
-
ㅇㅇㅈ 18
이왜진 펑 재탕ㅇㅇ
-
쪽지라... 11
누구랑 쪽지를 하루에 5번은 하는 거 같은데
-
프사만 이쁜 남르비들이여썩
-
에휴. 1/1에 복 많이 받으라는 쪽지 X 오늘 보냈다던 복 많이 받으라는 쪽지 X...
-
163 75 손 ㅇㅈ 16
어떤가요..쩝
-
-
년생/만나이/한국나이 이글저글 다 얘기하고 다녔는데도 생각보다 못맞추길래 이 순으로...
-
나도.. 다이어트 하면 16
괜찮을까..?
-
고2 수1 내신도 결국 수능 난이도 안벗어나니까 그거 대비도 하고 어려운 경험 미리...
-
착용완료.
-
흠 8
-
아이고 14
글 한번 잘못썼다가..
-
옯 전신인증은 왜않함 15
펑
-
나를 아는 사람들은 11
그리고 내가 아는 사람들은 대부분 오르비를 떠낫구나
-
모쌩겨서 자러감 16
.
-
ㅇㅈ할 사진 따위는 존재하지 않아
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요