[모든 참인 명제는 부정해도 무모순임 증명]
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
난 사실 이미 서울대학교 학생임
-
리바이가 될 수 있을 줄 알았다. 하다못해 운좋게 살아남는 프록이라도 될 수 있을...
-
호우 0
환전지연없이 안전한사이트입니다 각종다양한 이벤트도 진행중입니다 호우평생 com
-
지금 돌아보면 11
부모님 말씀 드럽게 안 들었네
-
창가에 비친 내 와꾸가 너무 못생겨서 우럿서 예쁜게 처ㅣ고야
-
개웃기넷ㅇㅋㅌㅌㅌㅌㅌㅌㅌㅌㅋㅋㅋㅋ
-
각각 몇점으로 합격/예비 번호 부여 받으셨나요?,
-
파트1이랑 파트2 뭐가 다름? 파트1만 다운받아서 내용 봤는데 4단원까지 있길래
-
벌레가인생의낙이던시절....
-
그런건없습니다
-
ㅈ간지나잖아
-
최적t 정법 단권화노트만 보고 공부허기 왜케 힘든 느낌이지 4
내가 ㅂㅅ인건가 개념들만 많이 적혀잇는대 뭐가 뭔지 구분이 안됨 본책 보고 예습...
-
히히힣 1
칭구들이랑 술마시고 노래방왔는데 ㅎㅎ 냐 칭구들 너무 좋다 ㅎㅎㅎ
-
어디고름? 전국 1등부터 1컷까지 랜덤임 다른 본인의 상태는 그대로
-
진정한 저능 1
내 얼굴
-
세이퍼트 은하처럼 내가 발견한 천체에 내 이름 붙이고 싶었어
-
4뜸 ㄹㅇ 1번부터 다 찍음 ㅋㅋㅋ
-
저능메타 1
엔제 택배 챙겨서 독서실 갔는데 필통 안 챙겨서 돌아왔음 근데 독서실에서 카드키 안...
-
. 7
넵
-
연대는 조발안하고 등수는 밀리고
-
중딩수학을 C받는 저능함
-
따스한 방에서 잘 수 있음 된 거다
-
저능메타 탑승 8
안면인식 장애 비스무리하게 잇어서 선생님들은 ㄱㅊ은데 학생들 얼굴 못 외움......
-
레전드 저능행동 3
운전면허 2종보통 5수함
-
이화여대 아웃풋 0
류호정 보현 윤미향 서영교 김은혜 수호신
-
단리법 복리법 적금 연금 예전에 안나온다고 들은거같은데 수능 출제 안되나요?
-
잡담태그좀달아주세요제발 12
정신이나갈것같습니다
-
승제샘이 “확률과 통계는 올바른 풀이를 학습하면 안된다, 내 풀이에서 어느 부분이...
-
홍대 추합 0
이번에 60명이상 뽑는 홍대과들 3바퀴는 돌까요..?
-
저능아 메타 4
지하철에서 반대방향 가는 거 잘못 타서 내린 다음 정방향으로 탔는데 역 놓쳐서 다시...
-
교대 주변 신사골 감자탕 8000원 뼈해장국 서울교대 오면 한번 가보세요
-
8등급 받음 2점인데… 0점 받아야 9등급인듯
-
태어나서 국어공부라는걸 처음 해보는거긴한데 .. 벌써 4주찬데도 성적 그대로네요...
-
제 경험상 6월 3주차에 1학기 끝났는데 30일에 입대하면 군휴학이 됨...??
-
한당 50정도는 걍 기본인가요? 제가 잘 몰라서요
-
강남대성의대관 / 시대인재 둘 중에.. -강대는 288점이라 식비.컨텐츠비등만 내고...
-
저능메타 탑승 2
좌극한이 뭔지 잊음
-
또 1등 밀리니까 또 불안증 도짐 아제제제제제발
-
연대 상경 0
1학년때 경제학부나 응통으로 반? 소속이 옮겨지는걸까요 아님 상경계열이라는 새로운...
-
아직도 실크송이 나올 거라고 믿는 거 보면 저능아가 맞다 그래서 이새끼 대체 언제 나옴?
-
https://github.com/Minimert989/orbiproject
-
일본애들도 그렇더라 지인 프로필에 北大 써있음
-
아닌분들도 당연히 고득점 많이 맞으시잖아요? 그런거보면 그런분들은 영과고 준비를...
-
ㅇㅈ 13
저녁먹을 생각에 군침이 싹
-
저능대결 8
공군안가고 육군감
-
저능메타 ㄱㄱ 1
고 2때 버스에서 자다가 시험날에 지각해서 시험 못봄
-
기만하고 싶은데 12
이미 너무 많이 떠벌리고 다녀서 더 이상 기만할 게 없음
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ