증명된 사실을 부정해도 무모순 임을 증명
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
의사들의 인원제한이 독과점 지키기의 핵심인건 미국이나 한국이나 같네요 차이라 하면,...
-
[일상 속 작은 시] 여행에서 만난 치유의 자작시 - 흐린창밖 3
[일상 속 작은 시] 여행에서 만난 치유의 자작시 - 흐린창밖 안녕하세요, 시를...
-
ㅇㅂㄱ 3
ㅈㄱㄴ
-
꾸준한 상승 보다는, 한동안 정체됐다가 우리 세대가 40 50 먹고 한번 폭등할 것...
-
평가원꺼는 선지 소거법으로 풀 수 있는데 월간지는 내용 해석햐도 문제가 안풀림 ㅠㅠ
-
저가 4~5 뜨는 노베라서 궁금하네여 헬스터디 보고 충격 받은 거도 있어서
-
아이젠이 딱 저한테 어렵지도 않고 쉽지도 않은 적당한 착붙 수준인데 이정도면 뭔 공부해야할까요ㅠ
-
간식 추천좀
-
우두머리(수괴)는 사형 또는 무기징역 처한다고 형법에 규정 대통령 불체포특권의 예외...
-
왜 회식자리에선 소주냐고 좀 있어보이게 양주위스키칵테일같은거먹으면 안되나 아니면 걍 맥주먹던가…
-
나도 시발 청정한 공기와 함께 집이나 독서실에서 수업을듣고싶다고
-
히히 프사 바꿈 2
귀엽다
-
같은 대학 1
원서 두장을 같은 대학 썼는데 A는 최초합 B는 추합권이거든요 그럼 최초합에 먼저...
-
평가원 #~#
-
내수업전에 혓정훈 물리반이였는데 나오는애들 냄새지렸음 와꾸도덤
-
국어 인강 들말 2
국어도 인강 들어야하나요? 들으면 좋을 것 같긴 한데 수학이 많이 급하고 사탐으로...
-
+ 취미는 과학
-
연대야.
-
딸꾹질나와 1
왜그러지.. 딸꾹질멈추는법좀 멈추게해주는 사람 2천덕준다
-
고2모고 99가 2
고3거 치면 많이 달라질까요 ? 물론 고2에는 미적이 안나왔었기도 한데 ..미적만 팔게요ㅠ
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다