증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㅇㅇ.. 나한테 화낸거.
-
약속의 5시 0
ㅈㄱㄴ
-
좋아요 ㅋㅋ ㅇㄷㄴㅂㅌ
-
커피는 벌컥 벌컥 마시고 본인들도 개의치 않아하면서 솔직히 그냥 거부감 때문에...
-
인강민철 0
1,2 건너뛰고 3호부터 해도 되나요?
-
취업률 근황 0
2024 취업률
-
무물보 22
-
세종대 합격생을 위한 노크선배 꿀팁 [세종대 25][장학금정보] 0
대학커뮤니티 노크에서 선발한 세종대 선배가 오르비에 있는 예비 세종대생, 세종대...
-
확인을 어떻게 할거야 ㄷㄷ
-
내일 조발해줄거지?
-
연애도 할 필요 없는 거 아님? 애인이 누구냐고 물어보면 그냥 본인이라고 하면 되잖아
-
저런 수열 문제에서 가능한 수를 보려면 표를 써야 하잖아요 제가 표를 저렇게 그리긴...
-
가챠 실패 이슈로 인해 알파 피메일이라도 노려보겠습니다
-
ㅈㄱㄴ
-
대학커뮤니티 노크에서 선발한 단국대 선배가 오르비에 있는 예비 단국대학생, 단국대...
-
덩마려워 4
뿌직뿌직
-
사과대? 아니면 어문?
-
난 못봤는데도 1
굳이 보고싶지가 않은데 그게 왜 보고 싶음? ㅋㅋㅋㅋㅋㅋ
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다