외국사이트에 올린 글 그대로 올려봄
게시글 주소: 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
싸가지 없음
-
케이스를 다 나눠야할까? 아니면 합공식을 작성해야 할까? 그냥 양변을 |S_3|으로...
-
수특이랑 수완 동일한 비율?로 연계되나요? 예를 들어 수특에서 더 연계를 많이 한다던지
-
Team06출발
-
너 아직 5년 밖에 안 됐어 제발 버텨
-
수학 문제량이 부족한 거 같아서 그러는데 문제집 추천 좀 0
그냥 n재 풀어도 될려나 수2랑 확통은 ㄱㅊ은데 수1을 드릅게 못해서 수1만 엔제...
-
킬캠 5회 재상승 13
5회 근데 진짜 개빡세네요 3모 60분, 5모 55분, 6평 30분 남았었는데...
-
독해지는 방법 4
저도 유튜브나 커뮤니티에서 볼 법한 성적상승을 이루고 싶은데 열심히 하는 게...
-
수1수2는 개정으로 들었었는데 이미 안다는 전제로 하는 느낌도 받고 뉴런 내용이...
-
복습할때 돈 값 하나요..?살까 고민중 입니다.
-
엔티켓 종합마무리랑 일반단원 난이도 갭이 너무 큰듯 1
일반단원 맨뒤 2문제 빼면 그렇게까지 어려운 건 없는데 종합마무리는 대부분 고난도만 있네...
-
이투스나 메가스터디도 들을지 고민됩니다
-
36/100 개어렵노 ㅅㅂ 3점짜리도 여러개 틀림 3등급 이하로는 n티켓 풀지마라
-
하다 못해 신문이라도 읽으면 사람들 앞에서 썰이라도 풀게 되더라고요. 2
중학생 때부터 지금까지 유지하는 습관 중 하나가 아침 6시에 일어나서 신문...
-
‘좌파’ 맘다니, 뉴욕시장 경선 1위… 美정계-월가 ‘패닉’ 2
“100% 공산주의자인 미치광이 조란 맘다니가 민주당 예비선거에서 승리해...
-
수학 실모는 재밋는데 오히려 30분 탐구가 체력이 더뺏김
-
무물보 10
이번주는 정말 힘든 한주였어요
-
이거 풀어봐... 17
개잘만들었네...
-
수정) 첫 문제 p의 최댓값 찾는 문제입니다. 재미삼아 몇개 만들어 봤습니다....
-
꼭 물어보고 싶은게 있는데......
-
그래프나 도형 추론 문제에서 미지수 조금씩 키워가면서 추가 조건 얻을 수 있는지...
-
버스라 눈풀 17분컷 성공
-
주변보면 남자나 여자나 외모가 뛰어난건 아닌데 본인이 맘만 먹으면 연애 쉴틈없이...
-
안녕하세요. 조언받고 싶어 이렇게 글 올려봅니다. 작년에 45323 받고 올해 지방...
-
큰일났네 16
92 92 2 92 97이 중앙대면 난 뱃지를 못 따겠네...에휴이
-
더러운 암컷이 내 피를 탐한다 으..
-
2달정도 읽었음! 독서 생각보다 재밌네
-
현재 개념,기출 한바퀴,수특 만 풀었는데 이제 뭐할까요 6모는 공통만 뽑아서...
-
'고백했다가 상대가 거절하면 어쩌지?'이게 심리적인 압박이죠. 다시 안 보면...
-
킬캠 1컷 96 100일듯 개쉽노 ㅋㅋㅋ 이러는데 얘네는 진짜 ㅋㅋㅋ 이런말들 그냥...
-
육군가서 가챠돌리셈 고점은 육군을절대이길수없음 육군최고점이면 ㄹㅇ 집에는못가지만 공익마저쳐바름 ㅇㅇ
-
어케 과제가 322문제냐
-
잡히나요?
-
정시의 벽이란 6
너무 높구나... 92 92 2 92 97도 내가 잘 봤을 때 성적일 거...
-
우울해요 8
아 숨막혀 안기고싶다
-
뭐요ㅅㅂ왜요 0
이사람저격한사람 누구임? ㅋㅋㅋ
-
그렇다고 에어컨 안키고 버틸 수 있을 정도는 아니네 날씨 ㅈㄴ 애매하노
-
확통이고 6모 80점 15.21.22.29.30틀렸습니다 수학 맨 앞장도 못 푸는...
-
오늘부터 안씻기로했다 11
물2 만점을 위해서
-
안녕하세요 여러분! 오르비클래스 영어강사, 김지훈입니다. 오늘은 영어 지문을...
-
주말에 휴대폰 쓰고 돌아와도 되나요??
-
국어 ㄹㅇ 어케 해야할지를 모르겠음.............대성 1~4타들 연간커리...
-
생일 맞춰보셈 42
힌트: 프사랑 관련도가 아주 강함
-
6모 정법사문 4747인데 왜 그러지? 정법4분남앗고 샤문 1분남겻엇는데 항상...
-
아무도 못맞추네 2
하 ㅋ
-
문학 5개년 기출끝내고 옛기출 vs 교육청 vs 사설 0
유네스코로 오개년 거의 끝나가는데 이후 방향이 고민되네요 오개년을 다시 회독을...
-
저희 학교가 이제 시험이 끝나서 공통수학2를 공부하려하는데 제가 또 5등급이고...
-
많이 줄수록 많이 착한 사람
-
이거는 오르비기준 닥후인가요?
-
제 mbti 맞춰보세요 14
이번에 바뀜
오 쿠쿠리 영어도 잘하네
외국애들이 답글 뭐래요??
덧글 다는데가 없는 사이트임..
그리고 번역기임..