외국사이트에 올린 글 그대로 올려봄
게시글 주소: 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를 선물하세요.
-
정법 만점 가보자!!
-
다 귀찮 아 3
-
평면벡터 이놈 때문에 다시 미적으로 돌아갈까 고민하는중임 미적 다시하는거 어떻게 생각함
-
신천지 당해버림 2
기분나쁨...
-
공스타보다가 0
주식 시드가 7억인 사람을 봣는데 현타가 좃나게 오네
-
오르비 팥취당하면 똑같이 끊음 ㅎ
-
야 6
맞팔하자
-
그니까 오겜은 3
1 - 2 - 3 순서로 도파민 펑펑 - 노잼 - 씹노잼임?
-
수능 망하고 울었음
-
재종 가고 나서 깨달앗슴 다시 스카에서 가볍게 하니까 살 맛 난당
-
구토남 1
젖닌남
-
못껴서 우렀어
-
수능 1달전 0
뭐할거임? 그냥 기출 볼려는데 다들 기출 볼거임?
-
아 내신입니다 스발
-
서울대 학생 학부모가 항의했다는 기사 보고 궁금해졌어요
-
자존감 0
자존감 높여주는 책 추천 좀…
-
-
주워서 먹어야징
-
https://link.yeolpumta.com/P3R5cGU9Z3JvdXBJbnZp...
-
ㅠㅠ
오 쿠쿠리 영어도 잘하네
외국애들이 답글 뭐래요??
덧글 다는데가 없는 사이트임..
그리고 번역기임..