수학 파괴 증명 업그레이드
게시글 주소: https://orbi.kr/00072658997
참과 모순의 관계
모순<->(p and not p)<->거짓
모순<->거짓
대우명제는
무모순<->참
------------------------------------------
1. (A가 거짓->모순)->(A가 증명있음)
대우명제는
2. (A가 증명없음)->(A가 거짓 and 무모순)
무모순<->참 이므로
3. (A가 증명없음)->(A가 거짓)
대우명제는
4. (A가 참)->(A가 증명있음)
------------------------------------------
5. (A가 공리)->(A가 증명없음)
3과 5를 연결하면
6. (A가 공리)->(A가 거짓)
대우명제는
7. (A가 참)->(A가 공리아님)
----------------------------------------
8. (A가 공리)->(A가 참)
4와 8을 연결하면
9. (A가 공리)->(A가 증명있음)
대우명제는
10. (A가 증명없음)->(A가 공리아님)
----------------------------------------
5와 9가 모순
6과 8이 모순.
모순이 존재하므로 폭발원리가 적용된다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
흠냐리 2
흠냐뇨이
-
주식을 하자말자 2
이게 학교를 다니면서 하다보니 수업 집중이 안되네 ㅋㅋㅋㅋㅋ 아오 국장 왜 들어가서
-
6모 신청할 때 2
패스나 여권 보여줘도 ㄱㅊ아여? 민증 술 먹고 잃어버럇는데..!
-
왜 학원이 시청 앞임?????
-
스토리 올라올 때 마다 죽고 싶네
-
의사가 다 워라밸 없이 돈 많이버는 줄 아는데 그렇지도 않음 공기업만큼 일하는...
-
쌓인 화가 많으니 사소한 일들에도 열이 뻗치지 에혀..
-
등교완 1
ㅡ
-
내 인생 마지막 대통령 탄핵심판 방청하러가고 싶다
-
그래서 지금은 작년에 리트 풀다 남은거 끄적이는 중인디 앞으로도 걍 강의 거의...
-
취르비 질받 0
사실 한병이라 거의 안취함
-
깔끔하게 손절
-
으흐흐
-
진짜 파라다이스네 그냥
-
아, 의대 꼭 보내준다고요?
-
다들 고대에도 친한 사람 있는 거야??
첫번째 댓글의 주인공이 되어보세요.