[모든 참인 명제는 부정해도 무모순임 증명]
게시글 주소: https://w.orbi.kr/00071403001
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
과외끝남요 4
헤헤
-
강의 듣다가 교재에 없는 거 칠판에 띄워지면 2511 2510 2509 2507...
-
수용가능한 선에서 한번정돈 더 나오지 않을가
-
근데 이분은 그냥 천재인듯... 영상미 미침 영상쪽 전공자는 아니래요
-
동국대 조발 0
ㅈㅈ하게 오늘 뜨냐 오늘 아니면 의미가업음
-
덕코 주세요 6
감사합니다
-
인스타 맞팔이라도 해놓을걸… 뉴비라서 듀오 은근 재밌었는데 아쉽다
-
수학 기출 0
기본개념을 끝내고 냅다 자이스토리 사서 풀었었거든요 1등급(별3개) 문제들은...
-
아 이거 풀기시룬뎅 ㅇㅅㅇ
-
상관없나
-
럭키편돌이나 개부랄따개가 됐을텐데.... 다시보면 메쟈의? 럭키빗치자나
-
고3때 생각나네
-
시립대 일주일만 3
조발해주면 안되겠니? 간절해..
-
잘생기고 이뻐야 영상이 뜨는 관계로 포기 대신 나중에 돈 벌면 자동차 유튜브는 하고 싶음
-
-
첫 글을 올린지 약 한 달만이에요 맞팔 구하기 등은 전혀 하지 않았는데도 제 글을...
-
수능칠때 귀마개 0
ㄹㅇ 필수인듯? 본인 9평까지 안끼다가 9덮인가 10덮에 ㅁㅊ 빌런 만나보고 바로...
-
-
?
-
기빨림.
-
아무생각 4
싫
-
여자친구 구해요 9
잘해드립니다
-
국어 과외 지문 3
독서 붙여읽기 습관 잡는 데에 좋은 기출 지문 머가 있을까요?ㅠㅠㅠㅠ 소정의 덕코 드려요 ㅠㅠ
-
내시험실은 2
미적 29를 30이랑 42?랑 갈드컵하고있더라
-
일어나자마자 밥주고 밥먹으면 더먹으라고 밥주고 밥 다먹으면 다음 밥 먹을때까지...
-
나갔네.. 8
헤휴..
-
재업) 성장곡선 5
곡선이 아니긴한데 쨋든. 32->74 캬캬암산테스트 그거임
-
드레이븐 스택 20분동안 900스택 쌓고 터트렸는데 비트코인이 이런 느낌이구나 9
뇌가 절여지는 느낌을 받음..
-
히카루가 죽은 여름 10
오랜만에 읽을만한거 찾았네요 게@이물이라고 하길래 쫄앗는데 실눈뜨고 보면 그냥 친한...
-
한 달 째 안 씻었는데 13
지금 시험보면 물1 만점 가능?
-
에어컨이 아예 고장나서 제습도 안되고 온도 조절도 안됨ㅋㅋㅋ 이산화 탄소 존나...
-
ㅠㅠ
-
난 5명정도 남고 나머지 다 포기각서
-
저리가세요
-
물탔는데 증거금 터지면 진짜 자살함...
-
왜냐면 나도 따뜻한거 마시는 비중이 전보다 늘었음...
-
???
-
오래된 생각이다.
-
기운나는구만
-
반수 국어 탐구 시간 말곤 파본검사 안해봄
-
웃으면서 떠드는 거 원래 그런 거임?? 이거 컴플레인 걸어도 되는 건지 아닌지...
-
파본검사를 안시켜주길래 조마조마하고 있었는데 왼쪽 앞 친구(오르비, 디시할거같이...
-
살쪗어요 2
77kg됨
-
일을 안 하고 먹고 살고 싶구나
-
그 사람 성별을 짐작하게 됨. 여캐 프로필은 여르비로 무의식적으로 인식함. 그래서...
-
있었음? 소수말고 다수
-
수능 감독관 <<<<< 이새끼들 왜 잘못해도 걍 넘어감? 7
수험생 최소 몇십명의 인생이 이새끼들 손에 달린거 아님? 신상 까고 면직을 하던...
-
저능아가 설대설로검사루트타는거 보여줄게
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ