아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://i9.orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
존예 여르비ㅇㅈ 0
Hey 옯삣삐 ㅇㅈ이 아니라서 화난건 알겠어 boy 하지만 this 글을 메인을...
-
오늘도 한 끼 먹었다....나쁜놈들
-
기행 멈추고 성적강박증 좀 줄이고 정신과 약 계속 먹다 보니까 나아진거같음 지금은...
-
이번에 외대 지원했고 최초합할 것 같은데 연고대에 미련 남고 열등감 든다 집안...
-
ㄱㅁ이다 싶으면 3
저렙노프사야 다들
-
ㅇㅈ함 3
근데 지금은 좀 무서워… 새벽 2-3시에 할까….
-
아기사자의 고민, 기숙사? 자취? 통학? [기숙사편] 0
대학커뮤니티 노크에서 선발한 한양대 선배가 오르비에 있는 예비 한양대학생, 한양대...
-
오히려 요즘 세상에선 솔직한게 문제임
-
키168 ㅆㅅㅌㅊ(차은우급은 아님,평균보단 많이 잘생김) 키 185...
-
무섭다.
-
ㅎㅎㅎ
-
에타가 정확히 이꼬라지임
-
ㅇㅈ 11
펑~
-
선착순 10명 1명당 1000덕
-
인증글이었는데 11
본 사람이 없네
-
님들은 찐따가 아니라 아싸였던 거임 진짜 찐따는 나임 ㅋㅋ 걍 성격 십창났고 할 줄...
-
댓글 남겨주십쇼 ..ㅎㅎ 저희 맞팔해요 !!
-
작수 공통 4틀 통통 4틀 작년에도 시발점부터 해서 뉴런 들음 근데 그때는 걍 뭣도...
-
5명만더 0
나도 똥테 탈출할래
-
이런 재밌는 사진 많이 볼 수 있어요
-
플래너를 두고와서 대육광천의사진으로 대체합니다
-
근데 내가 장원영이면 남친 안 사귐 내가 제일 잘난데 다 하찮아 보일듯ㅌㅌ
-
2명만 더 6
-
손 ㅇㅈ 1
-
ㅇㅈ웨함 15
ㄹㅇ
-
그 약간 사람이 재미가 없음 광대애들을 ㅈㄴ 부러워하긴함ㅋㅋㅋ
-
얼굴깐 ㅇㅈ 7
조회수 3중 2명은 알아냈는데 다른 한분은 끝내 밝혀내지 못했어요..
-
ㅇㅈ 16
자기전에 아이컨택 재탕
-
현역 이과 정시 6
안녕하세요. 저는 현재 고3 올라가는 정시파이터 입니다. 내신은 잘 못챙겨서 일반고...
-
ㅇㅈ 23
헉.
-
또 기만질임.? 0
ㅇㅈ메타 볼 때 마다 운다 ㅅㅂ
-
배기범쌤 강의 0
25필수본 26필수본 25강 열역학 보면 옷이랑 오프닝 멘트가 너무 유사하고 3순환...
-
확통 5년넘게 안해서 다까먹었는데 어카지 아니 공부하면 할 순 있을거같긴 한데...
-
나도 맞팔 할래 8
가입만 하고 이제 활동하는 완전 뉴빈데 나도 맞팔!!
-
김동욱 1
자러가겠습니다 ㅂㅇ
-
ㅇㅈ 24
펑
-
ㅇㅈ 1
유포르비아 귈라우미니아나
-
맞팔9 9
ㄱㄱ
-
점수는 631이고 점공상 45/345임 (계산기상 54등정도) 면접은 10분중 무려...
-
1. 학교 매점 아주머니랑 예전부터 사소하게 다투고 있었는데 이런걸 겨우 날 받아준...
-
. 8
.
-
해줘라 좀.
-
걍 풍부한 알림창 볼라고?
-
사탐 0
방학때 국영수 물리 공부하고 사탐은 개학하고 시작해도 되나요?사문입니다
-
-
고해성사 2
사실 장발 남르비입니다
-
오늘도 6시 기상 도전...........
-
정법 올해 표점도 그렇고 불안정해 보여서 사문하려고 했는데 2
수특 펼쳐서 보고 읽는순간 가슴이 뛰고 재밌는데 해야하나요..
-
시발점 워크북과 함께 빠르게 끝내고 다음 커리 뭐 ㅅ어쩌고 가도되냐? 아님 쎈발점...
-
맞팔메타. 참전 1
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥