[모든 참인 명제는 부정해도 무모순임 증명]
게시글 주소: https://i.orbi.kr/00071403001
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
할까 고민인데 전부터 알바구인 보면 항상 공고가 올라와있음.. 거르는게 좋을까여
-
치킨 먹고 싶다 0
물론 어제 먹긴 했음
-
사탐런 뭐할까 1
예비고2정시인데 과1사1할꺼임 지1은 개념기출 한바뀌돌리고 두바퀴째임 시간도좀있고...
-
자러갈게요 3
오르비언들도 굿나잇
-
물회 먹고싶다 8
도다리 물회
-
네?
-
슬프네요,, 2
야식으로 피자를 주문했는데 안 써도 되는 돈을 쓴 것 같아서 슬프네요,, 그래도...
-
제 이름 뜻 맞혀 보실 분 수능장아찌
-
밥사줘어 4
맛잇는거어
-
저는 물화생지 중에는 그냥 물리가 좋았고, 그 다음에 화학이 좋아서 물1화1 하다가...
-
ㄱㄱ
-
제 지출의 대부분을 차지한 망할놈의 씹덕겜을 처음 알게 된 날임뇨
-
잘 산다
-
1,2지망 대학 모두 전추권일때 마지막날 2지망 대학 전화추합-->등록한다고...
-
2월부터 1일 1기출 할 것! 216과 함께하는 기출 분석!
-
구의증명 명언 명대사 인상깊은 책 구절 글귀최진영 작가의 소설 구의 증명은 출간...
-
기본이 안되어있는 애들한텐 답하기 너무어려움
-
사전투표 선거인명부가 서버에만 있으니까! 논란되는 몇군데. 서너군데만 사전투표...
-
순대렐라 << 얘 오르비에서 요새 비호감이던데 님들 어떻게 생각함?? 나만 그렇게...
-
원하는 게임만 보게되고... 그사람 생방 싹다 찾아보는정도는 안하게되더라
-
닉변마렵다 6
아아.....
-
아이민 4
몇번대부터 틀딱임?
-
난.. 3
뇌가.. 없어...
-
예비고2인데 수12는 우진이 개정으로 시발점 했고 고2집모기준 1컷에서높2정도 되는...
-
갑자기 작은 목소리로 '안녕하세요. 저는...가르치는....이구요' 라며 자기...
-
시간이 빠르다..
-
큐브 그만해야지 2
보이는 건수는 개많은데 계속 놓침..
-
언매 내신 5
기출 말고 내신틱한 문제는 뭔 문제집 풀어야함?
-
차가 너무 재밌어보임 무엇보다 너무 이쁨
-
월 500은 한학기 등록금급이냐 무슨 부모님 척추 360도 휘어서 오히려 정상화되겠네
-
자신감이 큰 남자라는 의미임 이상한거 아님
-
태백산 정상에 떨어진 물방울이 한강지나서 인천앞바다까지 가려면 얼마나 걸릴까?
-
⭐️ 연세대학교 중앙새내기맞이단에서 25학번 아기독수리들을 환영합니다 ⭐️ 0
⭐️ 연세대학교 25학번 아기독수리들 주목 ⭐️ 안녕하세요! 연세대학교...
-
(서울대 합격 / 합격자인증)(스누라이프) 서울대 25학번 단톡방을 소개합니다. 0
안녕하세요. 서울대 커뮤니티 SNULife 오픈챗 준비팀입니다. 서울대 25학번...
-
다큐 3일 서울대 축제편에서 나오고 몇년 후에 사시 합격하고 사법연수원편 출연
-
요즘유튜브광고 0
내용이랑은 관련없고 걍 여자애가 춤추고있는 배경에 tts랑 자막으로 시력영양제...
-
-
언매 양 5
생각보다 적은듯??
-
긱사 가면 아예 안할거같고 입시 시작하고 안했더니 안하게됌...팔면 근데 막상 후회할거같기도하고
-
운동해요 5
운동 좋아요
-
집밖으로 몬나가면 어캄..
-
고3인데 수학을 거의 안하다가 이제 수꼭필 듣고 시빌점 들으려고 하는데 쎈도 같이 해야하나요?
-
-
승리의 언확사지단 모여라 사문지구 사문지1 지구사문 사1과1 과1사1
-
안 망한다는게 근거가 뭐임?
-
그런 건 없다 게이야.... 장난은 여기까지고, 본인은 고1 3모부터 고2...
-
잇올 비싼거같던데 러셀 자습관 같은데만 쓸 수 있나
-
ㅇㅇ
-
머풀어야댐 간쓸개? 그것도 시즌 여러개던디
-
라고 쓰면 조회수 늘어난다함
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ