증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
내신 2.6x 지방일반고(표편 10중반)다니고 잇습니다. 원래 생명에 관심많아...
-
제목은 조금 어그로고ㅎㅎ LATEX의 기능을 활용하여 코드 세워서 평가원 그래프...
-
호일 넣고 전자레인지 돌리는 빡대가리라 울었어
-
확통 1,2,3 단원중에서 제일 어려운데가 어디임? 어려운 문제 많이 나오는...
-
저녁ㅇㅈ 5
-
ㅇㅈ 2
이(국)주
-
펜슬 프로만 호환됌?
-
조언 구합니다ㅠㅠ 13
이제 고2 올라가는 08년생입니다. 연고전,고연전(고연전,연고전) 민족의 아리아...
-
과외 끝남 0
스카가야됨 ㅅㅂㄹ
-
그냥 성대가는거다 생각하고 눈 질끈감고 있을래... 먹은거 올라오는 느낌 손발...
-
그 약간 사람이 재미가 없음 광대애들을 ㅈㄴ 부러워하긴함ㅋㅋㅋ
-
고2 모의고사임. 화학1 원점수임. 3월 39 4월 35 7월 36 9월 29...
-
재종고민 4
화미생윤사문 43223 26수능 언미생윤사문으로 치려하는데시대 재종 붙기 힘들까요?...
-
전여친 연락옴 3
게임하게 스팀 아이디 알려달라네 ㄲㄲ
-
내가 재수할때부터 갑자기 입결이 곤두박질침 ㅋㅋ 원래 23수능 기준으로는 그래도 교대 괜찮았었음..
-
정승제vs양승진 3
작수3등급(턱걸이) 재수 할때 어떤 선생님이 좋을까요?? 오랜만에 공부해서 기억이...
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다