[모든 참인 명제는 부정해도 무모순임 증명]
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
그거에 비해 지금 올라오는건 순한거라는거..
-
나도 무서운 사람이 되겟음
-
작년 9모 다시 풀어봤는데 그때도 미적 못했는데 더 못해짐 미적 그냥 포기 마렵네
-
냥냥
-
집에 ㄱ지ㅁ 베베 하고 싶네
-
네~
-
나무위키 마이클 잭슨 마룬5 폴 메카트니 등등 락/팝 문서 상단에 앨범 틀 있는데...
-
공익 알아봤는데 복무기간 3년 실화임??ㅅㅂ;; 법무관 군의관도 3년이라...
-
ㅈ노잼임
-
기타를 못 고르겠어요
-
https://orbi.kr/00067890648/%EB%B9%A1%EC%B9%A8%...
-
메인 뭔일임? 3
누가 뭐 자랑했음?
-
-
문과라 이과는 잘 모르는데 들은 바로는 서성한 중에서 제일 좋고 연고 문과랑도...
-
지금부터 걸으면 0
홍대 몇시에 도착하지 카와카츠 먹고 싶다
-
바보야?
-
‘님도 안 씻으셨어요?’
-
우짠댜
-
고닉 아니더라도 유의미하게 오르비를 이용하는 사람 중에 연치 있음?
-
ㅋㅋㅋ병신들 2
뭐 병신아 킥킥
-
선착순 2명 8
1000덕
-
자급자족이 가능하도록 노력해볼께
-
닉변할까 0
올리부엉이
-
ㅋㅋㅋ병신들 5
-
부터 들어도 될까요 지금 라이브반 중도합류하기엔 너무 늦은거 같아서.. 그냥 문제집...
-
그냥 갑자기 반에 들어갈때 같은반 남자애가 나보고 "@@이 왤케 여자같이생겼지"...
-
히히 발사발사 5
발사!!!!
-
무반응
-
다양한 장르로 섞어서 쉐킷 이거 쓰고 마감하고 잘 거임
-
전공 못살리는 백수 많음?
-
아니 롤할라그랫는데 16
집에가지마 쓰다가 시간 다갔네
-
설경vs고경 4
인프라,아웃풋 등등.. 압도적으로 차이 큼?? 개인역량으로 커버칠 수 있?(금융권)
-
ㅋㅋㅋ 병신들 9
모 기하 아조씨가 부탁하신 그림 나왔습니다
-
의대.. 다들 수업 개강하면 서로 다 몰라서 뻘쭘할듯.. ㅋㅋ
-
기분이 좋네요
-
❤️❤️
-
조예 깊은 쥔장이 직접 말아준 째애즛마,
-
뱃지만 받고 탈릅을..
-
이래봬도 남자임 3
키도 작은..
-
꼴보기싫음 정작 들어가보면 어그로성글 시간낭비만 ㅈㄴ시키고 보나마나 현생에서 산소낭비도 ㅈㄴ할듯
-
고3때 많이 올려봤자 한계가 너무 분명해보임..ㅠ 그리고 수시랑 정시 같이 챙기는...
-
소신발언 11
여기 순수 기만하려고 오는 애들 꽤 있는데 진짜 개병신같음 그리고 그런 불순한...
-
ㅈㄴㅂㅇㅇ닉하고 돌아다니긴할듯
-
기출변형임
-
수험생활할땐 참 재미없던 공부가 대학만 들어가고 할거없어지면 재밌어지는데 저만 그런가요
-
-
모두가 음 그랬군 하긴 했음 1학기에 매일같이 퍼마시다 2학기에 갑자기 사라져 버려서
-
우린 다 깠었는데 오래사귄것도 아님 ㅋㅋㅋㅋㅋ 난 이해불가…
-
본인 초5아래로 기억 아예없음 초등학교때 기억이니 많이 휘발됐을수 있고 기억나는대로...
-
가짜: 헥헥여르비쪽지보냇습니다 진짜: 댓글이든게시글이든 보이지않다가 슬쩍쪽찌를건네는...
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ