증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://app.orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
고경 빵맞네ㅠ 6
점공율 71% 현재 655점 122등 추합권 넉넉히 들어오네... 교과쓰지말고 일반...
-
작년에 기하 시발점 한번 듣고 지금은 그냥 강의 들으면 아 맞다 저거였지 이런느낌...
-
입갤 2
Hi
-
https://orbi.kr/00071400241 하시발 왜 반응이 미지근해..
-
“26의대정원을 7000명으로 늘리겠습니다! 이번에는 인서울 의대 정원 두배...
-
수특 수완 반드시 풀어야하나요? 국어처럼 연계가 많이 되는지 궁금합니다..!
-
작수 65점이면 노베인가요
-
얼마라고 보시나요
-
06재수생임 정확히는 반수. 작년에 정승제 개때잡 들었었고 현역 수능 확통 원점수...
-
기출 끝냈다고 할 수 있는건가요 아님 마더텅이나 자이스토리 같은거 더 풀어야하나요
-
과탐 가산 5퍼 이상인 대학은 과탐하는게 나을까요? 1
원하는 대학이 대부분 과탐가산 5퍼 이상인 것 같아서 작수 지1 개념기출만 하고...
-
사실 이상한거 하나 틀렸는데 잊기로함
-
재수생이고 언매,영어 고정1 미적 92-96 왔다갔다 생1은 내신전교1등도 하고...
-
아이젠이 딱 저한테 어렵지도 않고 쉽지도 않은 적당한 착붙 수준인데 이정도면 뭔 공부해야할까요ㅠ
-
사탐런이요? 2
과탐햐서 만점받으면 그만이야~~ ㅋㅋ
-
ㅈㄱㄴ
-
시발점 후 1
담주에 시발점 끝나는데 다음에 뭐 풀면 되나요? 수분감 생각중이긴한대 시발점은...
-
83(3) 95(2) 2 90(2) 87(3) 언미영물생 순인데 목동 시대재종...
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다