증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://io.orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
밤마다 애니보면서 2d여캐에 대한 진지한 토론만 하다보니..
-
엄마와 아빠의 대학에 나는 약대생으로 들어갈래요 다 뒤졌어요 내년 설날 부모님...
-
위에서부터 차례로 얼굴 가슴 허리 골반 다리 이렇게 맞나요?
-
ㄱㅇㅇ
-
하....못참겠네
-
지금 쓰는건 개무거워서 절대 못들고다님 집에서는 쓸수있는데 패드에 키보드 달고...
-
아니질문이너무없잔아
-
건<<<외 5
'어차피 사회나가면 중=경=외=시=서=성=한'
-
-수염 레이저 제모 (여성분들은 겨드랑이 등) 면도 귀찮음 해방은 덤이고......
-
최근에 무안공항에 콘크리트 둔덕 세우는 거 최종승인한 관계자가 숨진 채 발견됐다는데...
-
학생이라 직업이 나락이군요 학력은 약대지만 설카포로 뻥친건 비밀。
-
근데 다 거절해버림 죄송합니다죄송합니다...
-
그런걸지도
-
현생에 충실하면서 진짜 가끔씩만 들어왔는데 벌써 22렙이네
-
원하는 스펙 돈 100억잇어야댐 쿨뷰티미녀여야댐 내가집밖에안나가도뭐라고안해야댐 내...
-
제발
-
외모 F ㅇㅈ 7
쌍두형 오리 ㅁㅌㅊ?
-
학생이라 울었어 ㅠㅠ
-
좋은듯
-
수탐도 잘나와준다 (1등급) > 한의대 수탐이 그럭저럭이다 (2등급) > 연세대...
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다