증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
정기님은 2로 보면서도 청소년이 서울에 살면서 가질 단점은 간과하신 거 같은데 자기...
-
내일부터는 일상으로 복귀하고 학점도 챙겨야겠지요.. 군대도 가야하네 곧
-
데이트하러가기로함 11
바지랑 데이트임
-
제 최애짤임 페이커 쪼낙만큼 좋아함 진짜 너무 귀여워 해보신분 있으면 후기좀 알려주셈
-
안녕 해원누나야 7
-
나 못생김 9
nail 생김
-
다들 대단하십니다..
-
배가 다시 아파짐. 야메추
-
ㄹㅇ 수석임 나는
-
1회용 사서 세이프함.. 하 너무힘들어
-
정상화된거 아니었냐..
-
이거 외워야함 9
1001=7*11*13ㄹㅇ임,
-
저게 가능한가 사람인가 싶던 점수들 이제 내가 다 이겨버렷음 사실 아직 못 이긴 사람도 잇음
-
사실 초 엘리트 ms 영재반들의 활약임
-
...
-
머리잘라야지
-
인증함 6
ㅇ.
-
뭐 어때~
-
담배 한 개비 굽고 와서 진짜 시작함
-
나 어디살지 9
속초?안산? 수원? 당진? 어디 사는거지;;
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다