수학 파괴 증명 업그레이드
게시글 주소: 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를 선물하세요.
-
단원별로 나눠저있어서 특정 단원을 집중적으로 조질수있는 n제의 장점도 없고 2,3점...
-
족보닷컴 결제하면 평가문제집 안사도 되나요?
-
분명 시간을 엄청 투자해가면서 열심히 만드는건 헌법,행정법 문제인데 (당장 5문제...
-
쫌 불편하네..
-
장래희망 2
잠만보
-
문의해요 0
프리패쓰 구매한후에 여기에 댓글 달면 문화상품권 1만원 준다는 이야기 인가요?...
-
성욕 차서 업소 가거나 길거리 아무나 붙잡고 성추행해서 깜빵가거나 전자발찌 차는...
-
인생 0
-
응 어짜피 고등학교는 4학년까지야~ 받아들이면 편해~
-
어휘 끝 수능편에 있는건 거의 다 외웠슺니다.(3~4회독 한 듯) 하이퍼까지는...
-
언매 중간 3등급정도에 영어 2등급 미적 100점에 사문지구 둘 다 1이면 서강대 시반공 ㄱㄴ한가요
-
3모 미적 후기 1
총 시간 35분(참고로 공통 제외 미적만 푼 시간임) 들어가는 단원이 작아서 그런지...
-
시발 좆됐다
-
패드가 비싸구나 2
ㄹㄹㄹㄹㄹㄹㄹㄹㄹㄹㄹㄹ
-
소설을 읽을 때, 따옴표 안에 있는 대사에 대해서 ~가 말했다는 서술이 없으면 누가...
-
but high ego inside
-
누구? 메인글 뭐노
첫번째 댓글의 주인공이 되어보세요.