[모든 참인 명제는 부정해도 무모순임 증명]
게시글 주소: https://ys.orbi.kr/00071403001
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
인생...
-
이번주엔 좀 조발해다오
-
애플뮤직 ㅇㅈ 0
보관함에 한국어는 없다
-
약대 성적이 나올 수 있나요? 안나온다고 해도 내년까지 달리긴 할거긴 한데 궁금해서 물어봅니다
-
의대생들은 모두 민초단인 걸로 하자
-
결혼할때는 외모 이외에 10
다른 조건들도 같이 볼까요?? 아님 남자들은 여자 나이, 외모 이 2가지만 볼 확률이 높은지
-
무물보 18
-
안경 삐뚫어짐 ㅈ댐 공부랑 게임할때만 쓰는건데 ㅅㅂ
-
광클실패 2
ㅅㅂ
-
토플80점넘는게 수능영어 100받기보다 어려울라나..
-
광클 성공 0
히히
-
무물보 10
ㅈㄱㄴ
-
우리 옆 생활관에 30대가 있더라고요
-
무물보 12
안받습니다
-
대학커뮤니티 노크에서 선발한 경희대 선배가 오르비에 있는 예비 경희대학생, 경희대...
-
케이스에 충전기따지 딸려있는데...에어팟 프로2임
-
그런 생각이 들어요
-
그래도 그렇게까지 늙은건 아니에요 다들 화이팅!
-
그런걸로 하자
-
고대 신소재 0
경쟁률에 비해 점공률이 늘지를 않네요! 서울대 1단계 합격을 했으나 거의 뒷등수라...
-
본가 고속터미널쪽이고 강남역 독재다님 등원할때30분정도걸리고, 사람많은거 개극혐함...
-
진짜 뛰어내린다.이건 진짜 날아가면 안됨.애니별로 오프닝 엔딩 삽입곡 플레이리스트...
-
오늘은 대치동 어딜가지 19
저녁 뭐먹지 히히
-
무물보 24
몇몇 질문들은 구라로 답해드려용 。◕‿◕。
-
도움과 사랑으로는 채울수없는 먼지로 가득찬 하얀색 세계 이번에는 너가 먼저 물러서서...
-
롤 요즘 너무 재미없어짐 fps 제외
-
많이 안 보이네… 나 심심한데
-
국어 언매말고 화작 선택하면 많이 불리할까요..? 25수능 언매 응시해서 노베는...
-
사러가긴너무 귀찮아
-
이투스랑 연관있는거 같던데... 메가 러셀같은데는 메가패스 할인이라도 해주는거로...
-
붙든 말든 돈 받았으니 끝난건가 ㅋㅋ
-
24수 통 50분컷 만점받고 올수 미적 망한 사람도 잇을꺼임 9
근데 솔직히 이분들은 좀 특이케이스같긴함녀
-
숨이턱턱막히네 6
진짜죽을듯
-
1등급 목표면 표점유불리 때문에 비추하고 4등급은 진지하게 확통보다 미적으로 맞기가...
-
뀨뀨 9
뀨우
-
연치나 경희치같은 상위권 치대에도 많나요
-
진로 관련 질문 받아봅니다
-
동일한 집합에서 동일한 개수의 원소를 순차적으로 뽑아내면->순서부여 동일한 개수x면...
-
난 고1때 경우의수 파트가 너무 내스타일도 아니고 어렵고 뭔가 재능의 영역이 있다고...
-
3.2%가 선택했는데 그럼 선택만 해도 1등급 아님? 저점매수 ㄱ
-
학교의 학생들 수준을 보려면 학교별로 메디컬 몇 명 보냈는지, 서울대 몇 명...
-
검정치마콘서트 1
감
-
훈련도감이 다른강사 무슨 포지션인가요?
-
24수능 확통 96점 받고 미적런 하신 분 25수능 미적 27-30 다 틀렸다고...
-
수능 패턴 맞출거야…
-
대학커뮤니티 노크에서 선발한 성균관대 선배가 오르비에 있는 예비 성균관대학생,...
-
눈 많이 높은건가요?? 진짜 단발 잘어울리는 여자가 이쁜거 같아서..
-
끈적하게 푸른뱀과 똬리틀기 ㅗㅜㅑ
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ