"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
게시글 주소: https://orbi.kr/00071315125
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
칭찬임??
-
일요일 공부 0
N수생들 일요일엔 공부 얼마나 함? 난 그냥 국어 수학 탐구 하나 정도만 하는데
-
선착순 천덕 넌센스 17
백인이 좋아하는 떡은?
-
스나 했는데 성공해서 만족한다면 수능을 또 안볼 수도 있잖아? 수능을 또 보려면 하향지원해야함
-
취르비 입갤 2
-
윤카 멋지긴 함 3
ㅇㅇ
-
대학은 합격했는데.. 이제 돈이 문제네요 금요일 밤 10시 ~ 토요일 오전 8시...
-
1등급 받은 과목들만 문제풀이해주겠습니당 영어 물리는 자신 있다구 내가 물리...
-
-
내일은 오르비 안 해야지
-
얘기하면서 여행 사진 보라고 폰 잠깐 빌려줬는데 슥슥 넘기면서 다른 사진들까지 다 봐버리기
-
회원 프로필이 ㅋㅋ
-
그냥 저능저능하게 다 써서 풂..
-
지국총 지국총 2
어서왕
-
까까랑 맥주 3
소확행 으히히♡
-
-
WWE였음? 풀어보고 심지어 정답률까지 체크해봤는데 아직도 비문학이 오답률이나 실제...
-
단어만 알면 해석이 자동적으로 동시에 따라오는 것 같음 모르는 단어 있으면 문맥이나...
-
아얘 처음부터 달달한 초코 밀크티로 마실걸 그랬나 이거 희망고문 수준이잖아...
-
언제나
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요