진지하게 이거 맞는말 아님?
게시글 주소: https://orbi.kr/00071387807
공리는 참이라는 증명이 없다
이말은 귀류법 증명이 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
전제가 참이면 결론이 참이다
결론이 거짓이면 전제가 거짓이다
공리는 전제에 속한다
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면 공리가 거짓
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제) 1+1=2라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
다들 잘자요 0
굿 나잇
-
계속 새로고침 누르고 있으시는건가
-
해보신 분들 알려주세요
-
저 영어 빼고 12개인데 국어가 절반을 차지함
-
첫닉은 11
하이샵
-
뭔가 인강듣는 시간 아깝고 2배속으로들어도 뭔말인지 알아들어서 강의는 다 2배속으로 돌려봤었는데
-
어둠의 표본은 모두 내 뒤일것아야!! 제발그렇게생각하자! 모두내뒤가어둠의표본!...
-
시호게이가 풀길 바랬지만 넘 늦게 올렸으니... 낮에 다른걸로 다시 가져와야겠음뇨
-
일요일인데 그냥 찾아가서 상담받으러왔어요 하면 되는건가요..? 강대랑 이런데는 제가...
-
진짜 망함 11
4자리 숫자만 보면 1557 생각남..
님이 논리체계라는 개념을 잘못알고있는거임
어떤 논리체계 안에서 공리를 세우고 그 공리를 기반으로 서로 의쌰의쌰 보완해주면서 쌓아나가는 게 논리체계임
공리를 부정하는 거 자체가 해당공리를 공리로 하는 논리체계를 벗어나는 거고 님이 말했듯이 공리를 증명하는 명제는 없으니 공리의 부정이 기존의 논리체계에서 벗어나더라도 그걸로 다른 논리체계를 쌓아나갈 수 있으면 의미가 있는 거임
기하학에서 유클리드와 비유클리드가 그 예시임