외국사이트에 올린 글 그대로 올려봄
게시글 주소: https://orbi.kr/00073613306
Math destruction
Proof of the relationship between contradiction and falsity
Contradiction<->(p and not p)<->False
Contradiction<->False
The contrapositive is
No contradiction<->True
-------------------------------------------------------------
Proof by contradiction
1. (A is false->Contradiction)->(A has proof)
The contrapositive of 1 is 2.
2. (A has no proof)->(A is false and no contradiction)
No contradiction<->True
3. (A has no proof)->(A is false)
The contrapositive of 3 is 4
4. (A is true)->(A has proof)
-------------------------------------------------------------------------------
5. (A is an axiom)->(A has no proof)
Connecting 3 and 5 is 6
6. (A is an axiom)->(A is false)
The contrapositive of 6 is 7
7. (A is true)->(A is not an axiom)
--------------------------------------------------------------------------------
8. (A is an axiom)->(A is true)
Connecting 4 and 8 is 9.
9. (A is an axiom)->(A has proof)
Contrapositive of 9 is 10
10. (A has no proof)->(A is not an axiom)
--------------------------------------------------------------------------------
5 and 9 are contradictory.
6 and 8 are contradictory.
explosion.
-----------------------------------------------------------------------------
9 is false
8 is also false
Because Connecting 4 and 8 is 9
4 must be true if "Proof by contradiction" is true
Therefore, the negation of 9 and 8 is true
The negation of 9 is 11
11. A is an axiom and A has no proof
The negation of 8 is 12
12. A is an axiom and A is false
13 is true
13. (A is an axiom) and (A has no proof) and (A is false)
6 and 7 is also true
공리는 거짓이라는 증명임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
임정환 임팩트 0
주차 마다 되어있는거 하루에 한강씩 듣는게 낫나요 하루에 한 주차 다 듣는게 나을까요?
-
저능충임
-
가능할까요? 4
제발
-
지마세요
-
신이 나서 날아갈 정도로 웃었던 날도~
-
빈칸 맨날 풀때마다 1개맞고 3개틀리는데 선지가 좀 ㅈ같은거같은데 저만그런건가요?...
-
아 내신입니다 스발
-
쎈이냐
-
역시 돈이 짱이야
-
결정을 내릴 때 발생하는 신경 사건이 있기 전에 그가 어떤 선택을 할지 알게 해...
-
작수 5에서 이번 6평 1까지 올렸는데요 기하러라서 이게 의미있는 1이라고는...
-
숨이 턱턱 막히네..
-
넌 익숙할대로 익숙해진 원래의 너의 자리가 질려 자리를 바꾸겠지. 사실은 그게...
-
1706 수가 3
만표가 124인가 그랬음 ㅋㅋㅋ
-
왜 미기 1컷 2점차밖에 안남
-
-
특히 과탐은 보수적으로 생각하며 공부하는게 좋음 1컷 92라 생각해서 적는 글 아님
-
국평오래잖아 1
그럼 5등급만 넘기면 잘한거지 너무 엄격하면 살기 힘들다구 오뿌이드라
-
드디어 오운완 0
오겜 보러 ㄱㄱㄱㄱㄱㄱㄱㄱ
-
수능수학 질문ㄱ 40
5시까지 달린 댓글까지 질문팁: 현상황 구체적으로 말하지 않으면 일반론에 대한 대답만 들을수 있음
-
벡터방정식 해석이었는데..
-
오로라패스 지르려고하는데 개설된 강의목록보고있는데 커리큘럼엔 나와있는데...
-
동시에 병행해서 2주컷 고고혓
-
주워서 먹어야징
-
다른 건 모르겠는데 1등급이면 기출을 열심히 봤을거라 생각하는건 10
과대평가임 ㅇㅇ
-
수능끝나고할것 2
과외교재쓰기 시발점미적기하듣기
-
쎈 한번 돌릴까요 수특을 할가
-
애매하게졸리다 23
-
잘 풀겠습니다아
-
시작 끊은 글 링크 좀
-
나 은테로 돌려주셈
-
1컷 96 2컷 92 13
가끼야아아악
-
-
평가원의 친절함
-
올리베이라 승리 기원 10
토푸잡고 챔 복귀 하기를..
-
시험장에서도 연습할때도 실모에서도 여기서 자꾸 시간이랑 멘탈소모됩니다 ㅜㅜㅜ 의문사도 많이당하고 흑
-
2026 06 28 38
변곡점 갈 것도 없이 y=a 움직이면서 만나는 개형상에서 미분계수 0인 지점...
-
나오면 원서 ㅈ되는 거
-
어제 직보때 몰라요만 연발하더니 기만이었나 반 1등한듯
-
수학은 이제 어느 정더 된 것 같아서 과탐 국어 올인을..
-
1컷 42일땐 조지고 44일땐 간간히 50 나오네... 제발 수능때도 이렇기를,......
-
영어 단어 1
제가 단어가 약해서 혹시 추천 해주실 영어 단어 앱이나 단어 암기 방법같은거 알려주실 수 있나요?
-
아 0
ㅇ ㅏ
-
굿밤.. 5
잘자요
-
항상 칭찬만 해주시는 지도교수님 자기가 다 하겠다고 서로 손드는 조원들
-
6모 수학 수능이었으면 16
1컷 88이었을까요? 주변에서 자꾸 겁주는데 최소 백분 98은 확보해야 안정적인데...
-
스카에서 공부못하겠어서 8월쯤 갈려하는데 ㅋㅋㅋ
-
최근 생활루틴 공개. 14
9시 기상 웹툰보면서 바닥에 누워있다가 2시 반에 일어남 기립성 저혈압을겪음...
-
잘보면 뽀록이고 못보면 실수임 수미잡 머리에 때려박아라 서바 60분컷해서 100점...
-
재수학원 다닐때 먹었던 급식 식단 보는중 현기증나노
오 쿠쿠리 영어도 잘하네
외국애들이 답글 뭐래요??
덧글 다는데가 없는 사이트임..
그리고 번역기임..