수학의 파괴와 재창조 증명
게시글 주소: 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 수2는 슬슬 4점 기출 들어갈 예정이고 쉬운 4점은 그래도 뚫는편인데 확통은...
-
독서론 + 어휘 4분 26초(9번 틀림 -2번) 언매 12분 59초(37, 39,...
-
2023 4의규칙이랑 2025랑 많이 다르나요???최근꺼 사야할까요??
-
진짜 퇴물 다됐네
-
알바도안구해진다 인생망함
-
언매 원점수 94점, 비문학 문학 언매 각 1틀 15번(이건 실수...), 33번...
-
73.84.73.40.41.48 언미영한물생 야발 영어 ㅈ같이 어렵게 냄 +생명...
-
돌아오길바래도넌없어
-
05년생 2409 1컷 88일때 저능아 소리 ㅈㄴ 들음 4
우우...
-
미적 88 정법 47 사문 41 국어는 나중에 아침에 풀어보려고 하는데.. 작수보단...
-
수면욕도 상실해버린.
-
반응 보니까 무섭네...
-
고3 현역이임미다 ㅠㅠ 이번 국어를 보고 다시 복기하려하는데 모든 문항을 근거...
-
음소거 뭐 이런 느낌인 건가
-
개념강의를 열심히 듣고 다시 보고 하는데도 해당 쌤의 팁 같은 건 실전적용이 전혀...
-
풀면서 진짜 뭐지 싶었음 작년 3모는 분명 이렇지 않았는데 ㅋㅋㅋㅋ
-
(20분공부)
-
사람들 공부 진짜 잘하는구나 1뜨고 높2인데 아쉽다고 하네 난 언제쯤 거기를 갈라나...
-
처음에 전체 정답지 보고 채점했는데 쌤이 정답지에 오류 있었다면서 저 공통 부분...
첫번째 댓글의 주인공이 되어보세요.