증명된 사실을 부정해도 무모순 임을 증명
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
진짜 다갓네 7
나도 진짜 진짜 그냥 자야하나 에휴
-
ㅋㅋ
-
바로 앞에 있는 책들만 15
참고로 4권부터는 비닐도 아직 안 뜯음ㅋㅋ
-
고2 고3 때는 하루 10시간도 공부했는데 재수부터는 하루 4시간도 집중이 어려움
-
상실의 시대 14
합법적 야설 goat 제 3인류도 좀 있었던 기억이
-
일주일째 유입 0명임요 소수과라서 ㄹㅇ 불안한데 원서 마감 직전에 봤을때는...
-
롤 너무 어렵다 7
시작한지 한 달 반정도 된거 같은데 너무 어렵노
-
전 딱히 없음..숫자들은 그 자체로 모두 아름다움
-
컷보다 몇점 정도 높아야 한다고 봄? 설뱃들 도와줘요
-
배고프다 6
근데 움직이기 시름
-
나니아연대기 광팬이었음 14
수잔인지 수지인지 뭐시기는 ㄹㅇ 엄이라 생각함
-
증명이란 특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을...
-
하아 또 과외 1
녹을 것 같아
-
지금 일어난게 아니라 아직 안잤어요...
-
피아노를 던지면 어떻게 10
피아노
-
ㅇㅇ
-
욕 한 번을 1년에 쓸까말까한 ㄹㅇ 클린 유저
-
초반에 내 존재를 알리기위해 팔로잉 껏다켯다 연타함 신호가 안가나봄 근데 그래서 엄청 뒤섞임
-
언더테일 진짜 재밋엇음 사실 이미지가 좃망해서 그렇지..
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다