아니 님들아 이거 진짜 혁신적인거 아님?
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
헬스 질문 4
러닝 뛸건데 솔직히 하루라도 더 빨리 빼고싶어서 하루에 편의점 닭가슴살 같은걸로 두...
-
반갑다
-
막 재야의 고수들이 실모로 목숨을 걸고 싸웠다는…..
-
손ㅇㅈ 16
펑 이때 젤 잘나옴 (2년전 ㅇㅈ 재탕)
-
-
너무 무식한 질문인가 그래도 신분증 못알아보지는 않을거아니야
-
이렇게 신분세탁을해도 되는걸까
-
-
커뮤니티에서도 찐따되겠네
-
화1처럼 한개틀리면 2등급나오고 그런상황인가요...???
-
남자 175/64 어떰 20
살쪘나
-
못생긴건 서럽다 0
얼른 돈모아서 얼굴 갈아야지
-
잠이 안오네 조졌네 밤새는건 에반데..
-
근데 메인글 3
https://orbi.kr/00071417475/%EC%A1%B4%EC%98%88-...
-
-
-
그래서 단 기만 대신 ㅋㅋㅋㅋㅋㅋㅋ침
-
땅개임 암거나 ㄱㄱ
-
흠… 연휴 때 지방으로 내려갈 것 같긴 한데 그냥 하루라도ㅜ더 빨리 시작하는게 나으려나
-
빨주노초 아머 레전 팜노스
-
ㅇㄸ?
-
어떰? 제발… 원래 으냥 현강 들음 작년부터 쭉 인강으로 독서만 투커리 타고 싶은데...
-
내신 2.6x 지방일반고(표편 10중반)다니고 잇습니다. 원래 생명에 관심많아...
-
내가 국어 분석할때도(일단 분석자체를 잘 안하는건 둘째치고) 남들처럼 문장단위로...
-
씨발 6
또졌어
-
대학이 애매지지는 것 같다… 영어 1에 과목별로 백분위87~95 쫙 분포하는데 정시...
-
ㅇㅈ 13
-
ㅏ이게 재밌구나 (진짜 재밌어서 한 말)
-
이게 현실적인 반응이야 11
너네가잘생긴거야ㅠㅠ
-
아무질문이나 받음 10
아무질문이나 ㄱㄱ
-
이정도면 노베치고 ㅁㅌㅊ?
-
난 현역때부터 김으냥 들엇는데 3모 6에서 6모 3 뜨고 9,10,11모 3 떠서...
-
그냥 자기가 여자였더라면 ㄱㄱ
-
다른애들은걍ㄱㅁ만쳐주잔아왜나한테만팩폭이애
-
2학년까지 총내신 2.9 평반고 하향곡선 국숭세단 붙을지 모르는 내신 중간에...
-
헬스에서 러닝 뛰면 보통에서 마름으로 가는건가요 아니면 보통에서 보통으로 가는...
-
화학과(자연대)에서 전전 or 반도체 복수전공 하는거랑 전전이나 높공을 원전공으로...
-
못봐도아쉽지않음 5
그런거임
-
-
엌ㅋㅋㅋㅋㅋㅋㅋ 젊게 봐줘서 고맙다...
-
갤러리 ㅇㅈ 10
-
남자랑사귀기 vs 여자랑사귀기
-
미방짤은쓰셈 4
예…너무 막 올리면 그.. 절대네이버에오르비 ㅇㅈ을 검색하지마
-
보고 자존감 충전이나하게
-
"국정원" 뭐임
-
존예 여르비ㅇㅈ 7
Hey 옯삣삐 ㅇㅈ이 아니라서 화난건 알겠어 boy 하지만 this 글을 메인을...
-
오늘도 한 끼 먹었다....나쁜놈들
-
기행 멈추고 성적강박증 좀 줄이고 정신과 약 계속 먹다 보니까 나아진거같음 지금은...
-
이번에 외대 지원했고 최초합할 것 같은데 연고대에 미련 남고 열등감 든다 집안...
-
아기사자의 고민, 기숙사? 자취? 통학? [기숙사편] 0
대학커뮤니티 노크에서 선발한 한양대 선배가 오르비에 있는 예비 한양대학생, 한양대...
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥