외국사이트에 올린 글 그대로 올려봄
게시글 주소: 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를 선물하세요.
-
오겜 개노잼이노 1
뭔 하루종일 밀고있음
-
당당하게 show and prove~
-
육군가서 가챠돌리셈 고점은 육군을절대이길수없음 육군최고점이면 ㄹㅇ 집에는못가지만 공익마저쳐바름 ㅇㅇ
-
이왜진
-
나 울려줘 4
우응
-
궁금한게 있음 7
수학은 물 관련이고 화학은 불 관련임? 푸하하!!!
-
그래서파스타시킴
-
그렇다고 에어컨 안키고 버틸 수 있을 정도는 아니네 날씨 ㅈㄴ 애매하노
-
확통이고 6모 80점 15.21.22.29.30틀렸습니다 수학 맨 앞장도 못 푸는...
-
전투기가 그렇게 청력에 안좋다고 한다.. 대한민국의 영공을 수호하는 공군장병들 화이팅입니다!
-
막막했는데 찾아부렸쓰
-
작수 5에서 이번 6평 1까지 올렸는데요 기하러라서 이게 의미있는 1이라고는...
-
윤사 0
윤사 시작하려는데 윤사 잘생긴 윤리듣고 기시감풀고 수특수완 풀고 모의고사 풀다가...
-
인문논술 과외 0
화상과외 진행하시는 분 없나요 ㅠㅠ 추천 부탁드려요
-
최고차항 계수 1 x=a, 1 변곡점 a,b를 구하시오 1. 그냥 인수정리로...
-
아무도 못맞추네 2
하 ㅋ
-
노 5
무
-
ㅈㄴ 당황스럽노
-
인도 그 조그만한 지역 방글라데시 네팔 통과해서 조금 타이랑 만나는 그 지점을...
-
국어 60점이 목표입니다. 글 아무리 시간많이주고 여러번 읽어도 무슨말인지...
오 쿠쿠리 영어도 잘하네
외국애들이 답글 뭐래요??
덧글 다는데가 없는 사이트임..
그리고 번역기임..