증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
진짜 궁금한게 8
수학 잘하시는분들은 글씨가 개판이던데(귀납척 추론에 의한 일반화) 왜 그런건가요?...
-
평소에 수학 문제 풀 때 고난도 문제에서 핵심이 되는 개념은 잘 이용이 되는데 정작...
-
사실 이상한거 하나 틀렸는데 잊기로함
-
재수생이고 언매,영어 고정1 미적 92-96 왔다갔다 생1은 내신전교1등도 하고...
-
인터넷 보니 하루에 1회씩 시간 재서 풀고 분석하는걸 추천하시던데 1회를 2일정도에...
-
벌써 7시반이군 6
얼버기할시간
-
사이트전환..
-
-
생윤 세지 고민 1
사탐런 하려고 하는데 어차피 내신으로 물화생지 다 하긴 했는데 공부를 진짜 뒤지게...
-
이수린 = 오하루 라는 얘기가 있음. 궁금하면 검색 ㄱㄱ 빡갤 물2 고닉이래
-
써주세용
-
ㅈㄱㄴ
-
재앙의 한국 출산율… “두 세대 뒤엔 100명이 16명으로”[책의 향기] 3
한국 출산율 하락은 하루 이틀 문제가 아니다. 한국을 대표적 사례로 내세워 문제를...
-
처넌이네 ㄷㄷ
-
인생 쓰다열등감 미쳐돌아버리겠네
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다