아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://app.orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
24학년도에 재수를 하여 수학 화학에서 1등급을 받았지만 국어 생명에서 아쉬운...
-
어3쉬4 풀 실력은 있는데 시간이 좀 걸려서 빠르게 못 처내는 거 같아서요 ㅠㅠ...
-
시대인재 수업은 죄다 13
심화부터 시작임? 개념 없나
-
국어 2509 98 수학 2506 98 영어 2511 3 세지 2511 100 사문...
-
어려웠나요? 책 수령을 못해서 아직 5주차 복영을 못받아서ㅜ
-
작년 중반쯤에 사탐해도 공대 지원 가능하다는 얘기만 흘러들었었는데 동생이 올해...
-
마지막 모의고사가 4-5등급 나왔고.. 짱중요한유형이랑 어삼쉬사 끝냈어요 학원에서는...
-
더하자고 하심 ㅋㅋㅋㅋㅋ 고시 적성 잘맞으면 쉽게붙고 스카이애들 머리 믿고...
-
국어 2407 백분위 61 수학 여러번 백분위 95 영어 2506 4 화학 2410...
-
1월 31일 공부 ㅇㅈ 1.수학(60min) 시간공략 4점코드 1회,2회...
-
내 신상 6
177 66 24 재수
-
말로 옆에 붙어서 올리는건 잘할 수 있을거같은데 글로 적으려니까 막막하네요
-
ㅎㅇㅌ
-
독재 쉬는 3
독재 다니면서 쉬는 날 있나요 들?
-
흐흐
-
노트북 들고와서 신나게 키보드로 디엠보내기 1문제 풀이 후 한숨 n백회 지우개와...
-
이러면 ㅇㄷ가나요 커하모음집임
-
외뱃 자랑스럽다 3
낭만
-
저 질문 있는데… 가능하면 쪽지 주세요ㅠㅠ
-
아침밥을 뭘먹지 8
다이어트할때 아침밥만 식단하고 나머지는 일반식에 양줄여먹기 할곤데 아침을 머먹어야...
-
국어 2410 백분위 93 수학 2410 백분위 99 영어 2410 1 화학...
-
기숙학원에서 과탐 수업을 들을 예정인데요 거진 4-5월까지 개념 수업을 하는 것...
-
쪽지로 찔러보세요
-
고1모고부터 고3 10모까지 쭉 1이였음 심지어 2506도 하지만 2511 2뜨고...
-
화교 기균 지역인재 일절 안뽑는의대 그런 의대가 어디임?
-
이제 안쓰니까 기분이 묘하네요
-
내가 한달에 다섯번 정도 등원했기 때문.
-
아침5시에일어나서 약먹고 세수하고 스킨케어하고 밖에 나가는 날엔 선크림 바르고...
-
팟지네번먹음ㅎㅎ
-
나이도 많고 수능 뜬지는 거의 4년째인데 놀아줄 사람 없나
-
서울런 3년차네 0
미안하고 고맙다.
-
거의 대부분 2등급이하일거같음 서울쪽말고면 3이하 ㄹㅇ 메이저 학원들아니면 진짜로...
-
수특 0
정시파고 언매확통쌍진데 뭐 사야 됨요??
-
잇올 2년차 2
푸는 교재만 봐도 실수 허수를 80% 구분할 수 있는 경지에 도달
-
8시 등원인데 7시쯤 와서 잠 ㅋㅋ 아침부터 저녁까지 졸다가 멍때리다가 집에 감...
-
큐브 별점테러 6
설명해주는데 독서4등급 맞은 n수생분이 이러고 나가심.. 별점테러 어케 복구하나요
-
평이 좋지 않았다는 이야기를 들은적이 있어서.. 새로 나온다면 어떨지 궁금하네요 엣지같은 느낌일까요
-
그거에 서바 제본 올라온 거 봄 이 3낀 뭔가 싶었음
-
친구가 예비 2인데 될지 안될지 힘들어하네 기균이라 저2등애가 전남을 붙을지도...
-
휴 다행이다 이러면 답지만 나오면 낼름 풀어야지 엫헤헤해햏
-
언매 인강 0
강민철 전형태 중에 누가낫나요 노베는 아니긴함
-
오니까 0
잇올 메타네 이건 또 첨이네 허허
-
전교 1등하는데 모의고사 성적 처참한거보면.... 갓반고 2,3 등급 빡칠만 하겠다 ㅋㅋ
-
잇올 관리자는 자리에 가방 있으면 1교시 정도는 관리자 성향에 따라 부모님한테...
-
핫식스 먹을때마다 속조낸아프고 응아의색이 어두운카키색되는데 이거ㄱㅊ은거임? 끊기엔...
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다