외국사이트에 올린 글 그대로 올려봄
게시글 주소: 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를 선물하세요.
-
짝녀가 있는데 2
너무 친해지고 싶어..ㅠ
-
어제 지 게임 하고 싶은데 내가 발표 때문에 hwp 써야해서 컴퓨터 썼다면서 그게...
-
한번과외해보면 다른알바못함.. 과외가ㅈㄴ편하지
-
보통 시험볼때 않은에 밑줄 쳐져있는데 그릿은 뭔가 밑줄이 곁쳐져있거나 얇아서...
-
오늘의 수확 4
드디어위치벡터까지감잡음
-
같은책맞나 마지막 몇문제는 벌써 어지럽군
-
도대체 소변을 안봤다는거임? 대변을 안봤다는거임? ㅋㅌㅋㅌㅌㅌㅌㅌㅌ
-
후
-
그 시간에 수1, 선택을 더 하자 자기객관화 ㅁㅌㅊ
-
역시본가가좋다 1
한달에 한번꼴로 오니까 올때마다 동네가 바뀌어잇네
-
분명 메가 문제은행에 10
내 마음대로 기출 이것저것 담아서 문제지 생성 ㅆㄱㄴ이었는데 왜 안보이지 기능 사라짐?
-
동사 자작문항 입니다 덕코 받으시려면 답만 적으면 인정하지 않고 간단 해설을 반드시 첨부해야 합니다
-
이제 공부 시작하려는 반수생입니다 물1이 작년부터 너무 표본이 고이고 수능에서 하나...
-
찾아봐도 안 뜨는데 ㅜㅜ 정법만 듣고 싶은데 방법 없겠죠?
-
라고 생각하셈
-
그래야만 함.
-
학벌만괜찮으면
-
ㅠㅠ 0
30분만 더 공부하려고 햇는데 스카에 모기 잇어서 무서워서 걍 집옴
-
악당들이나타낫다 3
아주나빠보여우리낯짝
-
미친놈들이 사탐공대 열어놔서 졸지에 사탐런한 이과충됨ㅅㅂ
-
수학 3등급 0
수학3등급인데 기출만 완벽히 하면 2초는 나온다해서 지금 스블로 다시 복습하고...
-
6 9 수능이 그해 수특 수완 난이도 어느정도 반영함? 4
평가원이 감수한다매 수특 수완 출제기조랑 기출문제로 문제내지않겠음??? 김기현...
-
강대도 강k안만들던데ㅅㅂ 서바는 뭔 회차당 5만원에 팔더라시바
-
제 생일 맞춰보실 분 27
천덕드림
-
재밋어?
-
병들엇어
-
수학 야무딱진 4점 기출만 싹싹 모아둔 기출문제집 ㅊㅊ 수1,2미적 합쳐있는거면 더 흥분되고 ㅇㅇ
-
저녁폭격 4
-
비율 얼마정도임
-
가 평가원에서 많이 나오는게 맞나요? 발췌독까진 아니여도 그냥 대응하면 정보...
-
ㅈㄱㄴ
-
격기3반은 언제
-
수업 끝나고 상담가니까 내 앞에 애도 확통런치고 공부 어케해야하는지 똑같이 상담하고...
-
왜 오르비에서 이번 지구 쉬웠다는 평이나왔는지 알겠다. 0
6평 볼때 기출 안하고 쳐서 난도 파악을 젼혀 못했었음. 그래서 시험 끝나자마자...
-
강기원 모고 1
강 모고는 몇개없다는데 컨텐츠 부족으로 김현우로 갈아타야하나?
-
이화여대가고싶다 0
이화<<<ㅈㄴ명문대느낌 중앙<<<ㅈㄴ중위권 비명문대 느낌
-
이번 6모(화,기,화1,생1) 42111 원점수(81,88,46,44) 이렇게...
-
검색해보고 가야할까..? ㅈㄴ 많은데 심찬우들어요
-
24학년도 7월 학력평가 8번이에요 오늘 풀이 올려주시는 분께 5000덕 드릴게요!...
-
이 무조건 점대칭의 중심점을 지나나
-
미적 만점 101점으로 바꾸는거 어떰
-
한편으론 8문제만 나오는게 뭔가 억울하네 심지어 그중 5문제는 3점이라 사실상...
-
걍 개 열받음
-
N제는안풀어봤고 교육청 평가원만 뺑뺑이돌렸는데 앞으로 뭘 해야할지 모르겠어요ㅠ...
-
사탐 진짜 ㅈ노잼이네 공부 개하기싫네
-
벌써 42랩 2
레전드옯창
-
어차피 서바는 번장으로 꺼억할 것 같긴한데
-
뭐먼저 할까요 지금 미적 푼건 4규 드56 드릴드2 샤인미
-
ㅈㄱㄴ
-
이번 수업부터 안가람쌤 다닐 예정인데 지금 들어가면 보통 어느정도 난이도임? 준킬러 킬러?
오 쿠쿠리 영어도 잘하네
외국애들이 답글 뭐래요??
덧글 다는데가 없는 사이트임..
그리고 번역기임..