진지하게 이거 맞는말 아님?
게시글 주소: https://iu.orbi.kr/00071387807
공리는 참이라는 증명이 없다
이말은 귀류법 증명이 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
전제가 참이면 결론이 참이다
결론이 거짓이면 전제가 거짓이다
공리는 전제에 속한다
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면 공리가 거짓
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제) 1+1=2라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
그저그럼
-
100만 원짜리를 자기들은 1000만 원에 사는 것도 아니고 일상생활용품에 관해선...
-
루미큐브가 몬데,,
-
오르비 망했네 4
나도 간다 ㅃ 물론잠을자는건아님ㅇㅇ
-
전 학창시절에 2
맨날 노래부르고 다녔음
-
나랑 오목뜰사람 2
오목의달인 ㄱㄱ
-
물화는 너무 고여있넹 생지도 마찬가지겟지만
-
밸런스게임 9
앵간치나이먹고 나중에 띠동갑만나기 Vs 20대초중에 민짜만나기
-
얘네도잇고 낚시하는 여자애도 공략가능캐인데 걔도 이뿌더라
-
난 몇년생이랑 첫 연애 12
하게될까.... 05 07 연애글 보고 문득 궁금해짐
-
구라임
-
저는 맨날 4시쯤에 자서 2시에 일어남
-
잘자요 4
-
또 먹고싶다 3
-
ㅇㅈ 1
그것은 디맥 인증이었네요~
-
고능하고 여친잇고 헬스 맨날 다니는 알파메일들 도움!!!
-
생명 스킬 외우고 양치기 하면 늘긴 느나요.. 백호,윤도영,시대 강서 등등.....
-
ㄱ
-
잘 안 되네 남이 하는건 너무 쉬워보이는데 막상 하려니 잘 안 됨… 다이어트 성공해본적이 없아
-
프사 바꿈뇨 4
레어랑 통일했어
-
올해부터 연대 의대 내신 반영하는거요! 혹시 고등학교 때 문과였는 사람은 어떻게...
-
그냥잘래 1
-
My fingertips in my lips
-
카야토스트 6
또 먹고싶다
-
이거 버거 진짜 ㅈ1ㄴ 예쁘구나 역시 아이돌은 다르구나 싶긴 했음…
-
난 왜 지금까지 안 잔 것인가
-
아 응떡 조지고 싶다 14
살찐다고? 정제탄수라고? 국물에 설탕 많다고? 혈당스파이크 온다고? 정크푸드라고?...
-
커플 ㅇㅈ 14
ㅍ
-
지네집안 잘났다고 은근 자랑하는 ㅂㅅ은 ㄹㅇ 왜저러고사나싶었음
-
컨셉보고 진짜 그사람을 사랑하게됏는데 나중에 저사실컨셉이구 여자 좋아함.. 하면...
-
이정도 봤으면 먹어보는게 예의인듯
님이 논리체계라는 개념을 잘못알고있는거임
어떤 논리체계 안에서 공리를 세우고 그 공리를 기반으로 서로 의쌰의쌰 보완해주면서 쌓아나가는 게 논리체계임
공리를 부정하는 거 자체가 해당공리를 공리로 하는 논리체계를 벗어나는 거고 님이 말했듯이 공리를 증명하는 명제는 없으니 공리의 부정이 기존의 논리체계에서 벗어나더라도 그걸로 다른 논리체계를 쌓아나갈 수 있으면 의미가 있는 거임
기하학에서 유클리드와 비유클리드가 그 예시임