증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
What's up, guys? This is Ryan from Centum...
-
이거 완전 3
냥냥
-
이래서야 할 일을 할 수가 없잔아
-
그 후로 단발이 좋더라 계속
-
댓글빨리다느라 3
내용도 모르고 달았다가 상처받으면어카지
-
너무들하네
-
ㅈㄱㄴ
-
저도 하관 못생겨서 하관 가리고 올렸었음
-
준비 갈 완료~ 1
-
원래 병신이라 굳이 더 병신같아질 필요가 없음...
-
환급서류 낼때 그냥 모자이크없이 전부내나요? 오늘우연히하려고 들어갔는데 원본내라고...
-
안 해주면 울거야
-
한완수로 끝내버리겟어
-
중냥아 안녕? 2
ㅎㅇㅎㅇ
-
화학안해본사람들은 등급컷만보고 쉽다하는거고 화학 하는사람들은 사설모의고사가...
-
손 놓은지 2년넘게 지나서 그런지 진짜 1도 기억이 안나네...
-
식단이 헬
-
더 기다리나
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다