이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
아집가고싶다 0
기분이너무 ㅈ같ㅌ음
-
해명을 안하고 댓글검열을 한다…?
-
한국사 꿀잼 2
1급 가보자고
-
이미지 t 커리 따라가려고 실전개념강좌 듣고 기출분석 다들었는데 뉴런도 들어갈까요?...
-
어디 올라오는곳 있나요
-
외화유출범 등장 14
안녕하세요
-
스펙평가좀 15
오므라이스 먹음 세탁중 방구꼇음 미장을 보면서 흐느낌 엉덩이로 이름씀 ㅇ어떰
-
오늘은 반드시 4세트해야지
-
ㅈㄱㄴ
-
계산때려야 할 때도 숏컷으로 가려고함..
-
고대 물리학과 성대 반도체융합공학과 이 두개 고민 중임 고대 물리학과 나오면 장학금...
-
PT첫날 배운거 이제 30개해도 힘이 많이남네
-
흐흐흐흐 두근두근 이비에스 들어야지
-
도파가 0
한 말중에 젤 인상깊던 말 자기개발서같은거 절대 읽지 마라 꾸준히 실천중임
-
나는 교대도 못가는성적인데.
-
어디가 더 앞서고 있음?
-
정시추합 0
정시 예비순위가 5까지 돌았다는게 예를들어서 모집인원이 9명이면 14등까지...
-
난 그냥 사는데 친척도 거의 없고
-
1.방학에 끝까지 나가고 수학 더 하는게 좋나요 1학기범위까지만 나가는게좋나요 지금...
-
할아버지는 나 태어나기전에 돌아가셨고 할머니는 나 고생하는거만보시고 대학가는건...
-
미장 큰일낫네 10
아이고
-
아 저 경희대요... 뭐? 너 작년에도 경희대 아니었어? 네... 하.
-
ㅇ
-
듣보잡 0
듣보잡 해보신분 후기좀 구체적으로 ㅠ
-
멋지지
-
사설 모의고사 22번까지 60분 풀고 가끔 한개 틀리는 현역이면 전국 몇% 쯤...
-
라기엔 사실 중요하긴 한데 제일까진 아닌게 저 여성분 키 169에 65인데 말만...
-
노베이스 인강 추천(난 허수고 1타가 좋고 수학하기 싫다) 2
무려 대성 1타 이미지와 이투스 1타 정승제가 호형훈제 마낭 연합해서 수업했던...
-
XX아 그만 포기할줄도 알아야지...
-
경희 높공이면 다 서성한 자과대랑 상경이 되는줄아나 나 경희 높공 성적인데 문과로...
-
근데 쓰울대 된다카믄 왜 거 안가고 거 가노? 아 한의대를 떨어져삣나 쓰울대랑...
-
맞팔구 2
-
매일 고민하고 연습햇던말 다이스키
-
큰집가기싫다 3
안가면안되나 ㅠㅠ
-
호애애애 2
호애애애 호애애애
-
대학커뮤니티 노크에서 선발한 경희대 선배가 오르비에 있는 예비 경희대학생, 경희대...
-
나도 모르게 개인정보 中 알리페이로…카카오페이·애플 83억 과징금 0
[서울경제] 이용자 동의 없이 4000만 명의 개인정보를 국외로 이전한...
-
만약 제가 대학교를 간다면 봉사 동아리 토론 동아리 국악 동아리 검도 동아리 야구...
-
하이고 XX아 오랜만이다~ 오래는 시험도 으렵다카드만 갠찬게봤나? 아 벌써...
-
사촌동생들 전문대 졸업 공고->대기업생산직 + 학벌 무용론 개처맞고 줄담엔딩남
-
타인이 날 무시하는 눈빛으로 쳐다보면 그것만큼 짜릿하고 심장 뛰는일이 없음ㅋㅋㅋㅋㅋ...
-
내년에는진짜대학가야한다
-
심찬우입니다 28
11월부터 지금까지 정말 숨가쁘게 달려왔습니다. 강의를 하면서 이렇게 긴장하고 또...
-
누가 시작함?
-
인간혐오 생김
-
수능 영어 16분만 투자하세요! 무료 모의고사 3회 배포 9
안녕하세요! 반갑습니다. 수능 영어 강사 김지훈입니다. 2025년부터 오르비...
-
이런 느낌 좋네 0
https://www.instagram.com/p/DCoYNlPyGi1/?img_in...
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.