외국사이트에 올린 글 그대로 올려봄
게시글 주소: 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를 선물하세요.
-
벡터방정식 해석이었는데..
-
숙모의 여동생,숙모의 부모님 외가랑 한 집처럼 사는데 우리 외가랑 숙모네 가족이랑도...
-
없죠? 9모 응시과목을 사탐으로 변경신청 하기위해 모교 가서 사탐으로 변경하려고...
-
이번 과탐 4
나 물리 5등급인데 이번 과탐 1컷 50점임 ㅇㅇ 반박안받음
-
가능할까요? 4
제발
-
우리지역 특) 3
오르비에 공개한 적 없음
-
국어 하루에 6시간으로 늘린듯 기출공부만 거의하고있어서 문제도 좀 풀어야하는디.....
-
물리1 질문,, 1
3순환 충돌+상대속도 응용 문제 풀고있는데 상대속도 미지수 세우는게 힘듭니다 ㅠ...
-
나 은테로 돌려주셈
-
특히 고1의 경우가 되게 심함
-
'천하의 '충주맨'도 이건 못 다룰 듯'…충주시장실에서 무슨 일이 1
충북 충주경찰서는 인사에 불만을 품고 시장실 문을 부수고 들어가 기물을 파손한...
-
수학학원에서 잘하는 애들이랑 쌤이랑 같이 한 문제 가지고 토론하는 거였음. 논리적인...
-
이러는 게 좋아 0
드디어..
-
그냥 궁금해서.. 물리교육과 쓸려고 하는데 공대보다 높나요..?
-
미친개념이랑 기출끝 끝냄 다음 뭐할지 추천좀 주변에선 N티켓하라 하긴 하던데...
-
왜 미기 1컷 2점차밖에 안남
-
굿밤.. 5
잘자요
-
문제 자체는 ㅈㄴ쉬운데 계산이 와이러노
-
진짜럽코애니에서보던풍경나오네 신기신기
-
허수인 강사입장에서 바라봤을 때 수학적 귀납법 진짜 어렵네요
오 쿠쿠리 영어도 잘하네
외국애들이 답글 뭐래요??
덧글 다는데가 없는 사이트임..
그리고 번역기임..