증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
담배 한 개비 굽고 와서 진짜 시작함
-
나 어디살지 9
속초?안산? 수원? 당진? 어디 사는거지;;
-
수능잘치긴그른거같노
-
이성애자임
-
260909에게 무물보 18
^.^ 심심애
-
재밌겠다..
-
너무 특이한가 자주웃는 사람도 별로야 자주 우는사람도 별로여
-
라면먹어야겠다 진매로 간다
-
나는 넷상에서도 할수있는 얘기가 수학 과탐 철도 지리 이정도밖에 없음
-
거의 코끼리임 맞아보실 분
-
뿌직 헤헤
-
진짜잠바이 3
ㅇ
-
엉덩이에 누워잇음
-
또 신기록임 5
칭찬해줘
-
가보실까?! 8
자살하러. 왜 잘생겼지 흠..
-
진짜몰라서 물어봄 정시
-
나 고1때는 210cm는 찍엇는디
-
미적은 만들기 개싫네 14
공통은 재미라도 있는데...
-
저는 조종사 항공교통관제사 마술사
-
그 시간에 술을 먹거나 커피를 먹으면 되는 거였음
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다