"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
게시글 주소: https://orbi.kr/00071315125
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
시덥잖은 드립 말고 진짜 말 잘 이어가는법 없을까...
-
아직 미적 진도 다 나가지도않았고 3모 기본 2점문제 2개만 맞춘 수준인데 그냥...
-
4시간 박아서 미적 별2-3개짜리 13문제풂ㅋㅋㅋㅋㅋㅋ 내일부턴 수엊시간에 사탐해야겟다
-
나는 의미있는 존재는 아니었나보네 인생 잘못살은듯
-
살기가 귀찮다 3
그냥 갑자기 숨쉬는 법 까먹으면 좋겠다
-
???: 돌아버린거냐 ??: 아니 잠깐만 전례가 있어 ??: 되는데? ???:굿아이디어~
-
사실 드라마 합응 때 민족의 아리아 장면 끝나고 연대 쪽 단원들 표정 굳어있고...
-
美 증시 이틀 만에 1경원 증발했는데…트럼프 “버텨라” 4
4월 4~5일 시총 6조6000억달러 증발 트럼프 취임 후로는 11조1000억달러...
-
-
부탁드립니다
-
한동훈 오세훈 도지사 홍준표 안철수 나경원 ㄷㄷ
-
RESET KOREA
-
프로필을 누르니 비둘기만 보일 따름이네요...
-
하..내일 더 많이..더 열심히..
-
심심하다고 느끼면 미친도파민중독자인가요?
-
화2 자작 풀이 2
https://url.kr/iqpbee 제가 만들었던 이 화2 문제들을 다시...
-
하원완료 2
빨리집가서자야지
-
-
https://www.reddit.com/r/50501/comments/1js9lok...
-
당황스러웠음 대체 뭐임?
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요