"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
못봤대서 다시 12
ㅋ
-
이번주 금욜 호주가고 이주뒤에 베트남가는데……. 진짜 취소하고싶다
-
티카타카 마려운데 페드리나 파머 같은 애들 쓰고싶음 근데 또 너무 구리면 안됨 근데...
-
급함
-
이민에 대해서 6
오르비언들은 아마 사회생활 경력이 별로 없어서 경제감각이 떨어지지만,어려서 한국에서...
-
수능 수학을 ㅈ박아서 진학사도 안 사고 단순 백분위 합으로 인서울 하위권 대학...
-
님…
-
혹시 비행기 타보셨던분들 있으시면 질문 하나만 할게요 8
국내선 비행기 탈 때 출발 몇분전까지 공항 도착해야 하나요? 참고로 광주에서 출발할 예정입니다.
-
설사뀨는 보아라 11
펑
-
나에게는 옯붕이들이 있잖아 제 친구 해주실거죠?
-
아무튼그럼 일단 담배끊을생각은 없어졌어
-
nynykyo_93 닉을 말을 해주세요 왜 닉을 말을 안하죠 차단햇으면 안받음
-
남자 키 168인데 13
성격 좋고 자존감도높은사람 봄 연애도 잘 하더라
-
체취는 아예 없는 편이예요 근데 대학 가면 좀 뿌려볼까 해서.. 추천해주실 만한 거 있나요?
-
예산은 넉넉한데..
-
기만
-
타시카니...
-
난 그 기대 하나로 오늘도 힘겹게 버틴걸
-
ㅇㅈ 10
펑
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요