증명된 사실을 부정해도 무모순 임을 증명
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
아직도 모름? 부정선거 부정하는 사람들 5초 컷 논리 박살 3
시원하게 그냥 딱! 사전투표 선거인명부가 서버에만 있으니까! 논란되는 몇군데....
-
열품타나 공스타 같은데 보면 매일 공시 14시간, 16시간 찍는 분들 계시던데...
-
한강물 정수해서 팔면 서울시민 내 오줌 먹는거 아님? 5
라고 챗gpt가 쓰래요
-
일반고 내신 때 문학은 5등급 떴는데 언매는 2등듭 떴어요 물론 언매 때 좀 더...
-
되팔렘 정상화 꼬시다
-
ㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠ이젠 믿을구석이없어 수학이 떨어지면 재수하는게 무슨의미가있어...
-
감다뒤 ㄹㅈㄷ
-
계산느려도 99받는데에는 지장이 없죠
-
정시 화미동사사문 수학 (작수2컷) 국어 영어 못함 천문우주학과 대충 32311이...
-
어느정도 아웃풋임?
-
한 4명정도만 얼굴 보면 알겠다 싶고 나머진 다 처음보는 사람같음
-
밥사줘어 4
맛잇는거어
-
비염 훌쩍 빌런.. 그래서 조퇴 자주함요 피해줄까봐
-
하...인생
-
1,2지망 대학 모두 전추권일때 마지막날 2지망 대학 전화추합-->등록한다고...
-
그 잇올 밑에 은근 맛있는 집들 개많아서 가끔씩 나가서 밥먹엇었는데 추억이네 ㅋㅋㅋㅋ
-
감 잡았습니다. 3
삼각함수 감 잡은 것 같습니다.
-
아오
-
. 우진이햄은 안알려주던뎅
-
넵.
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다