외국사이트에 올린 글 그대로 올려봄
게시글 주소: 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를 선물하세요.
-
이매진 좋은듯 2
자연스럽게 연계공부하기 좋음 기억에도 잘남음 ㅎㅎ..
-
첫 글이자, 그냥 한탄 비스무리한건데 재작년 화미영지물66689에서 작년 화미영생지...
-
오늘의 tmi
-
자살할까?
-
사실 1
Sn 이차함수 그래프에서 (S_n - S_n-1) / (n - (n-1))...
-
개념이랑 기시감 병행하고 이후에 수특수완 풀고 실모가면되나요?
-
학점을 내놓아라.
-
수능에 투하하면 1컷 80 가능할라나?
-
작년 6모 44433에서 올해 6모 31111까지 올렸습니다 독재다니면서 했는데...
-
뭐먼저 할까요 지금 미적 푼건 4규 드56 드릴드2 샤인미
-
틀딱죽어 ㅜㅜ
-
ON 3
.
-
안녕하세요 4
질문받습니다
-
지금 다담800만 풀었는데 언매는 기출만 돌리는거 별로겠죠 컨텐츠 ㅊㅊ좀 해주시면 감사하겠슴둥
-
주어진 조건으로 [0,1]이랑 [1,2] ••• 에서 넓이가 다를수도 잇음? 왜...
-
-
ㅇㅇ
-
실력이 쌓이겠죠? 공부량은 많은것같은데 뭔가 잘 안느는느낌
-
솔직히 231122보다 어려운듯
-
라고 생각하셈
오 쿠쿠리 영어도 잘하네
외국애들이 답글 뭐래요??
덧글 다는데가 없는 사이트임..
그리고 번역기임..