진지하게 이거 맞는말 아님?
게시글 주소: https://orbi.kr/00071387807
공리는 참이라는 증명이 없다
이말은 귀류법 증명이 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
전제가 참이면 결론이 참이다
결론이 거짓이면 전제가 거짓이다
공리는 전제에 속한다
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면 공리가 거짓
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제) 1+1=2라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
국일만 2
예비 고2 정시파이터입니다. 고3 모고 기준으로 3등급이 뜨는데 국일만 기본편으로...
-
물마시니 그침
-
확통=통통이 1
확통은 신유형 같은거 안나오죠?
-
안녕하세요 뉴비에용 11
방가와용
-
3년 내신 총합 1.27 6월 11222 9월 11112 수능 21225 최저용으로...
-
나도 딴걸로 바꿀까 흠
-
자고 일어났어요 10
잠만보인가....일어나니 저녁때네요
-
ㅈㄱㄴ
-
부엉이가 되자 0
외대생이 되는거야
-
어디 회사 들어가서 저 00대니까 잘 좀 봐주세요<<이게 지금도 있는 일임?
-
만년 완전높2 엿는데 실모연습하니까 깨지더라
-
기출100제 1
시발점 이제 막 끝낸 사람이고 수학 노베인데(좀 많이 노베에요 ㅠㅠ) 기출을 아예...
-
기출 5개년 정도 다 본 다음 해야할까요?
-
이래서야 밥을 이때 먹을수밖에 없잖아
-
엽기 과학자 프래니
-
이전에 국어 관련해서 질문 받았는데 부족하지만 수학, 영어 관련해서도 도움될 수...
-
근데 강의듣고 4
바로 문제 다시 풀어봐도 됨? 잔상으로 푸는거라 의미없나 좀 까먹은 다음에 다시 풀어야하나요
님이 논리체계라는 개념을 잘못알고있는거임
어떤 논리체계 안에서 공리를 세우고 그 공리를 기반으로 서로 의쌰의쌰 보완해주면서 쌓아나가는 게 논리체계임
공리를 부정하는 거 자체가 해당공리를 공리로 하는 논리체계를 벗어나는 거고 님이 말했듯이 공리를 증명하는 명제는 없으니 공리의 부정이 기존의 논리체계에서 벗어나더라도 그걸로 다른 논리체계를 쌓아나갈 수 있으면 의미가 있는 거임
기하학에서 유클리드와 비유클리드가 그 예시임