진지하게 이거 맞는말 아님?
게시글 주소: https://orbi.kr/00071387807
공리는 참이라는 증명이 없다
이말은 귀류법 증명이 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
전제가 참이면 결론이 참이다
결론이 거짓이면 전제가 거짓이다
공리는 전제에 속한다
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면 공리가 거짓
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제) 1+1=2라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
반수로 사탐 영어로 최저 맞추고 인물논술 도전해볼까 하는데, 지방이라(대구 부산도...
-
아침에 집중이 잘안되는느낌이에요 원래 국어 영어를 아침에 하는데 제가 조아하는...
-
학교 멀어.. 5
학교 싫어.. 나 정학시켜줘 그냥..
-
(살며시 마이크를 누른다.)
-
네
-
건강하다는 증거거덩
-
츄릅 1일차 8
셀카임
-
ㅈㄱㄴ 그당시 되게 어려웠데서요.. 대부분 1컷47이하로 잡은 게 기억나네요....
-
저를 싫어해주세요 22
매도해줘
-
11~14번 좀 확고히 다지고 싶은데 뭐 풀면 좋을까요? 기출은 끝냈고 대성만 있습니다!!
-
네
-
정확히는 이게 잘 작동할 수 있을까라는 의문이 있음 명백히 선호되는 학과가 있는...
-
오르비 호감도는 5
수학 실력에 비례한다 다들 goat 저는
-
사춘기와 성 빼고 난 정보통신 좋아함
-
지금 드릴드 절반정도 풀다가 기출 다시 풀고 있는데 제가 제대로 하고 있는지...
-
5모까지 츄릅함 7
-
6시까지만 공부하고 30분 자고1시간동안 학교 갈 준비->> 바로 학교 !!
-
사야함? 후기보면당연한소리다 이런말도있어서..
-
병(신) ㅠㅠ
-
오르비 잘 있어요
-
아무도 나 안 좋아함 12
-
흐음
-
국어, 영어 독해하는데 시간 더 걸리던데 ㅅㅂ
-
공부 ㅇㅈ 6
샤인미 46문제풀었다
-
지인선 미쳤네 0
한회차 3개씩 나가면 ㄱㅊ한건가
-
고지자기.. 못 알아먹겠던데 시즌1 사서 할까요…?
-
걍 나가자 이계정 망했네 새로 시작하자
-
ㅂㅂ 3
-
탈릅선언은 2
걍 하지말자 만화에서도 감동적인 이별후 다시 오면 그만큼 짜치고 뻘쭘한게없음
-
고구마님이 국어만드신 그런거처럼..
-
평소에도 댓글 잘 안 달리는데 없겠지 뭐....
-
GG
-
즉, 내가 싫어하는 오르비언은 오르비언이 아님
-
재밌어지는 법 2
중딩때는 머릿속이 드립으로 넘쳤어요 고등학교 올라오면서 적어지더니 자퇴하고 수능보고...
-
시대컨 질문좀요 2
이번 3모 적백인데 트러스 엑셀 둘다 사야함? 트러스는 쉽다는 말 있던데 잘 모르겠네용
-
인강 듣거나 빡집중으로 실모보는거 제외하면 무조건 들음
-
수학도 잘하지 인성 좋지
-
나 좋아하는 사람 26
모여라
-
기회 1번
-
수학풀때는 진짜 못참는데 그리고 공부안될때 음악틀고 사탐 수특 벅벅 풀면 그만한 힐링이 없음
-
수학 기출 0
스블 회독하면 따로 기출문제집 사서 안풀어도 되나여
-
요즘껀 어렵나 아직 18 19 20 기출임
-
ㄱㄱ
-
근데 난 슈퍼스타도 아닌데 왜
-
날 좋아하는 사람들을 내가 좋아하는거징
-
순수하게 분탕을 치기위해 오르비를 들어오는 ms들
-
첨알았당
-
ㅇㅇ
-
엑셀 살까 2
작년 강k 어렵게(?) 구했는데
-
박석준쌤 어떰? 2
3모 해설강의 보니까 문학 풀이방식이 조금 독특한 것 같아서.. 국어 문학을 너무...
님이 논리체계라는 개념을 잘못알고있는거임
어떤 논리체계 안에서 공리를 세우고 그 공리를 기반으로 서로 의쌰의쌰 보완해주면서 쌓아나가는 게 논리체계임
공리를 부정하는 거 자체가 해당공리를 공리로 하는 논리체계를 벗어나는 거고 님이 말했듯이 공리를 증명하는 명제는 없으니 공리의 부정이 기존의 논리체계에서 벗어나더라도 그걸로 다른 논리체계를 쌓아나갈 수 있으면 의미가 있는 거임
기하학에서 유클리드와 비유클리드가 그 예시임