수학의 파괴와 재창조 증명
게시글 주소: 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를 선물하세요.
-
기하 초짠데 모르게써요. 원상xcos=정사영이라 생각하면, BC와 B'C'의 관계는...
-
내 돈 돌려내 2
....ㅠㅠ
-
비밀번호를 확인해주세요 비밀번호 찾기 존재하지 않는 아이디입니다 존재하지 않는...
-
-
공익 뜨겠지뭐 양극성인데
-
>>> 생윤 <<< 이거임 윤리교육과, 철학과 정도 거르고 생윤 제대로 가르치는...
-
2년동안 영어 하루 1시간이상씩 꼬라박고 3등급 탈출 못한게 사람새끼냐ㅅㅂ
-
몸에서 냄새 남 3
포켓몬빵 로켓단초코롤 냄새
-
제가 질문이 많아서 질의응답 자유롭게 할 수 있고, 학습에 대한 방향성을...
-
10초 있다가 바로 뺌 이 도시락은 렌지 넣으면 안되는구나
-
지목당한 사람은 수많은 덕코와 팔로우를 뒤로한채 5렙부터 시작하는거지
-
아니 에바야
-
사실 여긴 정시 커뮤니티고 아무래도 나도 칼럼보단 똥글을 많이 보고 내가 뭐 되지도...
-
열기에 바짝 말라버린 의성 마늘 모종… 시커먼 잿더미 된 영덕 송이-청송 사과 2
“올해 욕심을 내 대출까지 받아 모종을 2배로 더 심었는데…. 하늘도 참...
-
정답 상황이 1개인 문제에서(최댓값, 최솟값, 모든 ~의 합X)정답 상황 나오면...
-
뒷삭하지 말아줘 ㅠㅠ
-
심멘 완강했더니 6
막 국어 공부 관련해서 훈수두고 깝쳐보고싶은데 일단 1띄우고 오겠습니다 넵 죄송합니다
-
국어 재밌는디 6
아 성적이랑은 좀 다른얘기에요
-
-
궁금한점 1
중앙대 말고 한강뷰 대학 있음뇨?
첫번째 댓글의 주인공이 되어보세요.