아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
만표 80 넘는 탐구 없이 에피 찍은애는 없길래
-
76점(2컷) 독서론+어휘 4분 4초 1틀(-2) 내용일치 언매 11분 26초...
-
현역 5모 ㅇㅈ 6
물2 표본 ㅈ댓네 영어는 그냥 유기함 ㅇㅇ
-
5월 더프 정말 어렵네요...ㅜㅜ 학원 다니기 시작하면 열심히 해야겠다....
-
금일 통역 ㅇㅈ 8
오늘도 으랏찻차!!! 야밤에 통역 겸 스터디한 1인!
-
치대생 질문 받 11
치대생 질문 받
-
센츄 에피 위에 한자리 더 만들어주라
-
언어와 매체-92 11(찍틀), 20, 36, 37 미적분-92 20, 22(둘다...
-
이번 시험이 반등의 기회가 되기를 바라며..(5모 성적 인증) 8
전국 1356등 정도 나왔네요. 3모같은 최악의 상황은 면했지만, 여전히 좋지는...
-
다들 5덮 화이팅
-
저 오늘 생일이애오 이륙이 소원입니다
-
수학 +30m 고전시가가 아니라 고전소설..ㅎ
-
-
-
저작권 쫄이라 사진 못올립니다 죄송요.. ㄱ ㄴ ㄷ 옳지 않은 고르는 문제이고...
-
독서론 -3 화작-3 문학-2 독서 -14 3컷 개선할 점 독서론 화작 2틀...
-
-
ㅇㅈ 3
혈압 ㅇㅈ 이거 높은거임?
-
빌런 3종 3
1. 엘리베이터 열릴때 안에 사람 많은데 나오는거 안기다리고 처 들어가는 인간들...
-
임산부석에 앉는 아줌마, 할배보면 인간 혐오 생기노 12
임신부가 앉으라고 만들어놨는데 지들 다리아프다고 처앉으노 ㅋㅋ 나이 똥꾸멍으로 처먹었나
-
-
디음주 월례 망칠 것 같으면 개추..
-
EBS 문학중요도 받을 사람? 232
좋아요 50개 넘어가면 EBS 수특수완 문학중요도 오픈할게요 댓글 남겨주신 분들께...
-
+1h
-
ㅇㅈ 1
23시즌때 샤인미 알게됬고 기하러라 기하 풀려다가 없어서 대신 미적이라도 샀음 걍 미친놈이었음
-
오늘도 통역 열공한 뫼옹 ㅎㅎ
-
멘탈이슈
-
연세대 에브리타임 아이디 잠깐만 빌려주실분 있나요? 7
제 분실물이 자유게시판에올라와서 글 작성자분께 전화번호 드리고 분실물 찾고싶은데,...
-
-
인증합니다. 33
얼굴 인증이 아니라 핸드폰 배경화면 인증이었어요~ 예상 댓글) 아 속았네, 님아.
-
아아... 이게 진정한 "절평마스터"지 수탐 점수는 왜저러지...이과마즘?
-
-
-
현역5모가채점 5
올리려는거 깜빡하고있었네
-
-
성적표뜨고 올리려고했는데 글쓸권한이없어서못올렸음 영어는 진짜 어떡하누...
-
-
어어 그런거 아니에요 진짜 이름이 좀 그렇긴 한데...
-
올해는 진짜 닮음 잘 해둬야할듯
-
문법의 혁신 0
-
대망의 5모 성적 국어(화작) 98(점수는95인데 마킹잘못함) / 1 수학(미적)...
-
어려웠던 15번,28번은 잘풀었는데 맞췄어야할 20번,30번을 틀리면서 84점으로...
-
영어 뭐지. 지2는 이제무터ㅜ열심히 할게요 ^s^
-
-
안녕하세요, 클래스 관리자입니다. 4월 한 달 동안 진행된 환급나무 키우기에 많은...
-
-
쉬운데? 안찍고 만점일 정도면. 이대로 수능에 나오면 47보다 높게 잡힐듯...
-
수학과를 꿈꿨던 건축공학도..
-
-
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다