"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
게시글 주소: https://orbi.kr/00071315125
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㄹㅇ왜지 이제 기억남
-
서울/인접 수도권 지역에서 추천부탁드려요
-
과호흡오는거 아닌가 좀 많이 쫄리네 점심시간 끝나고 병원 꼭 가야겠다
-
팟타이 먹고싶다 2
사주세요
-
임정환쌤이 1타같긴하던데 윤성훈쌤이 더 실수픽 같은 느낌이던데
-
시대인재북스에
-
얼마 안 됐어 3년됐구만 ㅡㅡ
-
국영수사탐1 사탐2 모두 3등급 중반이면 대략 어디쯤 가나요?
-
원제목은 "sinx 테일러급수 3차항까지 교과내로 보이고 싶어서" 였다 근데...
-
거울을 보세요 거울 속 자신을 보며 이 샛긴 공부 아니면 답이 없겠다라는 걸 매번...
-
너네 무관대잖아 ㅋ
-
자침의 뜻은 남북을 가리키는 나침반의 자석막대라고 하는데, 지구과학에서는 자침을...
-
하루면 뭐.. 내신 공부에 차질 없어서 다행인 듯
-
수능 6모·학평, 대선 일정 따라 6월 4일로 하루 연기 4
오는 6월 3일이 대통령 선거일로 결정됨에 따라 당초 이날 예정됐던 고교...
-
와 세시간쳐잠 3
교수님최고의수면제
-
아이디어 뉴런 3
김기현 아이디어 듣고 6월쯤에 뉴런 들어도 늦지 않을까요?
-
개정시발점 완강했고 시발점 워크북이랑 쎈, 학원에서 뽑아준 기출 풀었어요 뉴런...
-
의외로 수능이 망해서가 아닌 수능까지 망해서이기 때문일 확률이 높음
-
도로주행 1
붙고올게~
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요