진지하게 이거 맞는말 아님?
공리는 참이라는 증명이 없다
이말은 귀류법 증명이 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
전제가 참이면 결론이 참이다
결론이 거짓이면 전제가 거짓이다
공리는 전제에 속한다
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면 공리가 거짓
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제) 1+1=2라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
오르비 안녕히주무세요 15
저 내일은 일찍 일어나야해요
-
ㅇㅈ 13
애들한테 증사 다 줘버려서 이번에 외갓집 가서 제 증사 좀 꼬불쳐옴…
-
여자도 똥 쌈? 8
알려줘
-
무물보 21
받아요
-
잇올도착 2
TodAy staRto
-
실제로 토크온 여목 장인임
-
과외러 출근한다 3
8시반부터 2시반까지다 응원해줘라
-
04년생 남르비입니다. 15
이번엔 꼭 대학가고싶네요...
-
흠..
-
ㅇㅈ 14
시즌6974번째 재탕.
-
밸런스게임 9
앵간치나이먹고 나중에 띠동갑만나기 Vs 20대초중에 민짜만나기
-
올해 서울대 3차 발표가 19일 18시고 고대,연대도 전추 마감이 19일...
-
애초에 개념강의를 안듣고 푸는거라 걍 딥러닝으로 답지로 개념 습득 그래서 문제는...
-
롤 안하고 발로란트 한다는데
님이 논리체계라는 개념을 잘못알고있는거임
어떤 논리체계 안에서 공리를 세우고 그 공리를 기반으로 서로 의쌰의쌰 보완해주면서 쌓아나가는 게 논리체계임
공리를 부정하는 거 자체가 해당공리를 공리로 하는 논리체계를 벗어나는 거고 님이 말했듯이 공리를 증명하는 명제는 없으니 공리의 부정이 기존의 논리체계에서 벗어나더라도 그걸로 다른 논리체계를 쌓아나갈 수 있으면 의미가 있는 거임
기하학에서 유클리드와 비유클리드가 그 예시임