진지하게 이거 맞는말 아님?
게시글 주소: https://orbi.kr/00071387807
공리는 참이라는 증명이 없다
이말은 귀류법 증명이 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
전제가 참이면 결론이 참이다
결론이 거짓이면 전제가 거짓이다
공리는 전제에 속한다
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면 공리가 거짓
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제) 1+1=2라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
친구하자
-
서울대 내신 cc 확정이면 수능 아무리 잘봐도 서울대 불가능인가요? 문과쟁이고...
-
ㅈㄱㄴ
-
50%
-
마감때라 키오스크 꺼놔서 카운터에서 주문했는데 넘 오랜만에 와서 당도 얘기해야하는걸...
-
못참겠다 흐흐
-
미적 우선구매해요 공통 있으면 좋습니다 연락주세요
-
[치대 정보] 치과의사 전문의, 전문과목에 대한 소개 4
치과의사 전문 과목에는 총 11개 과목이 있습니다. 모두 철저한 수련 과정을...
-
-
모범생까진 아닌거 같기도 하고,,
-
수학해야겠다 3
돈벌준비해야제.. 적백이될것
-
단층이 생기면 지층이 어긋나잖아요, 그럼 지층 높이가 달라지는데 왜 문제들을 보면...
-
훈련도감이 다른강사 무슨 포지션인가요?
님이 논리체계라는 개념을 잘못알고있는거임
어떤 논리체계 안에서 공리를 세우고 그 공리를 기반으로 서로 의쌰의쌰 보완해주면서 쌓아나가는 게 논리체계임
공리를 부정하는 거 자체가 해당공리를 공리로 하는 논리체계를 벗어나는 거고 님이 말했듯이 공리를 증명하는 명제는 없으니 공리의 부정이 기존의 논리체계에서 벗어나더라도 그걸로 다른 논리체계를 쌓아나갈 수 있으면 의미가 있는 거임
기하학에서 유클리드와 비유클리드가 그 예시임