[모든 참인 명제는 부정해도 무모순임 증명]
게시글 주소: https://app.orbi.kr/00071403001
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
나름 성대반수생인데 크흠...
-
육각덕 테스트 10
-
-
상관없다네..? 나중에 해봐야지
-
아이패드 에어 불편함? 11
친구가 좀 렉 걸리는 느낌이라는데 ㅇㄱㅈㅉㅇㅇ? 에어13고민중이였는데
-
오늘의 초딩겜 0
전기를 쓰기 시작
-
학생이라 직업이 나락이군요 학력은 약대지만 설카포로 뻥친건 비밀。
-
보고 싶던 애니메이션 DVD나 블루레이를 시간 때우기용으로 볼 수 있다는 게...
-
안되겠다 치킨집 연다 35
상호명은 오르비치킨으로 오르비 본사 맞은편 건물 1층에 여는데 알바는 고닉 몇 명...
-
그냥 버스기사가 승객들 대가리 다 후려친다음에 강제로 버스로 끌고가서 운전함
-
확통사탐 12111뜨면 22
어디가나요 설대 ㄱㄴ? 설대 젤 낮과가 컷이 어느정도임
-
[고려대학교 25학번 합격] 합격자를 위한 고려대 25 단톡방을 소개합니다. 0
고려대 25학번 합격자를 위한 고려대 클루x노크 오픈채팅방을 소개합니다. 24학번...
-
육각덕 테스트 ㅇㅈ 20
-
본인은 군수중인 수포자 확통임 3년전에 고3일때 수학학원 다니다가 던지긴 했는데...
-
세종대 합격생을 위한 노크선배 꿀팁 [세종대 25][맛집] 0
대학커뮤니티 노크에서 선발한 세종대 선배가 오르비에 있는 예비 세종대생, 세종대...
-
연대 상경계열 따로 뽑는거 교수님의 깊은 뜻이 느껴진다 5
경제+통계 복전 대학원을 위한 황금 조합 왜 아는지는 묻지 마세요
-
키가 2cm라서 7
165cm 이하 넣긴 햇는데 이게 맞냐..?
-
알바야 치킨튀겨라
-
“벌통에 여왕벌이 없잖아!”…양봉업자 살해한 70대 검거 2
여왕벌이 없는 벌통을 판매했다는 이유로 양봉업자를 살해하고 유기한 70대가 경찰에...
-
창업비용이랑 치킨집운영이 조스로보이냐
-
231122 수식풀이 16
의외로 그래프논리보다 수식논리가 훨씬 간?결한 문제 시험지 위에 굳이 안적어도 되는...
-
엄마와 아빠의 대학에 나는 약대생으로 들어갈래요 다 뒤졌어요 내년 설날 부모님...
-
궁금해용
-
먼가 취미가 있는게 좋을거같은데 일단 헬스하느라 다른건 생각을 못해봤음..
-
눈 따위 맞으면서 가기
-
아. 5
시발…
-
저도 현생이 있고 현업이 있으니 계속해서 모니터링 하면서 대응하기 어려운게...
-
지금도 그렇지만 앞으로 공돌이는 ai딸깍으로 대체되고 치킨집 차리고 문돌이는 관리직한다는거임
-
나랑 맞지 않음
-
신입생 0
대학 신입생인데 오티나 새터같은건 어떻게 참여하나요 그리고 과잠같은건 어떻게 언제...
-
육덕 해봤는데 3
과기원은 학력 A주고 서성한은 B주네... 계약학과도 반영 해줘!!
-
신입생 0
대학 신입생인데 오티나 새터같은건 어떻게 참여하나요 그리고 과잠같은건 어떻게 언제 사나요
-
육각덕 2
긁네...
-
ㅜㅜㅜㅜ
-
현재 시발점 수1,2 다시 복습겸 돌려보고 있고요 강의 듣기 전에 예습으로 한번...
-
일본어 공부시작
-
육덕 테스트 3
난 육덕보다 슬렌더가 좋던데
-
엄마아빠딱기다려…
-
바로 F 주는게 맞냐?
-
육.덕 테스트 0
이딴 게 3.6퍼씩이나?
-
육덕테스트 9
저는 슬렌더가 취항인듯
-
치킨집 수익과 개업에 대해서요
-
삼각함수 다 까먹어서 하나도 못알아먹는중 집중이 안되네
-
그치만 자산으로 커버가 된다면 이츠오케이입니다
-
타자 ㅇㅈ 0
https://typing.works/
-
육각덕 이거 부정확항게 13
내가 성격S임 이건 진짜 내 친구가 보면 웃겨서 숨넘어갈듯
-
@graceful_mom_mingle zzzzzzzzzzzzzz 이게 뭐임
-
반박하면 원딜 cs내가 다 먹어야지
-
마이고 재밌나요 4
걸밴크 재밌게봤어요
-
궁금함뇨 그냥 자기 하기 나름인가
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ