외국사이트에 올린 글 그대로 올려봄
게시글 주소: 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
아이 쉬워라 하면서 15분컷을 내도 채점해보면 도표는 다맞는데 개념을 우수수 틀려서 3~4등급이 뜸
-
노 5
무
-
ㅈㄴ 당황스럽노
-
인도 그 조그만한 지역 방글라데시 네팔 통과해서 조금 타이랑 만나는 그 지점을...
-
3ㆍ5모는 2등급 / 6모는 3등급 나왔는데.. 솔직히 제 점수 아닌 것...
-
국어 60점이 목표입니다. 글 아무리 시간많이주고 여러번 읽어도 무슨말인지...
-
언기영사문세지 0
Let's go
-
힝..
-
집에서 차타면 30분, 버스타면 1시간 거리 전 대면과외 경력은 없고...
-
존나 시끄럽네 후… 오늘 시험 끝난 날이니까 봐준다
-
젭알 ㅠ
-
저는 진짜 존나 어려워서 9번부터 막혔는데 이거 원래 어려운건가... 풀어보신분들...
-
꽤 있나요? 기숙 300은 그냥넘던데 진짜 많이다니던데
-
정법 만점 가보자!!
-
다 귀찮 아 3
-
신천지 당해버림 2
기분나쁨...
-
공스타보다가 0
주식 시드가 7억인 사람을 봣는데 현타가 좃나게 오네
-
오르비 팥취당하면 똑같이 끊음 ㅎ
-
그니까 오겜은 3
1 - 2 - 3 순서로 도파민 펑펑 - 노잼 - 씹노잼임?
-
수능 망하고 울었음
오 쿠쿠리 영어도 잘하네
외국애들이 답글 뭐래요??
덧글 다는데가 없는 사이트임..
그리고 번역기임..