수학의 파괴와 재창조 증명
게시글 주소: https://orbi.kr/00072605752
모순과 거짓의 관계 증명
모순<->(p and not p)<->거짓
모순<->거짓
대우명제는
무모순<->참
-------------------------------------------------------------
귀류법
1. (A가 거짓->모순)->(A가 증명있음)
1의 대우명제는 2.
2. (A가 증명없음)->(A가 거짓 and 무모순)
무모순<->참
3. (A가 증명없음)->(A가 거짓)
3의대우명제는 4
4. (A가 참)->(A가 증명있음)
-------------------------------------------------------------------------------
5. (A가 공리)->(A가 증명없음)
3과 5를 연결한 6
6. (A가 공리)->(A가 거짓)
6의 대우명제는 7
7. A가 참->A가 공리아님
--------------------------------------------------------------------------------
8. A가 공리->A가 참
4와 8이 연결된 9
9. A가 공리->A가 증명있음
9의 대우명제 10
10. A가 증명없음->A가 공리아님
--------------------------------------------------------------------------------
9는 거짓
그리고 8도 거짓
왜냐하면 4와 8이 연결된게 9인데, 4는 귀류법이 옳다면 참일수 밖에 없음
따라서 9와 8의 부정형이 참임
9의 부정형은 11
11. A가 공리 and A가 증명없음
8의 부정형은 12
12. A가 공리 and A가 거짓
12가 참이라는건
(A가 공리)<->(A가 거짓) 이라는 말임
따라서
공리<->거짓
모순<->거짓 이므로
공리<->거짓<->모순
공리<->모순
모순이 포함된 체계는 모든 명제가 참이 될수있음
즉,
공리가 모순이므로 모든명제가 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
기하 1
벡터, 이차곡선은 많이 쉬운데 공도 겁나 막히네... 하필 막단원에서 ..
-
넘 피곤해요...근데 배고픈거 같기도 해요
-
2025학년도 성균관대 수시, 정시 면접, 논술 기출(선행학습평가) 0
2025학년도 성균관대 수시, 정시 면접, 논.. : 네이버블로그
-
국수영만 쳤습니다국어(화작) 79 수학 (미적) 74 (11, 15, 22, 26,...
-
공부시간 2
오늘 첫 모고 보고 '아 공부좀 할걸' 하는 고1입니다 공부 많이하시는 분들 보면...
-
무서워서채점안했어 그리고담임말대로 수학 어려워보이는건 매정하게 유기함 그리고...
-
학교를 우리집 앞으로 옯기고 싶어 개힘드네
-
3모 성적 입갤 4
국어 66 수학 88 영어 74 한국사 40 생1 40 지1 40 매번 국어,영어만 낮네
-
아이디어가 나을까요 한완수가 나을까요? 빠르게 1회독을 할수있는걸로 추천 부탁드립니다
-
-
고3 국어 질문 1
오늘 3모 낮3 정도 나왔습니다 1.독서는 노베인데 어릴때 책을 좀 읽어놔서 한...
-
어어 안된다 정신 차리자 아으아
-
ADHD 환자 5년 새 3배 증가… 진짜 환자일까, 과잉 진단일까 5
ADHD(주의력 결핍 과다 행동 장애)를 의심하고 진료를 받은 환자 수가 최근...
-
‘질 좋은 일자리’ 정보통신·전문업종도 고용 불황 그림자 1
최근 게임업계는 ‘살벌하다’는 말이 어울린다. 엔씨소프트는 지난해 4월과 10월 두...
-
아닌가요? 지문에서 산들바람 부는 ‘듯’이라고 했으니 3번 선지의 그곳에서 부는...
-
ㅠㅠ
-
-
피디에프 프레젠테이션 자료 만들수잇는 사이트 없나요 2
온라인밖에 사용 못하는 상황이라ㅠㅠ
-
지금 상황은 그가 차기 President가 되기에 매우 유리하다 2
헉 경찰 수사 헉
첫번째 댓글의 주인공이 되어보세요.