아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703

증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
#07년생#08년생#독학생 오르비의 주인이 될 기회 37 40
-
이건 문제를 뭐 이렇게 냈냐 1 0
단어 몇개만 넣어도 원 출제 목적인 개념 확인이 가능한데 일부러 표준 발음...
-
내가 누누이 말씀드렸잖아
-
인별 맞팔할사람 0 0
-
일본 자주감 청년 2 0
ㅇ
-
국어는 안오르는거 아녔음? 1 0
삼수생인데 국어는 진작에 포기함 차피 안오르더라 국어 올리는사람보면 신기함
-
왼손이오른손보다 좀 큼 2 0
왼손은 f1~11인데 오른손은 f1~10임
-
저도 남들보다 글 자체를 빨리 읽긴 하는데 특별히 뭔가를 더 하진 않는단 말이죠…
-
먹을까 3 0
아이스크림
-
뻘글밖에 생각이 안남 15 1
건설적인 주제가없을까
-
어흐 거리는 동성친구 vs 7 0
우흥 거리는 여사친
-
문제가 안풀린다 2 0
ㅈㄴ 어렵네
-
슈샤는 낙화 시로 갔으니깐 3 1
올때는 개화와 관련된 시로 오겠지?
-
3모가 무섭다 0 0
잇올 내신장학으로 다니는데 3모 국어에 4찍혀있는 거 보고 사장이 ㅇㅅㄲ는 장학받고...
-
간쓸개어떰 0 0
ㅇㅇ?
-
WHY전씨지즈랑 소설삼국지 다 세계문학 쪼금 과학동아8년 과학책을 좀많이 읽은것같음...
-
국어 6등급 살려주세요 1 0
안녕하세여 국어 6등급 뜨는 진짜 쌩노베에요! 현재 정석민쌤 문개정 수강 중이구...
-
오늘오르비왜캐 2 2
조용해ㅜ
-
수능얘기에 못끼겟네 5 0
딱 3달 안했는데 아무것도 기억이 안나
-
잘자요 5 1
내일 봐요
-
이게 체화라는게 진짜 무서운 말인게 11 2
나는 더이상 내 국어 푸는 방법과 사고를 명시지의 범주로 올릴수 없게 되버림......
-
오늘은 기분이 좀 안 좋나봄 0 0
왜케 날 감정쓰레기통처럼 대하는느낌이지..
-
실검12위뭐냐 4 0
ㄹㅇ슈퍼스타인가
-
미(적분) (확률과)통(계) 기(하) 미(적분과)통(계)기(본) 뭐가다른데?
-
동네 지하에 좀 허름한 공용독서실있는데 사람 거의없어서 고딩때 내신공부하면서...
-
국어 기출 22이전거 풀필요없는데 12 0
문학도…
-
독서는 원래 제법 했는데 인강 활용하고 나서 속도 정확도가 확 올랐고 문학은 원래...
-
많이 배우네
-
어흐 <-- 커뮤충찐따같음 17 0
작년인가부터 자주 보였는데 아 뭔가 .. 불쾌함
-
유니귀여움 7 1
-
수학 실력 누가 더 높나요? 0 0
25수능기준 미적 원점수 96(30틀) 92(22 28 틀)실력차이 많이 나나요?...
-
내키보드 13 1
이쁘다고해주지않을래. 실제로 보면 약간 더 색깔 웜톤임
-
국어는 n제 필요없죠? 2 0
리트미트피트,사관학교,교육청까지잇고 실모감안하면 진짜 엔제는 심연n수생아닌이상 필요없을거같은디요
-
검더텅 1권 실모 벅벅(일주일에 1개 정도) 강의X 오답X(걍 틀리면 답 보고...
-
도태남으로살고싶지않아 8 2
신은 나를 버렸다.
-
손크기 7 1
피아노 도에서 다음 옥타브 미까진 여유롭게 닿고 아슬아슬하게 파까지 닿음
-
국어공부는 6 0
인강 안 듣고 혼자 한다면 기출만 계속 돌려보는거임? 기출 끝나면 뭘함
-
1993학년도 학력고사 범위 0 0
범위가 많은게 좋은건가? 학력고사 마지막 한 해만 적용된 과목
-
배고프다 2 1
맛있는거 먹고 싶음
-
집왔으니까 8 0
동생이랑 놀래
-
사실 나임
-
실력 녹슨 애기 4 3
-
아시발손떼 4 1
あし-발 손-て
-
내가 알고있는 화석교육과정은? 5 0
ㅎㅎㅎ
-
알파메일의 디엠창은 다르구나 9 1
진짜 벽느꼇다.
-
아시발주어를안말햇구나 12 0
손이요 손;;
-
증바람 긍정적분#9999 5 2
2명 모집중 고수만
-
방금 미친 옵붕이가 몬스터 9캔 생체 실험 한거보고 나는 양반이구나 했음
-
손으로 키보드 f1에서몇까지닿음? 12 0
본인은 이랗게생긴 키보드로 f10까지닿음 너무더러워서 가림 ㅈㅅ
-
메가패스사기손이떨리는구만 0 0
비싸 내 통장잔고 70도안된다고 주식팔아야하나 하ㅏ
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다