[모든 참인 명제는 부정해도 무모순임 증명]
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
그 시험지 3등급나옴
-
가 누굴까.. 흠
-
햄버거 랭킹 9
가성비, 맛 등등 포함해서 ㄱㄱ 왜 투표가 안 달리지
-
술 한 번도 안 마셔봤는데 언제까지 안 마실지…
-
현우진 세젤쉬 0
시발점이랑 세젤쉬중에 고르라면 어떤거 할꺼임?
-
알바 끝났다 3
-
원래 수학 국어 등급은 29
오르는 느낌이 다른 과목에 비해 안드나요? 한번에 빵하고 터지는건가요 하루하루가...
-
최단 풀이를 위한 수학 행동 강령
-
난이도 차이 어느정도인가용
-
홍대 멘헤라공원 6
멘헤라랑 사귀고싶다 근데 사실 존예멘헤라나 파격적 패션 여성분들은 일본,중국인이 많더라..
-
성적 상승 3
Sexual 상승
-
설떨하면 공대복전할거임
-
숭실대 학식 맛있었어요 13
제가 중학교때 대학견학 가서 먹은 볶음우동 연고대는 학식 방문이 없었어요..
-
지금 시작합니다
-
술의문제점 5
먹으면 하루 쉬어야됨
-
진짜 개에바네
-
옯평 개빡세 보이는데;;
-
퍼컬이 뭔지는 아시려나... 아시는 분은 댓글 ㄱㄱ 전 쿨톤이에요
-
숭실대 세종대와는 달리 조금씩 내려가는 추세라는데
-
수험생은 아님(아직은..?)
-
레전드 성적 상승 14
ㅑㅐㅛ
-
내신 성적만 보는 교과전형에서 문과가 이과계열학과를 지원하는게 이제 가능한가요? 제...
-
조언 구합니다ㅠㅠ 11
이제 고2 올라가는 08년생입니다. 연고전,고연전(고연전,연고전) 민족의 아리아...
-
흐흐 다먹어주마
-
재수학원에서 만난앤데 고3까지 쳐놀고 재수부터 공부 시작햇는데 6모때 가형 96에...
-
현역 재수 삼수 라인 14
현역 : 경기대 , 명지대 재수 : 경희(국제) 어문 , 동국 어문, 홍익 사범...
-
맞팔 9
할사람
-
양쪽에서 두 다리를 다 떠시니 제 골도 떨리는 거 같아요.. 살려주시라요
-
수능 평백인데 인간승리맞음? 다음목표는99임
-
그 후로 단발이 좋더라 계속
-
작수 2인데
-
현역가천대경영 3
반수 동홍 낮과 정시성적으로는..
-
히키코모리 친구 0 N수 실패 여기서 히키코모리만빼면 난데 난 지금 행복한데...
-
추구미 단발 청순녀 30
이목구비 크고 뚜렷한데 뭔가 조화가 잘 이루어져서 느끼하거나 전혀 그렇지 않으면서도...
-
나 국수영 323이엿는디
-
지가 풀어보고나 말하는 거임? ㅋㅋㅋㅋㅋㅋ 오랜만에 개긁히네
-
현역 중앙높공 재수 연대낮공 삼수 약대(지방)
-
후기 어떤가요 ㅋㅋㅋㅋㅋ
-
엄이네
-
제주변엔현역보다떨어진애들이왜이리많은지
-
나가기 귀찮아
-
욕해주세요 13
지금 개정시발점 좀 하고이ㅛ는데 빨리 수분감하고 빨리 뉴런하고 싶음 …시발점 부터...
-
산책 0
날씨도 선선하니 좋네요
-
이거 뭐야 ㅅㅂ 3
아니 이게 왜 같이 산출돼
-
돌고돌아 한티옥 7
-
님들이라면 어디감
-
갈래 3
-
박종현 윤도영 보시길 여기가 대다수의 현실을 잘 얘기해줌 오르비 극소수의 초금머갈은...
-
방어다
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ