증명된 사실을 부정해도 무모순 임을 증명
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
당장 실행하자.
-
jam 2
(잠)
-
카페인 벅벅 먹으면 그만이야~~~~~~~~~
-
넵. 오늘부터 화이팅
-
아 0
왜 아직 못자지
-
맞팔 구합니다 26
보잘것 없는 현역입니다 시대 단과들으러 주말마다 왔다갔다하는 지방러에용
-
오늘은 기하풀기 좋은 날이네
-
수학에서 표준점수 이벤트 중 1) 기하 선택시 즉시 확정 1등급 가능 2) 추가...
-
등록금 빼고 다시 안내에 맞춰서 넣어야됨요?
-
얼버기 2
노인은 아침잠이 없다
-
ㅅㅂ.. 다이소이어폰살까.. 음질 솔직히 잘 모르는데
-
오야스미 2
네루!
-
레어 투자법 1
포덕 냥덕 십덕 국기덕 덩기덕쿵더러덕 을 의식하며 사면 됩니다
-
기차지나간당 10
부지런행
-
그른생활 4
부교재 생활의 딸잡이
-
그럼 내 200만덕은.....
-
정보글) 4
본인 아직 안잠
-
다들 왜케못해 어 형이야~
-
ㅈ댓다. 내일알바가는데
-
잘자 5
푼푼
-
여자도 똥 쌈? 8
알려줘
-
어디서함??
-
쏘카 빌려서 놀고 늦게 들어가는 길이었는데 꼭 방심하면 무단횡단 갈기는 븅신들이 꼭...
-
계속홀짝거리게되네
-
밤 어케샘? 2
이제 진짜 밤낮 맞춰야되는디 한 오후 2시 5시 이때가 고비였던걸로 기억하는데
-
베르테르 23번 푸리 12
맞는 푸린진 모르겟는데 계산하다보니 나옴
-
그저그럼
-
100만 원짜리를 자기들은 1000만 원에 사는 것도 아니고 일상생활용품에 관해선...
-
루미큐브가 몬데,,
-
오르비 망했네 4
나도 간다 ㅃ 물론잠을자는건아님ㅇㅇ
-
나랑 오목뜰사람 2
오목의달인 ㄱㄱ
-
물화는 너무 고여있넹 생지도 마찬가지겟지만
-
밸런스게임 9
앵간치나이먹고 나중에 띠동갑만나기 Vs 20대초중에 민짜만나기
-
얘네도잇고 낚시하는 여자애도 공략가능캐인데 걔도 이뿌더라
-
난 몇년생이랑 첫 연애 12
하게될까.... 05 07 연애글 보고 문득 궁금해짐
-
구라임
-
저는 맨날 4시쯤에 자서 2시에 일어남
-
잘자요 4
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다