증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://io.orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
내 인생 시나리오 11
여친 모집글로 100억잇는 여친 사귐 100억을 비트코인에 넣음 200억을 만듬...
-
진짜 소설 한편 뚝딱이네
-
20초반이면 보통 취직도 안할 나인데 돈을 어케 모음 물려받아야 가능하다아니냐
-
기름 온도 못 맞춰서 다 태워먹지 전화 키패드 누르는 법 몰라서 가맹점 신청 못...
-
이거올해첨나온건가요? 퀄이어떤질 묘르겟네요
-
자러간다 6
오늘은 컨디션 난조이슈로 조기취침을 실시하도록 하겠다
-
화1 지랄났다
-
이거재밋네요이 하지만 외모c는좀 가혹하구나
-
예 그래요
-
저긴 고능아 집단 수용소임. 저기 붕괴되면 안에 있던 죄수들 풀려나서 다른과목...
-
요즘 수험생들은 박광일 잘 몰라서 안 들으려나... 국어 전체 1타였는데
-
키가 2cm라서 7
165cm 이하 넣긴 햇는데 이게 맞냐..?
-
있음? 걍 무난하게 쓸려는데
-
밤마다 애니보면서 2d여캐에 대한 진지한 토론만 하다보니..
-
육각덕 테스트 5
-
엄마와 아빠의 대학에 나는 약대생으로 들어갈래요 다 뒤졌어요 내년 설날 부모님...
-
위에서부터 차례로 얼굴 가슴 허리 골반 다리 이렇게 맞나요?
-
ㄱㅇㅇ
-
하....못참겠네
-
지금 쓰는건 개무거워서 절대 못들고다님 집에서는 쓸수있는데 패드에 키보드 달고...
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다