진지하게 이거 맞는말 아님?
게시글 주소: https://ys.orbi.kr/00071387807
공리는 참이라는 증명이 없다
이말은 귀류법 증명이 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
전제가 참이면 결론이 참이다
결론이 거짓이면 전제가 거짓이다
공리는 전제에 속한다
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면 공리가 거짓
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제) 1+1=2라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
남캐일러 투척. 29
+여캐두명 음 역시귀엽군
-
다시 푸러볾가 2
귀찮네..
-
제발 급함
-
롤 안하고 발로란트 한다는데
-
-
복사버그네 5
이왜진
-
새르비 멤버가 3
많이 바뀌었네요
-
나보다 목소리 예뻐서 솔직히 열등감 좀 느꼈음 ㅅㅂ… 이 악물고 칭찬해줬다…
-
....?
-
내일은 일찍 일어나야해요
-
님들 뭐해요? 10
:]]
-
오르비 안녕히주무세요 15
저 내일은 일찍 일어나야해요
-
오르비 망함? 2
낼 연휴아니라그런가
-
ㅇㅈ 5
오뿡아 또 낚인거니?
-
6모 D-123 5
저능장아찌 45만 원 뜯기기 123일 전
-
그냥 묵혀둬야지 3
-
질문받습니다 12
키빼몸 120의 사나이 제빵대 재학중 햄버거 먹다가 배탈남 하루 두끼 츄라이중...
-
정벽아 사진 보내봐라 10
누나 압구정가봤다 ㄱㄱ
-
혀클리너 5
제가 좋아하는 세가지입니다.
-
잘생기게 나온당 근데 걍 내가 아님…
-
애초에 개념강의를 안듣고 푸는거라 걍 딥러닝으로 답지로 개념 습득 그래서 문제는...
-
폴리아모리 연애가 성립하려면 1. 3명이상이 폴리아모리 2. 3명이상이 서로를...
-
눈썹 상담 받다가 또 고추털로 보네
-
내신으로 대학가기는 힘들어서 수과만 챙기고 나머지는 4정도로만 맞춰도 될까요
-
답지 절대안보고 고민을 하루를하든한달을하든해야되는거임??? 예를들어 이차방정식이면...
-
-
뭐 오목 비슷한건가 햇는데 ㅋㅋㅋ
님이 논리체계라는 개념을 잘못알고있는거임
어떤 논리체계 안에서 공리를 세우고 그 공리를 기반으로 서로 의쌰의쌰 보완해주면서 쌓아나가는 게 논리체계임
공리를 부정하는 거 자체가 해당공리를 공리로 하는 논리체계를 벗어나는 거고 님이 말했듯이 공리를 증명하는 명제는 없으니 공리의 부정이 기존의 논리체계에서 벗어나더라도 그걸로 다른 논리체계를 쌓아나갈 수 있으면 의미가 있는 거임
기하학에서 유클리드와 비유클리드가 그 예시임