무브
오르비
아톰
내 태그 설정
쿠쿠리 [1310649] · MS 2024 · 쪽지
게시글 주소: https://orbi.kr/00071315125
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
쪽지 보내기
알림
스크랩
신고
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2 결론을 부정하면 1+1≠2이면 2≠2이므로 모순 이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데 2의 다음수는 3. 2와 2는 같음(둘다 다음수가 3) 그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임 대우를 쓰면 그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
01/16 04:43
요즘 찾아보는거 1
파이 충돌이라고 하는데 개신기함 ㄹㅇ
01/16 19:42
2월부터 강기분 0
2월부터 강기분 할려 하는데 늦지 않나요?
01/15 22:43
공부를 할까요 조금 놀까요 12
잠은 안 오네요
01/15 23:24
수학 1등급 받는법 9
???☠️☠️??????????????? 간절 간절 간절 제발 제발 제ㅂ발
01/16 19:40
꿈이 생겼습니다 0
라크리 님을 보면서 진짜 닮고 싶다는 생각이 들었습니다 설의가서 오르비 아들 만들어야징
01/16 00:14
랩 잘하려면 걍 많이해봐야하나 6
아예모다겟음
01/15 23:29
거북이 노래가 ㅈㄴ 신나네 8
비행기랑 빙고ㅆㅅㅌㅊ
01/16 00:11
화1을 하면 안되는 이유 6
"내년에도 화1 할래?"
01/16 00:37
재수 루틴 봐주세요ㅠㅠ 5
8시 기상 밥 먹고 9시까지 독서실 가기 9~12시 국어 점심 30분+10분동안...
2026 수능D - 57
가성비) 수능 한국사, 독서, 윤사 / TOEIC 중위권 탈출 최적화 과외
너만의 맞춤 수학 과외
국어 수학 과외 구합니다
중하위권 기초 꽉!!잡는 영어
동아시아사 세계사 연표 특강
초등에서 고등 수학, 영어과외
무슨 공리계인가요
일반적으로 우리가 사용하는 공리계라면 덧셈의 정의에 따라 1+1=1+(1의 다음수)=2
결론을 부정하면
1+1≠2이면 2≠2이므로 모순
이는 명제 '어떤 명제든 결론을 부정하면 무모순'가 거짓임을 나타내는 반례이기도 함
그게왜 모순임?
페아노 공리계에서 다음수가 같은 수는 같은 수인데
2의 다음수는 3.
2와 2는 같음(둘다 다음수가 3)
그러므로 2≠2는 모순임
2와 2는 같음을 부정함
그 명제가 페아노 공리계 안에서 말하는 거면 모순임
대우를 쓰면
그게 참이면 그 명제는 새로운 쿠쿠리공리계 안의 명제가 되는것임
안녕하세요
안녕하세요