외국사이트에 올린 글 그대로 올려봄
게시글 주소: 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
방학 끝날때까지 5주 김동욱 일클 - 7주차 전형태 언매 올인원 - 4강씩 5주...
-
-
공하싫 0
-
뭐 나도 ㅈㄴ틀리긴 하는데 진짜 막 독서만 절반 틀린다하면 일단 문장부터 읽어보셈...
-
이미지 한줄 분량 24
저렙 노프사분들은 이미지랄 것이 없답니다.. 프사있다면 가능! 뉴비 환영잼
-
250612는 생각보다 나쁜 문제가 아닐지도 모름 10
대칭성 풀이는 현장에서 절대 할 수 없는거같은데 함수의 성질을 잘 이용해서 풀면...
-
D-30 23
흐아아아아아아아아아
-
자다가 사람 죽이는 꿈을 꿨는데 (의외로 상당한 길몽..;) 살인기수의 경우에도...
-
딱 이맘때가서 눈 맞았던 것 같은데..
-
국어 기출 인강 듣는 게 좋나요?? 김동욱 선생님 일클래스 듣는데 피램 기출이랑...
-
오 쿠쿠리 영어도 잘하네
외국애들이 답글 뭐래요??
덧글 다는데가 없는 사이트임..
그리고 번역기임..