진지하게 이거 맞는말 아님?
게시글 주소: https://orbi.kr/00071387807
공리는 참이라는 증명이 없다
이말은 귀류법 증명이 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
전제가 참이면 결론이 참이다
결론이 거짓이면 전제가 거짓이다
공리는 전제에 속한다
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면 공리가 거짓
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제) 1+1=2라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
개강하고 1학기다닐때 수능공부 올스탑하시나요?? 아니먼 똑같이하시나요… 그리고 제가...
-
제발 붙는다해
-
-
초딩과외재미없다 4
가르칠게없어 하..
-
연경제 3
685.×××까지 붙을듯(주관적인 예측입니다)
-
전적대 자퇴 0
언제까지해야함
-
중앙대 합격생을 위한 노크선배 꿀팁 [중앙대25][중앙대학교 공부스팟] 0
대학커뮤니티 노크에서 선발한 중앙대 선배가 오르비에 있는 예비 중앙대학생, 중앙대...
-
-
정시 최초합 등록기간에 부모님 중 한분이 대신 등록 가능한거에요? 0
여행때문에 2월 12일 전까지 귀국은 안될거같은데 어머니가 대신 등록...
-
다 끝날거 같은데 중간중간 복습한다는 기준으로 3월말에 끝내는 정도면 충분한가? 아니면 좀 느림?
-
만화책 이제 한권 남았는데 부족할거 같네..
-
도쿄 갈 사람 3
비용은 님들이 부담
-
머리 아플 때 타이레놀이란.ㄴ 약 먹으면 나아질 수도 잇음뇨
-
감기 심하게 걸려서 이틀내내 누워있습니다..
님이 논리체계라는 개념을 잘못알고있는거임
어떤 논리체계 안에서 공리를 세우고 그 공리를 기반으로 서로 의쌰의쌰 보완해주면서 쌓아나가는 게 논리체계임
공리를 부정하는 거 자체가 해당공리를 공리로 하는 논리체계를 벗어나는 거고 님이 말했듯이 공리를 증명하는 명제는 없으니 공리의 부정이 기존의 논리체계에서 벗어나더라도 그걸로 다른 논리체계를 쌓아나갈 수 있으면 의미가 있는 거임
기하학에서 유클리드와 비유클리드가 그 예시임