진지하게 이거 맞는말 아님?
게시글 주소: https://orbi.kr/00071387807
공리는 참이라는 증명이 없다
이말은 귀류법 증명이 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
전제가 참이면 결론이 참이다
결론이 거짓이면 전제가 거짓이다
공리는 전제에 속한다
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면 공리가 거짓
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제) 1+1=2라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
대략 며칠 정도 뒤에 마감되나오?
-
오늘 하루도 너무너무 고생하셨어요 ( ˶ｰ̀֊ｰ́ )੭ 내일은 더 나은 하루가...
-
미친 개땽긴다이따 사가야지
-
학통을 다 맞고 수학 1을 쟁취하자
-
-
엔티켓이 더 어려운 거 같지 내가 이상한 건가 뭐지
-
대구 독재 0
어디가ㅜ제일 싼가요..?
-
독서론 -> 독서 1,2번째 지문 -> 언매 -> 독서 3번쨰 지문 -> 문학...
-
놀랍게도 작년 3모의 표준점수 1,2등은 물화였다
-
스블만해도 0
범준쌤 여러모로 까이는건 다 인정하긴 하지만 내용이 너무 좋습니다. 너무 많이...
-
님들이면 어케하실건가요? 재수삼수 2년간 6,9 모두 50점인데 수능 백분위...
-
안 좋은 거 같은데
-
개저씨 한마리 왜 빡쳤는지는 모르겠지만 커풀 한쌍 따라다니며 "야발련아 니 친구냐" 시전 ㄷㄷ
-
자기전몰컴중 7
몰래오르비하기..
-
스고이~
-
아직 게시물은 없는디 오늘부터 성실히 올릴거임!
-
2025학년도 차의과학대 입시결과(수시_약학과 포함) 0
2025학년도 차의과학대 입시결과(수시_약학과.. : 네이버블로그
-
람쥐센세 6
는 오르비줄이기 성공했네.. 나도 줄여야게써
-
-
거리곱 같은 스킬 모아둔 책 있던대 필요함??
님이 논리체계라는 개념을 잘못알고있는거임
어떤 논리체계 안에서 공리를 세우고 그 공리를 기반으로 서로 의쌰의쌰 보완해주면서 쌓아나가는 게 논리체계임
공리를 부정하는 거 자체가 해당공리를 공리로 하는 논리체계를 벗어나는 거고 님이 말했듯이 공리를 증명하는 명제는 없으니 공리의 부정이 기존의 논리체계에서 벗어나더라도 그걸로 다른 논리체계를 쌓아나갈 수 있으면 의미가 있는 거임
기하학에서 유클리드와 비유클리드가 그 예시임