[모든 참인 명제는 부정해도 무모순임 증명]
게시글 주소: https://orbi.kr/00071403001
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이재명 25
사회실험 ……?
-
거의 백과사전 급인데 이정도면 ㅋㅋ
-
범바오가 카나토미 안올려서 유목민됨 현역때 기출 제대로 안돌려서 2배속으로라도...
-
하루 공부시간 7시간 정도면 적은 편인가요? 학고 아니고 수업 듣는 기준으로요!...
-
공부글보다 엄준식 3글자 띡 쓴글이 더 반응이 좋았음
-
드릴 6 교육청 사관 기출 갈무리 뭐가 괜찮을까요?
-
국어 공부 13
지금 다들 뭐하심??
-
순공17분... ㅜㅜㅜ
-
진짜 과탐 3
물1 안했으면 외울거 많아서 개귀찮았을듯 화1 안망햇었으면 물1화1 하는거엿는데 ㄲㅂ
-
항상 언제부터 자고잇음 밤샐려그래도
-
공부너무안하고 개념안끝내놓은것도있어서 오늘만 밤새려고하는데 내일 10시까지 학원에서...
-
음운은 해도해도 어렵고나
-
Ian+2-anl = pn+q 라는 조건이 있는 유형에서 첫째항(a1)에 대한...
-
OS 가서 전기톱 가져오기
-
------------------>>>
-
슬퍼요 4
엉엉
-
스키스키
-
-
작수 2고(91이엇나 기억안남) 마닳 한세트씩 하고 단일비 언매만 듣고 있는데...
-
내년 메가패스 4
내년에 현역되는데 살 필요 있을까요? 지금도 강의는 수학 시대밖에 안듣는데..
-
올오카 이번주면 마무리 되는데 체화가 특히 독서가 하나도 안된 느낌이네 표상도...
-
어느 정도 나와야 하나요 정시는 처음이라 기준을 잘 모르겟어요
-
잘려고 누웠는데 밖에서 동생이 오빠가 컴퓨터로 이상한 여자 오타쿠 사진봤어! 이러고...
-
사회 제도에 대한 신뢰도의 개조정은 뭘로 할 수 있을까?
-
윤성훈사문 1
사문 공부 처음 해보는데 윤성훈 개념 강의 듣고 마더텅 풀면 ㄱㅊ을까요? 그리고...
-
ㅠㅠ
-
이걸 어케 외움
-
재수하는데 사탐런 했고 나머지하나는 사문하는중임 생윤이랑 세지 뭐가 더 나음?
-
ㅠㅠ 6
-
-
휴릅선언 13
당분간 휴릅할거임 ㅃㅃ
-
아 졸려 1
오늘은 일찍 자야지
-
원래 저는 옆투블럭다운펌 뒷머리상고 했는데 그냥 이번에는 다운펌도 안하고 커트만...
-
ㄱㄱ
-
잎니다 불편하묜 자새를 고쳐않아
-
오늘은 피곤하니 새르비 스킵합니다 안녕히주무세요
-
크캬ㅑㅋ 2
전반사 끝 전자기파 외워야하는데 어케 외움 이걸
-
원하는거 ㄱㄱ
-
163 75 1
버스 안 타고 그낭 굴러댕김
-
배터리가 4
5퍼밖에없는데 이거 어카지
-
비호감들중에 그나마 제일 나은
-
모두들 0
오늘도 수고하셨어요 ˖♡ ⁺ ᘏ ⑅ ᘏ ˖°ฅ( • · • ฅ) 자주 들어오고...
-
음운변동 일어나는 문장 암거나 댓글로 달아주셈 음운변동 퀴즈 타임 해줘 연습하고싶음...
-
[FIM] 108번 문풀(최후의 보루를 꺼내들어야 한다) 5
난이도: 7.5/10 문제만 읽고 보면 뭔가 그래프를 깔쌈하게 그려서 답을 내는...
-
다들 기만 머지다노
-
겟냐고 ㅋㅋㅋ
-
한길
-
차악과 자폭을 고려하지 못한 자들아 트럼프는 자기가 할 일을 숨기지 않았다
-
cex
-
모두들 잠시 안녕
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ