[모든 참인 명제는 부정해도 무모순임 증명]
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
얘 고양이로 못바꾸나
-
투자 조언 9
목돈이 있는데 어디에 넣을지 잘 모르겠다 하시는 분들 일본 여행 준비한다고 치고...
-
화학안해본사람들은 등급컷만보고 쉽다하는거고 화학 하는사람들은 사설모의고사가...
-
비행기 기장 0
전망 어떻게 보시나요? 억대 연봉 받는 숨겨진 직업 같은디요 앞으로 ai가 대체하게...
-
나임
-
뽀록인지 선택과목을 바꾼 탓인지 모르겠음.. 미친듯이 긴장돼서 토나오는거 참고 쳤는데 커하임..음?
-
끊으면 이로움 근데 못끊겠음.. 끊으면 너무 외롭자나
-
큰일났어요 19
케잌이 꽤 남았는데 벌써 배불러요 같이 먹어줄 여르비 구함...
-
상황을 믿어야지 상황을!
-
덕분에 1만원으로 50벌었다 ㅎㅎ
-
강기분에서 말하는걸 어떻게 적용하는건지도 잘 모르겠고 ..(정보누적밖에...
-
찐찐찐찐 찐이야 2
완전찐이야
-
ㅈㄴ 눈물나네 ㅅㅂ ㅠㅠㅠㅠㅠㅠㅠ
-
ㅋㅋㅋㅋㅋ
-
원래 집에 엄빠 나 동생 할머니 할아버지 살았는데 동생이 결국 삼수 기숙학원이랑...
-
시긴 투자 넘 많은가… 정환쌤 풀커리 +기시감
-
국어 풀면서 제 안의 자아한테 물어보는건 저만 그런가요? 11
예를 들어 과학 지문에서 물탱크에 실험을 한다고 하면 저는 제 안의 자아한테 물탱크...
-
잘생겨지고싶다 0
-
3월부터가 국룰인데스까?
-
루미큐브 백만골드 달성했다
-
경희대 정도면 충분히 나쁜 대학임
-
커피도 태어나서 한 번도 안 마셔봤어요 무슨 맛일까…
-
본인은 중1 키 147 중2 166 중3 182 키 상승 ㅁㅌㅊ
-
뭐가 좋을까요? 액수는 최소 60 이상은 필요하긴 해요. 혼자있는건 좀 위험할 것...
-
대학커뮤니티 노크에서 선발한 동국대 선배가 오르비에 있는 예비 동국대생, 동대...
-
그 시험지 3등급나옴
-
가 누굴까.. 흠
-
햄버거 랭킹 9
가성비, 맛 등등 포함해서 ㄱㄱ 왜 투표가 안 달리지
-
술 한 번도 안 마셔봤는데 언제까지 안 마실지…
-
현우진 세젤쉬 0
시발점이랑 세젤쉬중에 고르라면 어떤거 할꺼임?
-
알바 끝났다 3
-
원래 수학 국어 등급은 29
오르는 느낌이 다른 과목에 비해 안드나요? 한번에 빵하고 터지는건가요 하루하루가...
-
최단 풀이를 위한 수학 행동 강령
-
난이도 차이 어느정도인가용
-
홍대 멘헤라공원 6
멘헤라랑 사귀고싶다 근데 사실 존예멘헤라나 파격적 패션 여성분들은 일본,중국인이 많더라..
-
설떨하면 공대복전할거임
-
숭실대 학식 맛있었어요 13
제가 중학교때 대학견학 가서 먹은 볶음우동 연고대는 학식 방문이 없었어요..
-
지금 시작합니다
-
술의문제점 5
먹으면 하루 쉬어야됨
-
진짜 개에바네
-
옯평 개빡세 보이는데;;
-
퍼컬이 뭔지는 아시려나... 아시는 분은 댓글 ㄱㄱ 전 쿨톤이에요
-
숭실대 세종대와는 달리 조금씩 내려가는 추세라는데
-
수험생은 아님(아직은..?)
-
레전드 성적 상승 14
ㅑㅐㅛ
-
내신 성적만 보는 교과전형에서 문과가 이과계열학과를 지원하는게 이제 가능한가요? 제...
-
조언 구합니다ㅠㅠ 11
이제 고2 올라가는 08년생입니다. 연고전,고연전(고연전,연고전) 민족의 아리아...
-
흐흐 다먹어주마
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ