증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
보법이 달라 보법이
-
좆됨 ㄹㅇ
-
난 열등감 가질만한거 (예를들어 나한텐 키메타) 돌릴때 약간 진심 약한 농도로...
-
ㅏ이게 재밌구나 (진짜 재밌어서 한 말)
-
재종 장학이 궁금합니다 10
06년생이고, 대성본원 재종하려는데, 전년도 기준으로 장학주는건가요?
-
냥대간다면 공대로 전과나 다전 할건데 어딜가는 게 좋을까요 ㅠㅠ
-
그냥 인증메타는 잘생긴 사람 구경이라도 하지 AI는 책임 없는 쾌락임 다들 본인...
-
엌ㅋㅋㅋㅋㅋㅋㅋ 젊게 봐줘서 고맙다...
-
너를 위해서 17
너만을 위해서
-
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
걍 아무감정없이 할수도있는 행동임? 술마시고 지인짜 약간만 비틀거렸는데 뒤에서 어깨...
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다