증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
근데 맞팔 왜 구하는거임? 6 0
걍 풍부한 알림창 볼라고?
-
본인 ai ㅇㅈㅇㅈ 6 0
엉엉
-
사탐이너무무서워 6 0
동아시아사가 너무 무서워 역덕이들이 너무 무서워 정사썰까지 다 알고 잇는 애들이...
-
카페인 니코틴 메틸페니데이트 25 8
이제 하나라도 없으면 못살겠다
-
한완수 확통 ㄱㅊ? 0 1
확통 노베인데 한완수 사서 독학 개념하고 이창무 심특으로 갈아타도 충분할까요? 확통 고수 분들?
-
선착한명 인스타 5 0
알랴드림
-
... 조기발표 제발제발 조발제발 아오 진짜 연세대 ㅈㅂㅈㅂ
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다