"(1+1=2)가 참" 이라는 결론을 부정해도 무모순
게시글 주소: https://orbi.kr/00071315125
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
작년과 비교해서 백분위가 얼마나 오를까요...? 작년에는 과탐 미/기 필수였습니다...
-
얼벅기 0
벅벅
-
(폭로) 입대 D-1, 수능 영어의 모든 것에 대해 밝힙니다. 13
안녕하십니까. 한대산 영어 연구소입니다. 한대산 영어 연구소의 팀장인 저,...
-
설맞이 아카이브 0
설맞이 아카이브 2023이랑 2024 문제 다른가요?두개 다 풀어봐도 ㄱㅊ은 건가요?
-
투표권 박탈좀 개시발 진짜
-
내 무습다
-
국어 독서 누구 들어야 할까요 지금 박준호(서준혁으로 이름 바꿈) 현강 듣는데 독서...
-
시범과외 꽤 다녔는데 시범과외는 거의 다 미성사되고 처음부터 정규 과외 맡기고...
-
카드 귀욥져 11
아침에 받은 따끈따끈한 K-패스임 지하철 15~60회 타면 30% 환급해줌
-
스카에 친구생김 0
2000원짜리 다이소 부엉이.. 유일한 친구임
-
S 1
S.
-
호감고닉이 되야지
-
진짜 깜짝놀람.......... 그냥 수특 사문 맨 뒤에 있는 도표 2개랑 무슨...
-
2026 이동훈 기출 https://atom.ac/books/12829 안녕하세요....
-
하 이날이 오네 6
잘있어라 오르비! 난 간다!
-
수능으로 대충 몇등급정도 돼야하나요?
-
공군운전병 5
컷얼마 예상하시나요?
-
"바운디"
-
선생님이라고 불러주고 젤 아끼는 쌤이라고 칭찬해주고 이러니까 그냥... 자발적...
-
정시러만 뽑음? 아니면 상관없이 수능숳학만 잘보면 오케이 인건가
-
좋나여?
-
그땐 그냥 학교가서 잤던것같음
-
-
adhd 의심했었는데 피곤하니까 걍 ... 잡생각조차흐기싫네
-
졸려.. 0
-
지각이야ㅜ지각~ 1
식빵물고 뛰는중
-
D-220 0
국어 내신 범위 문풀 수학 오답노트 복습(20문제) 다짐을 하고도 어제는 지키지...
-
기상 2
커피마시고 잠깨서 집가야징..
-
앜ㅋㅋㅋㅋㅋㅋㅋ
-
1.대충 써도 순위 안에 들어서 유의미한 보상을 받을 수 있을 거라고 생각하는...
-
-
진짜임
-
낄낄낄 3
1교시,..
-
열 다시 나노 0
와 이라노
-
저격 1
-
급함
-
얼버기 2
하 월요일이라니
-
언매 빡공 시작
-
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
3주 남았는데 내신에 올인 해야 하나요 어니면 20프로 정도는 정시 공부 해야하나요
-
흐물흐물 1
말랑말랑
-
관세의 기능과 종류 - 수특 독서 적용편 사회·문화 07 1
안녕하세요, 디시 수갤·빡갤 등지에서 활동하는 무명의 국어 강사입니다. 오늘은...
-
삼각함수 그래프까지만 들으려 하는데
-
2025학년도 사관학교 영어 1차 시험 기출문제 18번 문장별분석 1
2025학년도 사관학교 영어 1차 시험 기출문제 18번 해설 ( 선명하게 출력해서...
-
어이가 업슴
-
-
새르비 '완' 4
완
-
강남을 올때마다 느끼는게 있다 이 시발동네는 위치선정을 잘못했다 이런 병신동네가...
-
안깨게 준네 조용히 가야지
-
진짜 다 자냐? 2
내가 또 샷다 내려야돼....하
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요