[모든 참인 명제는 부정해도 무모순임 증명]
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
반영되서 나와 어짜피 듄 안봐도 돼 특히 수학
-
ㄱㅁ함 2
나의 오래된 스윾치를 5년만에 찾아서 요즘 mk8dx 재밌게 하고 있음
-
돈관련 ㄱㅁ 2
난 ㅈㄴ맛있는 펩시제로 라임을 1플1으로 살수있늣 2329원의 잔고가있음
-
목소리가 진짜 변성기안온 초등학생목소리임 남성호르몬이 부족한것도아니고 골격 꽉꽉...
-
. 아무리 생각해도 잘난 부분이 하나도 없다 ㅜ
-
이게 유행인거야 베베
-
생정생정생정
-
ㄱㅁ하나더함 6
동네한바퀴 돌다가 사람 있길래 호다닥 꼽껴서 다이맥스 썬더 잡음
-
축제때 한 거 재탕이긴 한데 밑글 여르비 보고 나도 해봄
-
돈자랑 ㄱㅁ질은 좀 그래 박탈감 느껴짐
-
ㄱㅁ하나함 4
최애의아이아직1화도안봄 근데결말은암 ㅁㅌㅊ?
-
??
-
으흐흐흐흐흐흐흐흐흐흐흐흐흫흐흐흐흐흐흐흐흐흐흐흐흐흐흐흐ㅡㅎ흐ㅡ흐흐흐흐흐흐흐흐흐ㅡㅎ흐ㅡ흐...
-
유일하게 하는 가챠겜이 니케인데 신캐 픽업캐 항상 30뽑이내로 뽑음 롤체 전설이도...
-
기만메타뭐임 1
뭐있지
-
기만하나할게 2
나 강연금 아직안봄
-
나도 ㄱㅁ해봄 4
그냥 집에가지마 베베
-
리젠 왤케 11
많은거야 베베
-
같이 연습해요
-
연대의대생보다 고대의대생이 처벌을 마니 받는 이유는? 4
고의라서 ㅋㅋㅋㅋㅋㅋㅋ
-
당장 기억 좀만 되짚어봐도 클럽 자랑 주구장창 올리다가 저격받고 ㅁㅌ 간 사진...
-
두껍아 두껍아 0
Came with the troops 뜯고 맛보고 즐기고 big bang when...
-
꾸짖을 갈❗️ 도로 썩 나가십시오 좋아요 이제 자기가 오토코노코다 싶은 분들만 쪽지 보내기 실시.
-
짧고 굵게 생활에 스며드는 케이팝 특강 케이팝 8년차로 살면서 현생 친구들과...
-
되나여?
-
참나무를 말하는거죠 그리고 그안에는 참나물 너무도 잘어울려요
-
중딩때 사진 ㅇㅈ 11
믿기 힘들겠지만 여르비 지금은 중단발ㅋㅋㅌ
-
10시간 정도 고민하면 괜찮은거 하나 나오지 않을까
-
재밋을거같아 근데
-
난 진짜 모르겠던디
-
ㄱㅁ 찐막 8
롤체에돈쓴적엄슴
-
나 이대로 수능 6
치지마 베베
-
기만할거 10
-
https://5du.pl/xngmk
-
씹덕아닌척 씹덕질하는 앙칼진 씹덕들이 재밌어
-
모두 감사합니다 15
따듯함을 느끼고 가요
-
ㄱㅁ함 5
대만 여행
-
오노추 0
일하러 가기 전 출근곡임요
-
저기는 얼마나 공부를 잘해야 갈 수 있을까 싶었음
-
ㄱㅁ하나할게 2
내책상위에 천혜향하니있음 ㅁㅌㅊ?
-
본인은 일단 션티 커리 타고 있음 (빈칸 순삽은 정식쌤 들을까 고민중) 고2때...
-
맞팔구합니다 2
ㄱㄱ
-
재밌겠당
-
ㄱㅁ하지마 베베 0
오우예
-
ㅇㅈ 릴레이 좀 0
고파스 익게 ㅇㅈ 막혀서 심심하단 말이야
-
3줄요약좀
-
얘도 뽑음
-
함 들어볼까 공통 22문제 1시간동안 풀고 주요문항 1시간 해강 듣는다는디
-
ㄱㅁ 달아주세요 13
그냥 받고 싶어요
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ