[모든 참인 명제는 부정해도 무모순임 증명]
게시글 주소: https://h.orbi.kr/00071403001
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
안녕하세요 2
:)
-
ㅋㅋ 다시 생각해도 노어이
-
집 집 4
에 가지마 베베
-
참 애매하네 민간인이라기엔 알고리즘 절반이 일본어고 오타쿠라기엔 그 영상들이...
-
오르비 진짜 정시 발표까지만 기다리고 다신 안 들어온다 6
내년 수능 끝날 때까지 안 들어와야지 투투로 설의 쟁취해서 올거임 ㅅㄱ
-
차단리스트로 쓰세요
-
동시에 --> 곱한다 로 가르치고 끝내는 강사들 너무 많음... 동시에라는건...
-
2틀
-
애니프사들 와바 15
댓글에 귀여운 프사들 구경할래
-
니가 1
-
탑미드만 하면 맨날 지는 걸 보니 내가 범인인건가….
-
전공의 갈리던거 없이 어케 굴러감?
-
순대렐라<< 이분 너무 호감인데 저만 그런가요..?? 이분 때문에 저는 오르비 하거든요
-
XXOXXOXX 저 왜 온실 속 화초가 아니죠?
-
올라흐나 할까 4
집에 가지마 베베
-
의대 가면 해야할 것 13
수능보기
-
오늘의 폐기는 4
비싼거...!
-
영어 중학교때 3년동안 빠짝 해서 고1때까지는 공부 안해도 모고 1 뜨다가...
-
6년 쭉 만나고 결혼할 계획 세우는 중
-
2월 목표 1
2등급 맞기 화이팅 내 자x
-
어케했지 눈이 맵에 박혀있나
-
시대인재 8
결과언제나오냐
-
ㅎㅎ 9
기분이 좋네요
-
2월 8
-
평소에도 생각하고 있는 사람들과 그렇지 않은 이의 차이는 큰 듯 9
뻘생각이라도 계속 머리를 돌리고 있는 거라 매시간 가동 중이라는 점에서 공부할 때...
-
오우 2
지베가지마 베베
-
퇴물다댔노
-
2월의1빠 2
-
걍 조건 알고리즘 빅데이터 싸움아님?
-
그냥 과외도 하고 여행 다니다가 6월쯤 군입대 하려는데 ㄱㅊ??
-
문과생도 환영
-
내일 하겟습니다
-
작년에 공부 시작해서 수 상하 기본 개념정도는 아는데 복습겸 수학 상 하 쎈...
-
수면제 한 입의 여유 11
이제 겨우 2월이구나
-
작수기준 수학 쉬운 4점이 딱 어디까지라 보시나요? 7
그 13번 적분문제 까지는 쉬운건가요?
-
회랑 소주 2
-
윤성훈 선생님께서 밑줄 ㄱ을 보고 문화의 변동성을 특정지을 수 있다고 했는데...
-
흠…
-
올리려고 했는데 까먹고 이제 올림 서술의 편의상 F 프라임을 G라고 하겠다. (나)...
-
이제야 좀 살것같네
-
24학년도에 재수를 하여 수학 화학에서 1등급을 받았지만 국어 생명에서 아쉬운...
-
어3쉬4 풀 실력은 있는데 시간이 좀 걸려서 빠르게 못 처내는 거 같아서요 ㅠㅠ...
-
시대인재 수업은 죄다 13
심화부터 시작임? 개념 없나
-
국어 2509 98 수학 2506 98 영어 2511 3 세지 2511 100 사문...
-
어려웠나요? 책 수령을 못해서 아직 5주차 복영을 못받아서ㅜ
-
작년 중반쯤에 사탐해도 공대 지원 가능하다는 얘기만 흘러들었었는데 동생이 올해...
-
마지막 모의고사가 4-5등급 나왔고.. 짱중요한유형이랑 어삼쉬사 끝냈어요 학원에서는...
-
더하자고 하심 ㅋㅋㅋㅋㅋ 고시 적성 잘맞으면 쉽게붙고 스카이애들 머리 믿고...
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ