증명된 사실을 부정해도 무모순 임을 증명
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
육.덕 테스트 0
이딴 게 3.6퍼씩이나?
-
육덕테스트 4
저는 슬렌더가 취항인듯
-
옯삐미끄러졋어 5
폰도 안 보고 걸었는데 눈밑에 얼음이 얼어있었어
-
치킨집 수익과 개업에 대해서요
-
삼각함수 다 까먹어서 하나도 못알아먹는중 집중이 안되네
-
우리 과 인원중에서 일단 내가 음지력 제일 높음
-
이거 이긴다니까 0
미드차이가 난다고 비디디 - 불독이면 미드차이 빡세게 이기지
-
그치만 자산으로 커버가 된다면 이츠오케이입니다
-
물을 냄비에넣고 직접 끓인다음에 이렇게 생긴 바가지로 머리에 토렴하듯이 물 얹지면서 머리감음
-
육덕 ㅇㅈ 5
뭐하냐 환생안하고
-
타자 ㅇㅈ 0
https://typing.works/
-
내가 성격S임 이건 진짜 내 친구가 보면 웃겨서 숨넘어갈듯
-
@graceful_mom_mingle zzzzzzzzzzzzzz 이게 뭐임
-
반박하면 원딜 cs내가 다 먹어야지
-
마이고 재밌나요 2
걸밴크 재밌게봤어요
-
궁금함뇨 그냥 자기 하기 나름인가
-
원래는 2월중에 주요변화평가 판정결과가 나온 뒤에나 좀 더 상황이 확정되고 나서...
-
. 1
.
-
지방 약대 4
지방 약대 합격했는데 재수해서 인서울 약대로 옮길 가치가 있을까요? 진지하게 알려주세요
-
F ㅅㅂ 3
-
성격은 안숨겨지나버네 ㅇ
-
대체 왜 금수저임?????? ㅆ1팔 금수저면 대학 안갔지
-
도넛땡긴다..
-
오늘 개고생했다 1
너무 많은 일이 있었어... 지금 ㅈㄴ 예민하고 세상 모든게 짜증남
-
밤마다 애니보면서 2d여캐에 대한 진지한 토론만 하다보니..
-
꼭 보세요
-
뭐 적어야함?
-
육덕테스트 0
성격이 왜 B가나오지
-
다른테스트 가져와라
-
밤산책ㅇㅈ 6
이게 눈이야 비야
-
30시간 투자할 가치가 있나
-
하 씨바 못참겠다
-
뿌듯하다
-
벽 느낌. 27,29도 어려움..
-
뭐뭐 그럴 수도 있는거니깐요
-
연애0회에 번따0회인데 왜 b임?
-
에휴다노
-
화2는 어떨까 화1만점권친구들은 수학도 고정96-100이라 계산은 다들 ㅈㄴ빠르긴하던데
-
ㅆ1팔
-
23수능을 마지막으로(공통-8점) 공부를 손놓은상태라서 내년시험을 목표로...
-
일반 기술병이랑 전문 기술병 중에 보통 어떤걸 많이 가나요? 전문 기술병은 전공...
-
아까 인증했다가 우편함에 밤길 조심하라는 장문의 쪽지 날아옴ㅠㅠ
-
공스타 팔로우한새끼중에 좆같은 게시물 올리는새끼있네 4
씨발련이 진짜 앰창인가
-
외모 F ㅇㅈ 7
쌍두형 오리 ㅁㅌㅊ?
-
뭔 서성한이 학력 B랭크냐
-
신선한 공기를 마셔줘야해
-
부럽다잉 ㅋㅋㅋㅋㅋ
-
근대 20-24살에 8천잇어두 c면 어케 십발
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다