아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
재수 정시인데 5
갑자기 5수 연대 프레임 써버리네 23학번인데 나 5수생으로 아나 ㅋㅋㅋ
-
7천원에 삽니다
-
진짜 말이되나.. 올해 25수능 난이도로 나오면 1컷50 2컷47 3컷42예상
-
달 게 앖어서 머리둥둥 떠다니는 심찬우쌤만 보이는게 참..허허
-
챗지피티 고장남 6
-
퇴근 1
이제ㄱ월요일까지 누워만 있을거임
-
맛저
-
21학년도 6모 가형 29번 확통 문제인데 제가 푼거 말고 다른 숏컷 풀이 있을까요?
-
ㅁㅌㅊ
-
방금 미적 풀다가 개념 애매하게 알고 있는거 같은 부분 시발점 강의로만 한번...
-
뉴런 미적 완강하고 카나토미 할건데 개념설명하는거 안듣고 문풀만 들어도 따라갈수...
-
26 정시도 경한 인문은 확통에 사탐 2개 가산인가요? 자연은 미적/기하 과탐 2개...
-
빨리 팔아야되는데 쪽팔려서 과외 어떡하냐
-
확통 미적 표점 2
만약에 확통이 조오오오오온나 어렵게 나오고 미적이 조오오오오오오온나 쉽게 나오면...
-
과외 잘렸는데 10
위로 좀 해주세요
-
미적하다가 인격장애 조울증 환자 될뻔했는데 살아남 공도 재밌어요
-
라온힐조라는 분이 쓰셨던데 참 공감가는 글인듯 ㅇㅅㅇ...
-
원래 정식보카 단어장을 사려고 했는데, OT를 들어보니까 2022 개정 교육과정...
-
.
-
이재명은 합니다 6
입 벌려 찢어버리게.
-
대성패스 양도 0
대성패스 23에 양도합니다
-
작년에는 쉬운줄 알고 워크북 유기했었는데 올해는 해보니까 난이도 꽤 높네 ㅇㄴ.....
-
봐봐 너무 뿌듯하네
-
수헬리베붕탄질산플네나마알규인황염아칼칼
-
누군데
-
윤석열도 날아갔겠다 킬러문제 부활시키고...
-
저는 이게 더 좋아요
-
기교가 기교긴한데 바로바로 되면 주접은 아닌거같기도함
-
반갑노 게이야
-
그냥 안만나고 집에서 얘랑 데이트할래
-
오늘 검고 치신 분들 수고하셨습니다! 검정고시 정답
-
이제 그림 굳이 인터넷에서 안 찾고 지피티한테 시켜도 될 듯 3
그림체까지 요청할 수 있으니까 걍 내가 원하는 그림이 바로 나옴
-
고3 3모 55점으로 4등급 나왔습니다 겨울 방학때 얼오카랑 매월승리 커리타면서...
-
먼가 잘 못 된거 같지?
-
7시 10분부터는 키타니 타츠야 참고로 일본에서 제일 음향 좋기로 유명한 K-아레나...
-
6시 10분에 봐요
-
뉴런 공부할 때 0
수12확통 동시에 진도 안나가고 수1-수2-확통 혹은 수1&수2-확통 런식으로 해도 괜찮나여?
-
어우 속이 좀 안좋네
-
오르비언 조아해 2
다들 너무 착하구 재밌구 웃기구 사탐해야게따
-
홀려버려써 나!
-
수학 노베라서 정승제 중학수학특강부터 다시하려는데 문제집 반드시 필요하나요?
-
물보
-
3모 미적 9
14,28찍맞 88점 15번 감안잡혀서 패스 21번 케이스 더 안구한듯 30번 그냥...
-
3시간째 나갈준비생각중
-
구함
-
5등급정도 노베라고 했을때요
-
세지 지1 웅♡
-
삼수기록 8일차 6
국어 독서기출 2019.06 LFIA키트 리트300제 2014 1-3 김상훈 문학론...
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다