수학의 파괴와 재창조 증명
게시글 주소: 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를 선물하세요.
-
-
2등급 가능성 있긴함
-
3모 현역 2
조졌네… 언매 84(어휘 왜틀림) 미적 78(2점짜리 틀린거 ㄹㅈㄷ..) 영어 3...
-
태평양전쟁때 미군은 일주일에 항공모함을 한대씩 찍어냈다던데 2
나도 일주일에 한개씩 모의고사 찍어내는 능력자가 되고싶다
-
서울시교육청 느린거같아서 걍 올림
-
9번 어휘 문제 틀린거 레전드네 진짜
-
사설도 안틀리는게 교육청 3점이 나갔네
-
차라리 날 죽여라
-
국어 67 미적 92 / 22, 30틀 영어 76 물리 34 지구 45 망한듯;;
-
좀있다 풀어본다 1
저 5분 타이머 지나면 시작이다
-
나같은 버러지도 풀 수 있게 해줌
-
3모 2
수학 한국사 정법만 풀어봐야겠다
-
규명하다 해체하다 그 문제 학교에서도 답 계속 의견이 분분함
-
국어 1컷이 80점 언저리 예측된다는건 도대체 얼마나 어려워야 가능한거냐...... 개쫄리네
-
대신 4번 6번 9번 10번 19번 틀렸네요.. 이제 확통해야된다는게 너무 슬프다
-
모순과 거짓의 관계 증명모순(p and not p)거짓 모순거짓 대우명제는...
-
나만 그런가..
-
1컷이 39점인가요?
-
평소엔 a빈칸 b빈칸에 각각 들어갈 내용이 정해지는데 이번엔 상관관계 형태로...
-
첫번째 댓글의 주인공이 되어보세요.