증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
어렵뇨이
-
좀 살자
-
얼마가 적당할까
-
잇올 퇴근 휴 4
더 열심히 해야되는데 그래야 등급 올리는데 하 힘내자
-
오 고대 떴다 4
떴다 비행기
-
파트1이랑 파트2 뭐가 다름? 파트1만 다운받아서 내용 봤는데 4단원까지 있길래
-
반수 실패하면 어떻게해야함? 엇학기 되는건데 복학하면 한학기는 그냥 교양 위주로...
-
이틀 기다리고 갔는데 사람이 많아서 대기명단 써야하길래 그냥 나와서 편의점 핫바...
-
자대가자마자 토일월화수목을 ㄷㄷㄷ
-
-
과외받고싶다 최근의 생각이다..
-
추합 막날까지 안돌아서 정시상담하고 진학사 돌려보고 히히~ 나 고대생이다~...
-
연대 시벌 0
고연이다 이젠
-
중딩수학을 C받는 저능함
-
외대 조발해! 0
스탑더미발표!
-
단리법 복리법 적금 연금 예전에 안나온다고 들은거같은데 수능 출제 안되나요?
-
우리 옆 생활관에 30대가 있더라고요
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다