아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
설수의 0
보내주세요
-
오늘 피시방에서 겜하다 중간에 화장실갔다가 앉으려하는데 구석에서 혼자 인터넷 보는...
-
언매 81 미적 100 영어 2 화학 47 생명 45 약대 되나요 ㅠㅠ
-
이새끼 뭐야
-
물2 ㅅㅂ인점 0
범위이슈로 10번부터 20번까지 16번 2차원 전기장 빼고 전부 역학임
-
1학년 수영 1.0 수과영 1.15 전체 1.7이고 저희 학교에서 1.7이면...
-
더프 보고 0
제 자신이 객관화가 안됐다고 생각이 들었어요. 지금 현역 자퇴생이라 사설...
-
화2 본사람들 0
이거 만점을 맞을수있긴함? 18번까지 한번도 안 막히고 풀었는데 1분남음;;;...
-
불문학싫어 0
저리가아아아아아아아아아악
-
혜택중에 있던디.. 무료로 다니는 사람은 안 주겠지?
-
이매진 0
이매진만 구매할수있는버 없나요
-
4덮 생명 0
25분만에 다풀었는데 근수축에서 근육 원섬유가 세포라고 했는데 못보고 틀림
-
약대 목표라 과탐 악깡버 했는데… 원점수 국어87 미적93 영어98 물1 32 지1...
-
우리 독재는 심평 3~4등급임
-
박근혜 때 쿠데타 문건 작성 한 죄로 기무사 날라간거 보면
-
수학 어땟음? 7
ㅇㅇ
-
흐무 0
실수 너무많이햇다
-
실력 부족이 아니라 그냥 현장감에 대한 준비가 덜 된 거임 모의고사 통으로 푸는...
-
사탐은 쉬웠던것같음 특히 생윤너무 쉬워서 당황함 개념 어제 다했는데 다맞는게...
-
아직 실력이 많이 부족하네.... 최근에 폼 오른거 같았는데
-
물1 보정컷 몇예상?? 10
솔직히 난 어려웟는데 ㅠ
-
[단독] 민주 집권 플랜... 방첩사 3개로 쪼개고, 검찰은 공소청 격하 5
국회가 감사원 통제...“적폐청산 시즌 2″ 더불어민주당이 집권하면 군...
-
곧 중간고사 시즌이잖아요 수시 버리고 정시해도 되냐는 글이 쇄도할거임
-
언매 80 사문 41 정법 32 수학은 안봐도 4등급이라 걍 안적음
-
생명 얘기가 단 하나도 없네..
-
성대 가즈아 1
가즈아!!! 난할수잇다!!
-
6평은 망쳐도 괜찮다구요?? 9평은요?? 수능 때는 되는 거 맞죠? 선생님??
-
와 똑같은건 내년에 안나온다지만 적분 개고자라 꼭 정복했어야하는데 드디어 해냈다 씨빠알!!!!!!
-
에휴 0
평생 안잊겠다
-
ㅈㄱㄴ
-
구라아니고 개망함… 언매 64 (미친거야..난.. 미적 84(실수도 함.. 영어...
-
재수생입니다 국어 98 수학 76 영어 1 생윤 30 사문 44
-
4덮 경제 3
허허 별표 5개치고 강렬히전사 한 번호로 찍을걸 그랬나
-
계실까요?? 사설 말고 작수나 평가원 1 한 번이라도 있으신 분 많이 볼 수 잇게 좋아요 ㄱㄱ
-
매도니 매수니 나스닥 숏 말하는건가 싶으면 갲우
-
4덮 물리 2
저만 개 어려웠나요..
-
더프 외부생 2
5덮 외부생 볼 수 있는곳 있을까요.. 원래 러셀에서 봤는데 5월은 안본대서요 ㅠㅠ
-
나만 3번한거야?
-
4덮 결과 2
언매 92(7, 12, 21틀) - 평이한 시험지 기하 80(15, 22, 28,...
-
그런건 없고 제 아내나 보고가세요
-
화작 미적 생 지 70 84 73 34 33
-
4덮 미적 2
77점이몀 무보정으로로 2컷 가능할까요...?
-
사탐런... 2
아니 나 같은 저능아들만 사탐으로 튄 줄 알았더만 4덮 점수 기준, 언매 90,...
-
4덮 슬프다.. 1
화작 79 미적 84 영어 84 화1 36 지1 31 탐구 진짜 화딱지나네
-
심평들 일루와 4
우린 평가원만 보고 달린다
-
ㅆ발 그래야만함.
-
언매 다담 800제로 1회독 끝나가는데 이거 끝나면 뭐 풀어야하나요? 기출...
-
풀지도 못하는데 있음
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다