외국사이트에 올린 글 그대로 올려봄
게시글 주소: 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를 선물하세요.
-
어떻게 되려냐ㅏ ㅋㅋ
-
국어황들아 1
이거 몇년도 기출인지 아시는 분ㅜㅜ
-
아무도 안버림 like 의대 반수생
-
오랜만에 올립니다
-
사탐런이 얼마나 심해질지 참.....
-
^ㅣbal ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
작수 기준 화확 영 사탐2 일때 사탐(99)+확(96)+화작(95) 영어1에 백분위...
-
과탐 궁금한거 1
생지도 망했다 하는게 난이도보다 등급컷이 높게 나와서 하는 말인가요??
-
그냥 혼자 공부하다 이번에 독재학원 갈까 생각중인데 집에서 걸어서 15분거리에 잇올...
-
언매 3틀인디
-
오빠 좋아행ㅎ 0
혹시라도 오르비를 본다면 연락줘… 히히 시험 잘봐
-
머리도 멍청해진것 같고 해야할게 많은데 시간만 흐르고 빌런들 때문에 스트레스만...
-
저기서 국어 더 올리는 것보다 영어파서 안정1 만드는게 효율면에서 넘사같아보임
-
2025 수능 기준 확통은 세젤쉬 쎈b 기생집3점 수1은 어삼쉬사 세젤쉬 수특 쎈b...
-
오히려 사교육에서 평가원이랑 수 싸움에서 머리쓰면 좋은거 3
연계지문중 나오면 ㅈ될거 같은거 수능 직전에 실모에 넣어서 평가원이 모니터링하게끔...
-
사1 과1 할까 1
언미사1과1으로 이론상 어디까지 가능이에요?
오 쿠쿠리 영어도 잘하네
외국애들이 답글 뭐래요??
덧글 다는데가 없는 사이트임..
그리고 번역기임..