수학 파괴 증명 업그레이드
게시글 주소: 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
징짜루..
-
-
오르비 안녕 6
-
시발아 3
뭐 31세???
-
한끼에 패밀리 사이즈 피자 한판 쳐먹는거 아니면 왠만하면 빠짐
-
-
이개새끼왜안빠짐 으악
-
같은 독재 다니는 형님 있는 거 같음. 애매한데...흠
-
과팅=수능 2
무서운데 기대되기도 함 앰 시발;
-
-
ㅇㅈ 7
내 프사를 인증한다고 아 ㅋㅋㅋ
-
잘자라 10
소라빵들아
-
어머나 0
이렇게 많은ㄴ 관심은 처음받아봐요
-
-
프사를 바꿧어요 1
제하하라
-
대충 키빼몸 95 정도가 먹을 것도 어느 정도 막 먹고 엄청 비만도 아니고 좀...
-
미필들에게 고함 3
인스타를 절대 하면 안 된다
-
-
ㅇㅈ 17
아이 부끄러 금방 지워야지
-
하....
-
길고양이 핥기 7
낼름
-
163 75 2
인생이 서럽다 그냥
-
돼지 ㅇㅈ 2
BMI 20대임...
-
뚱뚱하니까 얼굴이 그따구지 하
-
이야
-
학원이랑 지금 사는 곳 거리가 조금 있어서 아침 6시 기상, 6시 20분 셔틀 타고...
-
ㅇㅈ 16
인데 중딩때 사진임
-
청필산
-
생윤은 내적 사악성을 잘못 가르치고 있다 - 칸트 특별편 0
*이 글은 필자의 뇌피셜과 드립이 난무하는 글입니다. 설명을 위해서라면 교육 과정의...
-
진지함
-
ㅇㅈ 14
얼굴이라고 한적없다
-
ㅇㅈ 7
귀여운 보리꼴리
-
반드시 해야겠어 폰이 문제다. ..
-
생각이 복잡할때 0
불안약 투척하니까 겁나 평온해짐 캬
-
닉변
-
ㅏ 삿포로 또 가고싶다 10
너무 좋았음ㅜㅜ
-
지역인재/지기균/농어촌 전부 다 안되면 생1지1 하는게 제일 나을까요?
-
보통 과탐에서 꼬라박는 경우가 많은데 28은 통과 쉽게 나올거라 저때 성불찬스각이긴 함
-
너무하뇨이...
-
아, 의대 꼭 보내준다고요?
-
ㅇㅈ 1
오우오우심멘심멘적이고
-
ㅇㅈ메타가 돌아왔다니! 13
근데 난 시험기간이라니
-
휴..
-
잘자요 2
잇올러는 먼저..
-
서울대 고려대 연세대의 모 옵붕이들이 자꾸 자기 학교로 오라고 설득함 기부니가 좋아져..
-
그냥 이 기만메타에서 chill가이마냥 주머니에 손집어넣고 나는 괜찮아 4
속으로 5천만번 5억만번 외치면 괜찮아지더라고 괜찮아괜찮아괜찮아괜찮아괜찮아괜찮아괜찮아
-
안 좋은 거 같은데
-
인증메타임? 2
ㅇㅇ?
-
에휴 ㅅㅂ
첫번째 댓글의 주인공이 되어보세요.