진지하게 이거 맞는말 아님?
게시글 주소: https://orbi.kr/00071387807
공리는 참이라는 증명이 없다
이말은 귀류법 증명이 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
전제가 참이면 결론이 참이다
결론이 거짓이면 전제가 거짓이다
공리는 전제에 속한다
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면 공리가 거짓
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제) 1+1=2라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
한의대가고싶어 근데학교수업도듣고생활도하고공군준비도하고수능준비도해야되고알바도해야됨
-
잠 이 안 와 4
ㅈ 대 따
-
푸리 13
법선벡터으로 풀엇지만 굳이 그럴 필요는 없습니다 법선벡터로 각도 구할때 잘보면 이면각끼리도 보임
-
언제왕 ?
-
똥먹기 13
미소녀 똥 우걱우걱
-
-
옯뉴비다링 6
-
만우절 기념 닉변 11
아?
-
인증메타인가보네요
-
-
셀럽미 결과 5
흐음 딱히 안 닮았는데
-
ㅈㄱㄴ
-
ㅇㅈ 7
내 프사를 인증한다고 아 ㅋㅋㅋ
-
매트릭스 ai도 지구정복하기 전엔 지브리 그림이나 만들어주고 있었을거 생각하니...
-
-
가 이 세상에 존재할까 죽을때까지 못 만날듯
-
으로 놓고 풀라는 문제가 있었음 물1이었음
-
왜 쳐다봐 10
님이 논리체계라는 개념을 잘못알고있는거임
어떤 논리체계 안에서 공리를 세우고 그 공리를 기반으로 서로 의쌰의쌰 보완해주면서 쌓아나가는 게 논리체계임
공리를 부정하는 거 자체가 해당공리를 공리로 하는 논리체계를 벗어나는 거고 님이 말했듯이 공리를 증명하는 명제는 없으니 공리의 부정이 기존의 논리체계에서 벗어나더라도 그걸로 다른 논리체계를 쌓아나갈 수 있으면 의미가 있는 거임
기하학에서 유클리드와 비유클리드가 그 예시임