[모든 참인 명제는 부정해도 무모순임 증명]
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
언매 확통 사문 지1으로 현실적으로 연세대 약학과에 붙기 위해선 백분위 어느정도씩...
-
수능 끝나고 10키로 빠짐 12/19-1/21 이사이에 체지방률 -4퍼...
-
심히 고민됨
-
뭔가 낭만있었어
-
제발
-
설명할방법이그거밖에x
-
또 다시 헤어져 야하는데 헤으응
-
일단 여자처럼 생겼다는거니까 좋은거죠?
-
진짜 자로 감 1
다들 잘 자
-
우리는 서로의 좋은 반창고
-
시대인재 반 1
못하면 강등될수도 있어여?ㅠㅠ
-
학원에 수시반밖에 없어서 그만두고 인강들으려고하는데요 학원쌤이 정시준비해도 무조건...
-
김상훈 커리관련 질문 17
1. 저 고정1인데 입문에잇는 고전시가나 단어뜻도 들어야 하나여 2. 문학론...
-
나도 여자강사 듣고싶다 10
김승리 강민철 강기원 이창무 조정식 오지훈 현정훈 크아아악
-
天安門 天安门 法輪功 李洪志 Free Tibet 劉曉波
-
메모장.txt 2
전여친보고싶다
-
23보다 업? 다운?
-
첫끼인 저녁은 설렁탕에 밥1/3 간식은 그릭요거트 시리얼!
-
확통 보는중인데 원순열부터 왜 서로 같은게 3개이면 순열애서 왜 3!로 나누어야...
-
물론 공부를 한건 아니지만..
-
근데 잇올 5
원래 남녀 따로 앉는거 아니었나 왜 섞어앉지?? 옆에 다 여자라 개부담스럽네
-
교재 구성 질문 2
기출 분석을 위한 책에는 기출 풀 셋이 들어가 있어야 된다고 생각하는데 말하고 싶은...
-
내향인 집 도착 6
씻고 롤체해야지
-
하루이틀 헬스장가서 개빡쎄게 하고 다음날부터 작심삼일되서 안하면 말짱도루묵인듯...
-
고등학교 졸업한지 얼마나 됐다고 ㅠ 난 아직 수능판인데 친구는 결혼함 ㅋㅋㅋㅋㅋ
-
오늘의 꿀팁 0
움직이기 귀찮을때 코딱지를 항문안에 넣어두면 나중에 똥싸면서 버려지기때문에 굳이...
-
만들어낸 결정체는 원래 제일 소중해보이고 잘생겨보임 나도 친척들사이에선 그소리...
-
반박 안받음
-
우동시키면 새우머리튀김도 같이 먹을꺼임
-
뭔 내용을 써야하지
-
재수 확정 났는데 4~5등급이 기숙학원 가려면 어디가 좋을까요...?
-
초성 몇단어 던져주면 단어를 각자 조합해서 가지고 옴 캬
-
어디 선호하시나용
-
이러면안되는데 저는 분명 라이트유저 . 어라
-
뭔가ㅜ이루고싶은게 있어야하는데 몸짱이되겟다<-상당히 장기적인 목표라 큰 감흥은 없고...
-
불끄고누움 10
자야할것같음
-
제얘기임
-
이 수 ㅁㅌㅊ? 8
-
아직도 모르게ㅛ네 오르비한지 좀 됬는데도…
-
이거 언급 없는거 맞냐 오르비 팝잘알들은 다 죽었네
-
251121 3
191121(가) 이때도x와2x+1이엇네
-
생2커리추천 2
2월을 맞아 생투 시작하려하는데 커리 추천좀 해주세요 투과목 자료 부족하단 얘기를 많이 들어서
-
본계는 2025kice 이거는 옯스타인데 아마 나중에 공스타로 쓸수도 있음요 부계는...
-
알바힘들어 ㅜ 0
좀 앉고싶다 ㅜ 사람이너무마나,,,,
-
예전이면 내 수시로 한의대 가능했는데 이제 경기권도 못감 9
그땐 대체 얼마나 적폐였던걸까
-
공수1도 꽤 어렵네요,, 빨리 돌리고 공수2 해야하는데 사실 12월에 했어야했는데...
-
그 하나의 대학 최저가 과탐 고정인 나 이걸 런을 쳐야해 말아야해
-
첫 과외 수업 진행해야 하는데 시간 감이 안 잡힙니다 0
시간이 남는거보단 부족한게 나은거같아서 충분히 준비는 해두었는데 한 번도 안...
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ