외국사이트에 올린 글 그대로 올려봄
게시글 주소: 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등급이 뜸
-
락 goat
-
‘좌파’ 맘다니, 뉴욕시장 경선 1위… 美정계-월가 ‘패닉’ 4
“100% 공산주의자인 미치광이 조란 맘다니가 민주당 예비선거에서 승리해...
-
존나 힘든 과정이군요
-
걍 졸업해버려?
-
양승진 선생님 기출코드 끝나고 뉴런or입문N제+기코복습 중에 뭐해야 할까요 6평...
-
;;; 계정 하나 파야하나
-
중학교부터 18번의 내신이 드디어 딱 하나 남았네 마지막 결과가 좋아야 기분이 좋다 ??
-
꼴리는 사람 있다 vs 없다 난 연예인 중엔 있고 주변 여자 중엔 없음
-
3번 선지 이어질수는 잇는거 아닌가요 이어진다 이렇게 단정하면 틀린선지겠지만
-
'고백했다가 상대가 거절하면 어쩌지?'이게 심리적인 압박이죠. 다시 안 보면...
-
왜? 일단 매체에서 얼마나 털리나 가늠해보고 얘네가 상식 지문형 문법은 이정도로하고...
-
다원 대기 180번대였는데 결제 되네???
-
국어황분들 도와주세요 브래턴우즈지문 세번째문제 질문있습니다 5
여기서 일번 선지 해설이 이 해설지도그렇고 대부분 강의에서도 국가 세개를 예로잡는것...
-
사문 수특 도표풀이 강의 누구꺼들을까요
-
메타 좆같네 4
해보긴 커녕 연애도 제대로 못하고 입시판에 있는 사람들 모여있는 커뮤에서 야스떡밥을...
-
도대체 소변을 안봤다는거임? 대변을 안봤다는거임? ㅋㅌㅋㅌㅌㅌㅌㅌㅌ
-
본인 실수라던지 발상같은거 정리 따로함? 내가 정리의 병신이라
-
올해 6평 느낌남 27문제는 쉬운데 3문제가 개빡임 ㅋㅋ 50분동안 3문제 풀어서...
-
찾아봐도 안 뜨는데 ㅜㅜ 정법만 듣고 싶은데 방법 없겠죠?
오 쿠쿠리 영어도 잘하네
외국애들이 답글 뭐래요??
덧글 다는데가 없는 사이트임..
그리고 번역기임..