증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
방금 2406 2409 기하만 풀어봤는데 2406 풀 땐 27번도 엄청 헷갈렸고...
-
국어-강기분 문학 이원준 독서 영어-기출정식, 월간조정식, 이명학 신텍스 알고리즘...
-
축구 잘 몰라도 아는팀들이 각 구간마다 있네 ㄷㄷㄷ 다 어디 전쟁나서 남자선수들 징병당함??
-
에타가 정확히 이꼬라지임
-
작수 공통 4틀 통통 4틀 작년에도 시발점부터 해서 뉴런 들음 근데 그때는 걍 뭣도...
-
엄청난 뭔가가 있음요? 결국 유기적으로 읽어라 붙여읽어라 이런거 같던데 국어는 결국...
-
입시커뮤니티잖아 ㅋㅋㅋ 근데 난 입시커뮤니티로 안쓰고 있었어서 충격은 안먹었는데...
-
여르비 ㅇㅈ 16
남르비라고 속여와서 죄송했습니다...
-
맞죠?
-
살면서 2
다른 사람 거기가 선 그건 처음보는데 진짜 불쾌하네
-
어차피 현생 아니니까 재밌을 겸 되도 않는 구라 많이 치는데 오르비는 하도 오래...
-
심찬우 커리 8
심찬우쌤은 기출만 한다고 하시는데 그럼 시험 전까지 기출만 하나요? 다른 연습은...
-
십고트 잘생긴 운동남 ㄹㅈㄷㄹㅈㄷㄹㅈㄷ 방금 기만당하고 오는길임.
-
이 사람 영상 재밌던데 ㅇㅇ
-
본인 f1 덕후임 있으면 맞팔해줌 동지를 찾고싶어
-
죄다 헛된 인증이잖아
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다