이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
지1도 마찬가지임?
-
존나 느좋
-
물화생지1보단 일단 재밌음
-
이 무슨 역설
-
롤하고 잘까요 15
그냥 잘까요
-
아 pi/3 0
pi/6인줄 알고 풀다가 왠지 이상하더라..
-
아주대vs인하대 5
투표좀 부탁드려요!
-
얼굴로 기만은 하지 말자 상처된다 하나하나가
-
크리스피 크림에서 오리지널 글레이즈드(1개) 먹음
-
계좌에 돈 존나 줄줄 빠졌는데 곧 설날이라 다행이다 2
술 때문에 06 지갑 지금 존나 탈탈 털림
-
와꾸 빻아도 나대지만 않으면 중간은 간다….
-
수1, 수2 만족중인데 확통도 좋나여??
-
MS "중국, AI 허위조작정보로 한국·미국·인도 선거 방해할 것"(종합) 1
"한국서 日오염수 게시물로 분열 조장…당시 이재명 언행 증폭시켜" "북한, 韓美와...
-
생윤 먼저 해야하나…? 조언좀요 노베임
-
그건 바로 둘 다 품사가 동사라는 거임
-
오르비/사건사고 1
https://namu.wiki/w/%EC%98%A4%EB%A5%B4%EB%B9%84...
-
교재는 좋은 게 맞는 듯. 근데 번장가면 4만원에 팔리던대 강의도 없는 교재가...
-
벌써 2025년이거든
-
궁금해요
-
현역24수능 언미영물1지2 88 95 2 83 92 반수25수능 언미영물1지2 92...
-
수특 국어 표지 실물 21
귀여움 ㅅㅌㅊ 수특 독서 수특 언매 수특 국어 수능특강
-
왜 밑에 다 깔려있던건데 아 ㅋㅋ
-
걍 강민철이나 듣지;;
-
생명과학1 1
올해 사탐런이 작년보다 더 심해질거 같은데 생명과학은 타격이 얼마나 클지 예상이...
-
같은 시간, 같은 기자가 쓴 기사를 홈페이지 검사? 내용을 바꿔서 틱톡에 올렸는데 신고해도되나요??
-
피코 사건 터진 게 작년 5월이란 게 믿기지가 않는다 1
https://gall.dcinside.com/mgallery/board/view/?...
-
시대에서 직접 얻을 방법이 딱히 없는데 미개봉 상품같은거 수1,2,미적...
-
전화받아라 3
아 진짜 ㅋㅋ
-
의대 지원할 수 있음? 예전에는 확통 든 애들도 잘랐던거같은데 요즘은 이과애들 선택과목 정배가 뭐임
-
1. 오르비 활동을 늘린다. 댓글은 5덕 주는 것 같고, 뭐 10덕도 가끔...
-
시대재종 9
국어 94(2) 수학 96 (2) 영어 3등급 정법 99(1) 사문 100(1)...
-
? 0
애들 따라잡으려 햇더니.내가 더 빨리 왓네
-
신상도용이 분명하다
-
진짜 좆같네 6
특정된 건 알고 저러는 건가
-
부모님 두분 다 의사신데 돈 때문에 힘들었던적은 없어도 인터넷에서 떠드는 연봉만큼...
-
시원한게 단맛도 느껴지고 좋은듯 아님 내가 시럽을 덜 탄건가
-
솔직히 0
2월 6일만 기다리고 있으면 개추
-
하... 에반데
-
[속보] 서부지법 불 지르려한 10대 ‘투블럭 男’ 구속…“도망 염려” 1
서부지법 난동 당시 법원에 방화를 시도한 혐의를 받는 10대 남성이 구속됐다....
-
처음부터 누구 건너건너 그런것도 아닌데도 과외돌이 동생들하고도 친하고 부모님까지도...
-
궁금해요
-
본인 베이스:중학 내신c 원주각 몰랐던 노베 1.일단 중학도형 대충 복습 2.역대...
-
아니면 하나하나 노가다 뛰어야함?
-
반갑습니다. 0
네
-
인하대 되는데 인제대 의대 왔는데 아쉬워 해야되나요 말아야 되나요? 그냥 기분 좋게 학교 다닐까요?
-
강릉원주치같은 백분위 치대 되나요?
-
ㅇㅅㅇ 0
흠
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.