외국사이트에 올린 글 그대로 올려봄
게시글 주소: 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를 선물하세요.
-
커뮤 진짜 어캐 줄임? 12
오르비뿐만 아니라 다양하게 하는데 아침에 눈뜨면 폰부터 킴
-
생스퍼거임
-
키만컸으면 5
키 진짜 남들만큼도 안바라고 173까지만 컸으면좋겠다 이건 여자 합격이잖아
-
술마시고 안자면요
-
너넨 전자? 후자? 14
음..
-
-
감수하지말고 견뎌야지
-
다른사람들 지1풀때 혼자 생2푸는 기분을 느끼고 쳐다도안봄
-
자리 안나면 버스타고 30분가야돤다고.....
-
잘자요 6
예
-
토요일 공부 끝 7
일요일 얼버기
-
언제 이렇게 나락갔지
-
약간 예민해져야하는 시기에 예민하지 않고 밝기만 해서 뭔가뭥가임
-
내 이상형은 12
이상한 형
-
방금 영어듣기함 4
금수새끼임 걍 안하고 싶음
-
이해원 다음 n제로 어떤거 먼저 풀까요? 6모는 15,22틀인데 이해원 이거...
오 쿠쿠리 영어도 잘하네
외국애들이 답글 뭐래요??
덧글 다는데가 없는 사이트임..
그리고 번역기임..