외국사이트에 올린 글 그대로 올려봄
게시글 주소: 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를 선물하세요.
-
완구류 GOAT시여.... 오늘도 가르침을 얻습니다
-
얘들아 4
이 형/오빠가 너네들 사랑하는거 알지? 쑥쑥 자라서 좋은대 가라~~
-
SBS에서 주최했던 행사인데 어쩌다보니 알게 되서 인턴으로 갈 기회가...
-
어려운 수학 문제는 실수없이 푸는 데 왜 쉬운 문제는 왜 이렇게 틀릴까?
-
28 30중에 하나는 맞겠지 크아악
-
잘 풀겠습니다아
-
주말에 휴대폰 쓰고 돌아와도 되나요??
-
숨이 턱턱 막히네..
-
국어 ㄹㅇ 어케 해야할지를 모르겠음.............대성 1~4타들 연간커리...
-
저희 학교가 이제 시험이 끝나서 공통수학2를 공부하려하는데 제가 또 5등급이고...
-
ㄹㅇ
-
벡터방정식 해석이었는데..
-
숙모의 여동생,숙모의 부모님 외가랑 한 집처럼 사는데 우리 외가랑 숙모네 가족이랑도...
-
없죠? 9모 응시과목을 사탐으로 변경신청 하기위해 모교 가서 사탐으로 변경하려고...
-
이번 과탐 4
나 물리 5등급인데 이번 과탐 1컷 50점임 ㅇㅇ 반박안받음
-
가능할까요? 4
제발
-
우리지역 특) 3
오르비에 공개한 적 없음
-
국어 하루에 6시간으로 늘린듯 기출공부만 거의하고있어서 문제도 좀 풀어야하는디.....
-
물리1 질문,, 1
3순환 충돌+상대속도 응용 문제 풀고있는데 상대속도 미지수 세우는게 힘듭니다 ㅠ...
-
특히 고1의 경우가 되게 심함
오 쿠쿠리 영어도 잘하네
외국애들이 답글 뭐래요??
덧글 다는데가 없는 사이트임..
그리고 번역기임..