증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
물1 역학->물2->물1,지1->지2,생2->생1 순으로 공부했을때 1과목이...
-
다들 잘자 2
웅
-
이태리 불란서 독일 희랍...
-
그냥 우울턴 올 때 마다 안쓰러워 뷰였는데 이젠 공격성이 불특정 외부대상까지 뻗치네
-
과외도 못할 듯 작년에 가서 다행이다노
-
아직 미적 진도 다 나가지도않았고 3모 기본 2점문제 2개만 맞춘 수준인데 그냥...
-
나는 의미있는 존재는 아니었나보네 인생 잘못살은듯
-
수학 ㅅㅂ 새로 배운 게 ㅈ도 없어버리니까 개념원리 rpm 영어로 푸는 기분이다 개좆같다
-
사실 드라마 합응 때 민족의 아리아 장면 끝나고 연대 쪽 단원들 표정 굳어있고...
-
빅스선물이 40? 5년에 한번오는자리다
-
그만해다오..
-
엔제중에 말고 그냥 절대 난도 자체로요
-
경제학과 목표로 하는 재수생입니다 작수 미적 했다가 확통이 공부량 자체가 적다,...
-
근데 지2에괴수가너무많음 당장 오르비에도 잇고
-
다시 해야겠너.. 인강듣기시른데 문제만풀까 그냥 인강이 싫다 잠온다
-
가능할까요? 2
원장연 투장연 모두 안락사 당하는 과탐 상폐엔딩 가능할까요?
-
원래도 무섭게 생겼는데 이젠 보면 혐오의 시대 밖에 생각 안나노
-
민지: 낙지 탕탕이 나도 안 먹어 봤어.민지: 아! 나 이제 안 먹어봤다는 말 좀...
-
ㅇㅈ?
-
32233
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다